%A M.M. Lehman
%T Program evolution
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 3-25

%A Jan Dietz
%T Towards an information system development environment
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 27-34

%A R. Saracco
%A L. Carchio
%A P. Bagnoli
%T Specification and design methodologies:
problems in their introduction in research and industrial environments
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 35-44

%A R.J. Thomas
%A J.A. Kirkham
%T Micro-PSL and the teaching of systems analysis and design
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 45-58

%A M. De\ Blasi
%A G. Turco
%T Methodology for the representation of software procedure processes
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 61-74

%A R.E.A. Mason
%T Concrete use of abstract development formalisms
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 75-89

%A Volkmar H. Haase
%T Modular design of real-time systems
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 91-102

%A C.J. Schrama
%T Computer aided requirements gathering and prototyping
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 103-109

%A Henry Kleine
%T Methodology for system description
using the software design and documentation language
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 111-138

%A Wolfgang K. Epple
%A Guenther R. Koch
%T Specification of process control systems with SARS
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 141-155

%A Glenn Davis
%A Christopher Block
%A Kyp Chul Kang
%A Elliot Chikofsky
%A Daniel Teichroew
%T Usage of the system encyclopedia manager (semantics) system
with the systems and analysis and design language for Ada (SALA)
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 157-202

%A Francois Bodart
%A Anne-Marie Hennebert
%A Jean-Marie Leheureux
%A Olivier Masson
%A Yves Pigneur
%T DSL/DSA: a system for requirements specification, prototyping and simulation
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 203-218

%A Michel Lissandre
%A Pierre Lagier
%A Ahmed Skalli
%T SAS - a specification support system
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 221-238

%A I. Balbin
%A P.C. Poole
%A C.J. Stuart
%T On the specification and manipulation of forms
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 239-252

%A Marco Maiocchi
%T The use of Petri nets in requirements and functional specification
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 253-274

%A Daniel M. Berry
%A Orna Berry
%T The programmer-client interaction
in arriving at program specifications, guidelines and linguistic requirements
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 275-293

%A A. von\ Staa
%A A.R.C. de\ Rocha
%T Towards a model for evaluating specifications
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 295-312

%A Hans Eveking
%T Nonprocedural specification of hardware
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 315-332

%A A. Lugue
%A A. Ripoll
%T A methodology for vertical migration
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 333-354

%A Gabor David
%A Wolfgang Graetsch
%T A hierarchical system model for vertical migration
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 355-371

%A B. Holtkamp
%A H. Kaestner
%T A system model for vertical and orthgogonal migration
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 373-385

%A Antoni Olive
%T Conceptual languages for information systems modelling
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 389-402

%A Bengt Lundberg
%T On relative strengths of information models
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 403-415

%A C. Batini
%A M. Lenzerini
%T A conceptual foundation for view integration
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 417-433

%A E. Knuth
%A L. Ronyai
%T Closed convex reference schemes
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 435-454

%A John A. Stankovic
%T A technique to identify implicit information associated with modified code
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 457-480

%A Kiyoshi Agusa
%A Yoshinori Kishimoto
%A Yutaka Ohno
%T A supporting system for software maintenance
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 481-501

%A Elliot J. Chikofsky
%T Application of an information systems analysis and development tool
to software maintenance
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 503-516

%A J. Demetrovics
%A P. Kerekfy
%A A. Kramli
%A M. Ruda
%T Some remarks on statistical data processing system SIS79/GENERA
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 519-533

%A Jochen Ludewig
%T A note on abstraction in software descriptions
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 535-543

%A Svatava Machova
%A Bohumil Miniberger
%T Description of decision tables by PSL/PSA
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 545-550

%A Svatava Machova
%T PSL/PSA a methodological tool for thesaurus creation
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 551-557

%A F. Perardi
%A L. Cerchio
%A D. Scrignaro
%A M. Modesti
%T ISDN: a system designed according to an SDL based methodology
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 561-576

%A Uwe Schmidt
%A Reihnard Voller
%T The development of a machine independent multi language computer system
applying the Vienna development method
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 577-592

%A Attila Toth
%T A software for computer-aided system description
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 593-606

%A Colin J. Tully
%T Toward a conceptual framework for systems methodologies
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 609-612

%A J.A. Stankovic
%T Specifications to code mapping
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 613-614

%A R.J. Thomas
%T Systems education
%J Proceedings of the IFIP TC2 Conference on System Description Methodologies
%C Kecskemet, Hungary
%D May 1983
%E Daniel Teichroew
%E Gabor David
%O published as by North-Holland
%K sdm
%P 615-616