%A Anthony Ira Wasserman
%T A top-down view of software engineering
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 1-7

%A B.W. Kernighan
%A P.J. Plauger
%T Software tools
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 8-13

%A Jan Witt
%T The Columbus approach
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 14-20

%A C.V. Ramamoorthy
%A K.H. Kim
%T Software monitors aiding systematic testing
and their optimal placement
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 21-26

%A J.E. Stockenberg
%A Andries van\ Dam
%T STRUCT programming analysis system
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 27-36

%A Marc J. Rochland
%T The Source Code Control System
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 37-43
%K SCCS

%A Randall F. Scott
%A Dick B. Simmons
%T Predicting programming group productivity - a communications model
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 44-46

%A Richard E. Fairley
%T An experimental program testing facility
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 47-55

%A Victor R. Basili
%A Albert J. Turner
%T Iterative enhancement: a practical technique for software development
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 56-62

%A Susan Voigt
%T Program design by a multidisciplinary team
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 63-69

%A Stephen R. McCammon
%T Applied software engineering: a real-time simulator case history
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 70-76

%A R.E. Noonan
%T Structured programming and formal specification
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 77-81

%A Howard A. Sholl
%A Taylor L. Booth
%T Software performance modelling using computation structures
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 82-88

%A C.L. McClure
%T Top-down, bottom-up and structured programming
%J Proceedings of the First National Conference on Software Engineering
%C Washington, D.C.
%D September 1975
%K ncse ncse1 icse icse1
%P 89-94

%A Douglas T. Ross
%A Kenneth E. Schoman,\ Jr.
%T Structured analysis for requirements definition (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 1

%A Daniel Teichroew
%A Ernest Allen Hershey,\ III
%T PSL/PSA, a computer-aided technique
for structured documentation and analysis
of information processing systems (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 2

%A C.A. Irvine
%A J.W. Brackett
%T Automated software engineering through structured data management
(abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 3

%A Cordell Green
%T The design of the PSI program synthesis system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 4-18

%A David R. Barstow
%A Elaine Kant
%T Observations on the interaction between coding
and efficiency knowledge in the PSI program synthesis system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 19-31

%A Zohar Manna
%A Richard Waldinger
%T Is "sometime" better than "always" ?
Intermittent assertions in proving program correctness
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 32-39

%A Richard Alan Karp
%A David C. Luckham
%T Verification of fairness in an implementation of monitors
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 40-46

%A John H. Howard
%T Signaling in monitors
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 47-52

%A Ashok R. Saxena
%A Thomas H. Bredt
%T Verification of a monitor specification
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 53-59

%A C.G. Davis
%A C.R. Vick
%T The software development system (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 60
%K SDS

%A T.E. Bell
%A T.A. Thayer
%T Software requirements: are they really a problem ?
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 61-68
%K SREM SREP

%A Mack Alford
%T A requirements engineering methodology
for real-time processing requirements (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 69

%A Thomas E. Bell
%A David C. Bixler
%A Margaret E. Dyer
%T An extendable approach
to computer-aided software requirements engineering (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 70

%A P.C. Belford
%A A.F. Bond
%A D.G. Henderson
%A L.S. Sellers
%T Specification, a key to effective software development
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 71-79

%A S.N. Gaulding
%A J.D. Lawson
%T Process design engineering,
a methodology for real-time software development
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 80-85

%A R.G. Koppang
%T Process design system,
an integrated set of software development tools
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 86-90

%A Kenneth G. Salter
%T A methodology for decomposing
system requirements into data processing requirements
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 91-101

%A Dennis W. Cooper
%T Adaptive testing
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 102-105

%A Jeoffrey P. Benson
%T A laboratory ofr the development and evaluation
of BMD software quality enhancement techniques
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 106-109

%A Edward E. Balkovich
%A George P. Engelberg
%T Research towards a technology to support the specification
of data processing system performance requirements
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 110-115

%A Peter Freeman
%A Anthony I. Wasserman
%A Richard E. Fairley
%T Essential elements of software engineering education
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 116-122

%A D.L. Parnas
%A G. Handzel
%A H. Wurges
%T Design and implementation of the minimal subset
of an operating system family (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 123

%A Jorge V. Phillips
%T Design and verification of real-time systems
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 124-131

%A E. Ball
%A J. Feldman
%A J. Low
%A R. Rashid
%A P. Rovner
%T RIG, Rochester's intelligent gateway: system overview (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 132

%A C.V. Ravi
%T The structure and characteristics of distributed systems
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 133-137

%A J.C. Browne
%T A critical overview of computer performance evaluation
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 138-145

%A Domenico Ferrari
%A Edwin Lau
%T An experiment in program restructuring for performance enhancement
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 146-150

%A N. Billawala
%A S.A. Szygenda
%A E.W. Thompson
%T A data structure and drive mechanism
for a table-driven simulation system
employing multilevel structural representations of digital systems
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 151-157

%A Marvin V. Zelkowitz
%T Automatic program analysis and evaluation
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 158-163

%A T.A. Dolotta
%A J.R. Mashey
%T An introduction to the Programmer's Workbench
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 164-168

%A J.R. Mashey
%T Using a command language as a high-level programming language
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 169-176

%A J.R. Mashey
%A D.W. Smith
%T Documentation tools and techniques
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 177-181

%A T.A. Dolotta
%A J.S. Licwinko
%A R.E. Menninger
%A W.D. Roome
%T The LEAP load and test driver
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 182-186

%A D.B. Knudsen
%A A. Barofsky
%A L.R. Satz
%T A modification request control system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 187-192

%A M.H. Bianchi
%A J.L. Wood
%T A user's viewpoint on the Programmer's Workbench
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 193-199

%A David Gries
%T An illustration of current ideas
on the derivation of correntness proofs and correct programs
(abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 200

%A W. Wayne Black
%T The role of software in successful computer applications
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 201-205

%A Jack M. Dreyfus
%T The preliminary design as a key to successful software development
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 206-213

%A John R. White
%A Taylor L. Booth
%T Towards an engineering approach to software design
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 214-222

%A F.L. Bauer
%T Programming as an evolutionary process
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 223-234

%A Anita K. Jones
%A Barbara H. Liskov
%T A language extension for controlling access to shared data
(abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 235

%A A. Silberschatz
%A R.B. Kieburtz
%A A. Bernstein
%T Extending Concurrent Pascal to allow dynamic resource management
(abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 236

%A Michael B. Feldman
%T New languages from old:
the extension of programming languages by embedding, a case study
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 237-242

%A Kapali P. Eswaran
%T Aspects of a trigger subsystem in an integrated database system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 243-250

%A Erol Gelenbe
%T A model of roll-back recovery with multiple checkpoints
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 251-255

%A Mohamed G. Gouda
%A Eric G. Manning
%T On the modelling, analysis and design of protocols
- a special class of software structures
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 256-262

%A Izhak Rubin
%T On reliable topologies for computer networks
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 263-267

%A Martin L. Shooman
%T Structural models for software reliability prediction
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 268-280

%A K.M. Chandy
%T Bayesian models of design based on intuition
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 281-285

%A Alan Jay Smith
%T On the effectiveness of set associative page mapping
and its application to main memory management
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 286-292

%A Mahdi Jayazeri
%T Formal specification and automatic programming
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 293-296

%A Yaohan Chu
%T Introducing a software design language
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 297-304

%A R. Turn
%A M.R. Davis
%A R.N. Reinstedt
%T A management approach to the development of computer-based systems
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 305-311

%A W.E. Stephenson
%T An analysis of the resources used
in the Safeguard system software development
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 312-321

%A Peter Wegner
%T Research paradigms in computer science
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 322-330

%A Richard L. Wexelblat
%T Maxims for malfeasant designers, or how to design languages
to make programming as difficult as possible
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 331-336

%A Robert Balzer
%A Neil Goldman
%A David Wile
%T On the transformational implementation approach to programming
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 337-344

%A Art Lew
%A Doris Tamanaha
%T Decision table programming and reliability
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 345-349

%A M.M. Lehman
%A F.N. Parr
%T Program evolution and its impact on software engineering
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 350-357

%A William A. Whitaker
%T A defense view of software engineering
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 358-362

%A R.M. Pollock
%A W.L. McCoy
%T Software engineering in the development
of the Trident fire control system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 363-369

%A John C. Carrow
%T Structured programming: from theory to practice
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 370-372

%A Joseph S. Greene,\ Jr.
%T Dynamic software engineering: an evolutionary approach
to automated software development and management
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 373-378

%A William F. Carlson
%T Software research in the Department of Defense
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 379-383

%A Peter J. Denning
%T Sacrificing the calf of flexibility on the altar of reliability
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 384-386

%A Maurice V. Wilkes
%T Software engineering and structured programming (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 387

%A H.D. Mills
%T Software development (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 388

%A Charles Reynolds
%A Raymond Yeh
%T Induction as the basis for program verification (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 389

%A Wm.A. Wolf
%A Ralph L. London
%A Mary Shaw
%T An introduction to the construction and verification
of Alphard programs (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 390

%A Susan L. Gerhart
%T Control structure abstractions
of the backtracking programming technique (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 391

%A Tsun S. Chow
%T A generalized assertion language
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 392-399

%A S.K. Basu
%A J. Misra
%T Some classes of naturally provable programs
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 400-406

%A Thomas J. McCabe
%T A complexity measure (abstract only)
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 407

%A Billy G. Claybrook
%T The design of a template structure
for a generalized data structure definition facility
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 408-413

%A John V. Guttag
%A Ellis Horowitz
%A David R. Musser
%T The design of data type specifications
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 414-420

%A Peter G. Neumann
%A Richard J. Feiertag
%A Karl N. Levitt
%A Lawrence Robinson
%T Structural equivalence development and proofs of multi-level security
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 421-428

%A S.S. Yau
%A R.C. Cheung
%A D.C. Cochrane
%T An approach to error-resistant software design
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 429-436

%A D.L. Parnas
%A H. Wurges
%T Response to undesired events in software systems
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 437-446

%A T. Anderson
%A R. Kerr
%T Recovery blocks in action: a system supporting high reliability
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 447-457

%A John H. Wensley
%A Milton W. Green
%A Karl N. Levitt
%A Robert E. Shostak
%T The design, analysis, and verification
of the SIFT fault tolerant system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 458-469

%A R.S. Fabry
%T How to design a system in which modules can be changed on the fly
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 470-476

%A David J. Panzl
%T Test procedures: a new approach to software verification
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 477-485

%A Simone Pimont
%A Jean-Claude Rault
%T A software reliability assessment
based on a structural and behavioral analysis of programs
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 486-491

%A E. Burton Swanson
%T The dimensions of maintenance
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 492-497

%A Michael Hammer
%A Dennis McLeod
%T A framework for data base semantic integrity
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 498-504

%A L. Kerschberg
%A E.A. Ozkarahan
%T A synthetic English query language
for a relational associative processor
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 505-519

%A Dennis McLeod
%T The translation and compatibility of SEQUEL and Query By Example
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 520-526

%A Michael Stonebraker
%T A comparison of the use of links and secondary indeces
in a relational data base system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 527-531

%A David K. Hsiao
%T A software engineering experience in the
management, design and implementation of a data secure system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 532-538

%A R.C.T. Lee
%A J.R. Slagle
%A C.T. Mong
%T Application of clustering
to estimate missing data and improve data integrity
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 539-544

%A Isao Miyamoto
%T Some considerations in database application programming
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 545-555

%A Peter Kummel
%T Improved updating in relational data base systems
by Deuter-sphere algorithms
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 556-561

%A Peter A. Alsberg
%A John D. Day
%T A principle for resilient sharing of distributed resources
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 562-570

%A Reinhard Wilhelm
%A Knut Ripken
%A Joachim Ciesinger
%A Harald Genzinger
%A Walter Lehner
%A Rolf Nollman
%T Design evaluation of the compiler generating system MUG1
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 571-576

%A John Mohan
%T An environmental simulator
for the FDNY computer aided dispatch system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 577-584

%A K.S. Shankar
%A C.S. Chandersekaran
%T Data flow, abstraction levels and specifications
for communications switching systems
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 585-591

%A B.W. Boehm
%A J.R. Brown
%A M. Lipow
%T Quantatative evaluation of software quality
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 592-605

%A U. Voges
%T Aspects of design, test and validation of the software
for a computerized reactor protection system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 606-610

%A W. Ehrenberger
%A G. Rauch
%A K. Okroy
%T Programanalysis - a method for the verification of software
for the control of a nuclear reactor
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 611-616

%A B.C. Hodges
%A J.P. Ryan
%T A system for automatic software evaluation
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 617-623

%A Lloyd D. Fosdick
%A Leon J. Osterwell
%T The detection of anomalous interprocedural data flow
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 624-627

%A W.H. Jessop
%A J.R. Kane
%A S. Roy
%A J.M. Scanlon
%T ATLAS: an automated software testing system
%J Proceedings of the Second International Conference on Software Engineering
%C San Francisco, California
%D October 1976
%K icse icse2
%P 628-635

%A C.V. Ramamoorthy
%A S.F. Ho
%T On the automated generation of program test data (abstract only)
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 636

%A C.A.R. Hoare
%T Software engineering: a keynote address
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 1-4

%A Gary Lindstrom
%T Control structure aptness: a case study using top-down parsing
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 5-12

%A Williem E. Riddle
%A Jack C. Wileden
%A John H. Sayler
%A Alan R. Segal
%A Allan M. Stavely
%T Behavior modelling during software design
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 13-22

%A R.B. Kieburtz
%A W. Barabash
%A C.R. Hill
%T A type-checking program linkage system for Pascal
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 23-28

%A Patricia A. Hamilton
%A John D. Musa
%T Measuring reliability of computation center software
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 29-36

%A B. Littlewodd
%T How to measure software reliability, and how not to ...
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 37-45

%A Isao Miyamoto
%T Toward an effective software reliability evaluation
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 46-55

%A Peter Freeman
%A Anthony I. Wasserman
%T A proposed curriculum for software engineering education
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 56-62

%A Lawrence I. Peters
%A Leonard L. Tripp
%T A model of software engineering
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 63-70

%A M.A. Jackson
%T Information systems: modelling, sequencing and transformations
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 72-81

%A David A. Fisher
%T The interaction between the preliminary designs
and the technical requirements for the DoD common high order language
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 82-83

%A Leon G. Stucki
%T How software is really engineered ? (summary only)
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 84

%A Jan T. Pedersen
%A John K. Buckle
%T Kongsberg's road to an industrial software methodology
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 85-93

%A Donald L. Boyd
%A Antonio Pizzarello
%T Introduction to the wellmade design methodology
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 94-100

%A Sharon A. Stephens
%A Leonard L. Tripp
%T Requirements expression and verification aid
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 101-108

%A R.R. Willis
%T DAS - an automated system to support design analysis
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 109-115

%A Victor R. Basili
%A Marvin V. Zelkowitz
%T Analyzing medium-scale software development
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 116-123

%A A. Dniestrowski
%A J.M. Guillaume
%A R. Mortier
%T Software engineering in avionics applications
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 124-131

%A Edward Gainer
%A Edward Kimball
%A Alan Kortesoja
%A Alfred Maley
%T The design of a reliable applications system
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 132-135

%A John R. Brown
%A Kurt F. Fischer
%T A graph theoretic approach to the verification of program structures
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 136-141

%A J.C. Browne
%A David B. Johnston
%T FAST: a second generation program analysis system
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 142-148

%A Carma L. McClure
%T A model for program complexity analysis
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 149-157

%A Nachum Dershowitz
%A Zohar Manna
%T Inference rules for program annotation
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 158-167

%A P. Azema
%A J.M. Ayache
%A B. Berthomieu
%T Design and verification of communication procedures:
a bottom-up approach
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 168-174

%A Zohar Manna
%A Richard Waldinger
%T The synthesis of structure-changing programs
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 175-187

%A W. Dzida
%A S. Herda
%A W.D. Itzfeldt
%T User-perceived quality of interactive systems
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 188-195

%A Ruven Brooks
%T Using a behavioral theory of program comprehension
in software engineering
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 196-201

%A Mary Anne Herndon
%A Ann P. Keeman
%T Analysis of error remediation expenditures during validation
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 202-206

%A M.L. Boi
%A P. Michel
%T Design and principles of a fault tolerant system
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 207-214

%A Paul Chung
%A Barry Gaiman
%T Use of state diagrams to engineer communications software
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 215-221

%A Leighton R. Scott
%T An engineering methodology for presenting
software functional architecture
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 222-229

%A Ivan M. Campos
%A Gerald Estrin
%T Concurrent software system design supported by SARA at the age of one
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 230-242

%A Peter Wegner
%T Research directions in software technology
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 243-259

%A Bill Hetzel
%T A perspective on software development
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 260-263

%A David L. Parnas
%T Designing software for ease of extension and contraction
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 264-277

%A T.H. Van\ Vleck
%A C.T. Clingen
%T The Multics system programming process
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 278-280

%A Douglas Cook
%T Measuring memory protection
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 281-287

%A Guy Almes
%A George Robertson
%T An extensible file system for Hydra
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 288-294

%A Hannes Goullon
%A Rainer Isle
%A Klaus-Peter Lohr
%T Dynamic restructuring in an experimental operating system
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 295-304

%A William E. Howden
%T Theoretical and emprirical studies of program testing
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 305-311

%A Guido Persch
%A Georg Winterstein
%T Symbolic interpretation and tracing of Pascal programs
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 312-319

%A David J. Panzl
%T Automatic revision of formal test procedures
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 320-326

%A Max Stern
%T Some experience in building portable software
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 327-332

%A Daniel Thalmann
%T Evolution in the design of abstract machines for software portability
%J Proceedings of the Third International Conference on Software Engineering
%C Atlanta, Georgia
%D May 1978
%K icse icse3
%P 333-340

%A B. Randell
%T Software engineering in 1968
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 1-10

%A Barry W. Boehm
%T Software engineering - as it is
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 11-21

%A D.M. Lasker
%T Module structure in an evolving family of real time systems
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 22-28

%A Walter F. Tichy
%T Software development control based on module interconnection
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 29-41

%A Flaviu Cristian
%T A recovery mechanism for modular software
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 42-49

%E L.A. Belady
%T Education, training and technology transfer in software engineering
(panel discussion)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 51

%A Charles R. Vick
%T Software engineering tools: past, present and future (abstract only)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 52

%A Thomas E. Cheatham,\ Jr.
%A Judy A. Townley
%A Glenn H. Holloway
%T A system for program refinement
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 53-62

%A Erhard Ploedereder
%T Pragmatic techniques for program analysis and verification
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 63-72

%A R.S. Scowen
%T A new technique for improving the quality of computer programs
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 73-78

%A Jacques Cohen
%T Computer-aided micro-analysis of programs
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 79-84

%A Peter C. Belford
%A Richard A. Berg
%A Thomas L. Hannan
%T Central flow control software development:
a case study of the effectiveness of software engineering techniques
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 85-93

%A Thomas R. Horsley
%A William C. Lynch
%T Pilot: a software engineering case study
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 94-99

%A T. Martin
%T Pearl at the age of three
- case study of development and application
of a common high order realtime programming language
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 100-109

%A R.M. Burstall
%T Applicative programming (abstract only)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 110

%A William Scott Amey
%T A computer assisted software engineering (CASE) system
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 111-115

%A R.R. Willis
%A E.P. Jensen
%T Computer aided design of software systems
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 116-125

%A G.P. Mullery
%T CORE - a method for controlled requirement specification
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 126-135

%A R.W. McGuffin
%A A.E. Elliston
%A B.R. Tranter
%A P.N. Westmacott
%T CADES - software engineering in practice
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 136-144

%A Honey S. Elovitz
%T An experiment in software engineering:
the architecture research facility as a case study
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 145-152

%A Ernst Denert
%T The project library - a tool for software development
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 153-163

%A Andrzej Blikle
%T On correct program development
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 164-173

%A Hugh C. Lauer
%A Edwin H. Satterthwaite
%T The impact of Mesa on system design
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 174-182

%A J. Kramer
%A R.J. Cunningham
%T Invariants for specifications
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 183-193

%A Mark S. Laventhal
%T A constructive approach to reliable synchronization code
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 194-202

%A S. Keramidis
%A L. Mackert
%T Specification and implementation
of parallel activities on abstract objects
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 203-211

%A Roy H. Campbell
%A Robert B. Kolstad
%T Path expressions in Pascal
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 212-219

%A J.-C. Rault
%T An approach towards reliable software
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 220-230

%A C.V. Ramamoorthy
%A F.B. Bastani
%A J.M. Favaro
%A Y.R. Mok
%A C.W. Nam
%A K. Suzuki
%T A systematic approach to the development and validation
of critical software for nuclear power plants
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 231-240

%A Julian E. Gomez
%T An interactive fortran structuring aid
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 241-244

%A Joachim Biewald
%A Peter Goehner
%A Rudolf Lauber
%A Helmut Schelling
%T EPOS - a specification and design technique
for computer controlled real-time automation systems
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 245-250

%A P. Asirelli
%A P. Degano
%A G. Levi
%A A. Martelli
%A U. Montanari
%A G. Pacini
%A F. Sirovich
%A F. Turini
%T A flexible environment for program development
based on a symbolic interpreter
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 251-263

%E M.A. Jackson
%T Transformation techniques: constructive or destructive (panel)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 264

%A G. Bristow
%A C. Drey
%A B. Edwards
%A W. Riddle
%T Anomaly detection in concurrent programs
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 265-273

%A Leonard I. Vanek
%A Rudolf Marty
%T Hierarchical coroutines, a mechanism for improved program structure
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 274-285

%A Harald Wertz
%T A system to improve incorrect programs
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 286-293

%A Maria Heloisa Penedo
%A Daniel M. Berry
%T The use of a module interconnection language
in the SARA system design methodology
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 294-307

%A J.P. Banatre
%A M. Banatre
%T Language features for description of cooperating processes
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 308-314

%A Anita K. Jones
%A Karsten Schwans
%T TASK forces: distributed software
for solving problems of substantial size
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 315-330

%E Gerald Estrin
%T Micro chaos in the 1980's - can we prevent it ? (panel)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 331

%A A. d'Agapeyeff
%T Microprocessors: a platform for true program portability
with examples from MicroCobol
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 332-339

%A W.M. McKeeman
%T The role of software engineering in the microcomputer revolution:
an overview (extended abstract)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 340

%A H. Remus
%A S. Zilles
%T Prediction and management of program quality
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 341-350

%A Alan R. Feuer
%A Edward B. Fowlkes
%T Some results from an empricial study of computer software
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 351-355

%A Bill Curtis
%A Sylvia B. Sheppard
%A Phil Milliman
%T Third time charm: stronger prediction of programmer performance
by software complexity metrics
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 356-360

%A Thomas H. Bruggers
%T Software engineering: management, personnel and methodology
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 361-368

%A D.R. Jeffery
%A M.J. Lawrence
%T An inter-organizational comparison of programming productivity
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 369-377

%A Joichi Abe
%A Ken Sakamura
%A Hideo Aiso
%T An analysis of software project failure
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 378-385

%A R. Sterling Eanes
%A Carl K. Hitchon
%A Richard M. Thall
%A John W. Brackett
%T An environment for producing well-engineered microcomputer software
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 386-398

%A Massimo Ancona
%A Gabriella Dodero
%A Ercole Luigi Durante
%T Cross software development for microprocessors
using a translator writing system
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 399-402

%A Jean Rohmer
%T APL2M - a general computer-aided software engineering environment
for mini and microcomputers
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 403-411

%A J.H. Morrissey
%A L.S.-Y. Wu
%T Software engineering ... an economic perspective
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 412-422

%A Rudolf Bayer
%T Synchronization and recovery in database systems (abstract only)
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 423

%A Jonathan A. Bauer
%A Alan B. Finger
%T Test plan generation using formal grammars
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 425-432

%A J. Horejs
%T Finite semantics: a technique for program testing
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 433-440

%A William E. Riddle
%T Software tools - are we on the right track ?
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 441

%A Edsger W. Dijkstra
%T My hopes of computer science
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 442-448

%A Wladyslaw M. Turski
%T Look ahead at software engineering
%J Proceedings of the Fourth International Conference on Software Engineering
%C Munich, Germany
%D September 1979
%K icse icse4
%P 449-456

%A Gerald M. Weinberg
%T Overstructured management of software engineering
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 2-8

%A Robert S. Arnold
%A Donald A. Parker
%T The dimensions of healthy maintenance
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 10-27

%A Sally Warren
%T MAP: a tool for understanding software
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 28-37

%A W. Babich
%A L. Weissman
%A M. Wolfe
%T Design considerations in language processing tools for Ada
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 38-47

%A Ali Mili
%T A closer look at iteration: the self-stabilizing capability of loops
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 48-56

%A Walter F. Tichy
%T Design, implementation, and evaluation of a revision control system
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 58-67

%A Osamu Shigo
%A Yoshio Wada
%A Yuichi Terashima
%A Kanji Iwamoto
%A Takashi Mishimura
%T Configuration control for evolutional software products
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 68-75

%A Freidrich L. Bauer
%T From specifications to machine code:
program construction through formal reasoning
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 84-91

%A D. Potier
%A J.L. Albin
%A R. Ferreol
%A A. Bilodeau
%T Experiments with computer software complexity and reliability
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 94-103

%A Minoru Itakura
%A Akio Takayanagi
%T A model for estimating program size and its evaluation
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 104-109

%A W. Abu-Sufah
%A R. Lee
%A M. Malkawi
%A P. Yew
%T Experimental results on the paging behaviour of numerical programs
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 110-117

%A Kiyoshi Agusa
%A Atsushi Ohnishi
%A Yutaka Ohno
%T Verification system for formal requirement description
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 118-126

%A Jun Murai
%A Nobuo Saito
%A Masayuki Morohashi
%A Tetunosuke Fujisaki
%T Requirement specification description system in Japanese language
- JISDOS
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 127-136

%A D. Marca
%A C. McGowan
%T Static and dynamic data modeling for information system design
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 137-146

%A Barry W. Boehm
%A James F. Elwell
%A Arthur B. Pyster
%A E. Donald Stuckle
%A Robert D. Williams
%T The TRW software productivity system
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 148-156

%A Harald Wertz
%T The design of an integrated, interactive and incremental
programming environment
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 157-165

%A Leon J. Osterweil
%T Toolpack -
an experimental software development environment research project
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 166-175

%A Jean C. Zolnowski
%A Peter D. Ting
%T An insider's survey on software development
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 178-187

%A M.J. Lawrence
%T An examination of evolution dynamics
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 188-196

%A Peter G. Hamer
%A Gillian D. Prewin
%T M.H. Halstead's software science - a critical examination
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 197-206

%A Nacki Yonezaki
%A Takao Katayama
%T Functional specification of synchronous processes
based on modal logic
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 208-217

%A Toshiki Sakabe
%A Yasuyoshi Inagaki
%A Namio Honda
%T Specification of abstract data types
with partially defined operations
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 218-224

%A Sol J. Greenspan
%A John Mylopoulos
%A Alex Borgida
%T Capturing world knowledge in the requirements specification
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 225-234

%A A. Rudmik
%A B.E. Casey
%A H. Cohen
%T Consistency checking within embedded design languages
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 236-245

%A Sally Warren
%A Bruce E. Martin
%A Charles Hoch
%T Experience with a module package
in developing production quality Pascal programs
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 246-253

%A H.C. Kuo
%A C.H. Li
%A J. Ramanathan
%T A form-based approach to human engineering methodologies
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 254-263

%A Sandra Rapps
%A Elanine J. Weyuker
%T Data flow analysis techniques for test data selection
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 272-278

%A Donald V. Buyanski
%A James W. Schatz
%T No. 1A ESS laboratory support system - erasable flag facility
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 279-286

%A M. Ohba
%T Software quality = test accuracy * test coverage
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 287-293

%A Moses M. Ling
%T Desinging data entry programs using state diagram as a common model
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 296-308

%A Robert G. Babb,\ III
%T Data-driven implementation of data flow programs
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 309-318

%A S. Ito
%T Automatic input of flow chart in document image
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 319-328

%A Yukikazu Nakamoto
%A Tadahiro Iwamato
%A Masato Hori
%A Kenichi Hagihara
%A Nobuki Tokura
%T An editor for documentation in pi-system
to support software development and maintenance
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 330-339

%A G. Beretta
%A H. Burkhart
%A P. Fink
%A J. Nievergelt
%A J. Stelovsky
%A H. Sugaya
%A A. Ventura
%A J. Weydert
%T XS-1: am integrated interactive system and its kernel
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 340-349

%A Luigi Petrone
%A Antonio di\ Leva
%A Franco Sirovich
%T DUAL: an interactive tool for developing documented programs
by stepwise refinements
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 350-357

%A D. Barstow
%A R. Duffey
%A S. Smoliar
%A S. Vestal
%T An automatic programming system to support an experimental science
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 360-366

%A Peter Lucas
%A Tore Risch
%T Representation of factual information by equations
and their evaluation
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 367-376

%A Eric Harslem
%A LeRoy E. Nelson
%T A retrospective on the development of Star
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 377-383

%A Ira R. Forman
%T Global data flow analysis by decomposition into primes
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 386-392

%A Kokichi Futatsugi
%A Koji Okada
%T A hierarchical structuring method for functional software systems
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 393-402

%A Norio Shiratori
%A Junichi Gihara
%A Shoichi Noguchi
%T A new design language for communication protocols
and a systematic design method of communication systems
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 403-412

%A K. Takahashi
%A T. Aso
%A M. Kobayashi
%T Visual aid for fortran program debugging
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 414-415

%A B. Runge
%T The inspection method applied to small projects
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 416-417

%A Joseph E. Urban
%T Software development with executable functional specifications
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 418-419

%A K. Miyazawa
%A M. Oda
%A S. Kato
%T The portable communication protocol program COMPAS
for data terminal systems
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 420-421

%A Yoshihisa Mano
%A Kazuhito Omaki
%A Koji Torii
%T Early experiences with a multi-display programming environment
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 422-423

%A Kazuhiro Chiba
%A Kazunori Konishi
%A Akira Kurematsu
%T A model for description od communication protocol
%J Proceedings of the Sixth International Conference on Software Engineering
%C Tokyo, Japan
%D September 1982
%K icse icse6
%P 424-425

%A A. Ciuffoletti
%T Error recovery in systems of communicating processes
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 6-17

%A M. Bidoit
%A B. Biebow
%A M-C. Gaudel
%A C. Gresse
%A G. Guiho
%T Exception handling: formal specification
and systematic program construction
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 18-29

%A Kiwon Chong
%A Pei Hsia
%T Diagnostic system for distributed software:
a relational database approach
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 30-40

%A Gruia-Catalin Roman
%A Mark S. Day
%T Multifaceted distributed systems specification
using processes and event synchronization
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 44-55

%A Guy Almes
%A Andrew Black
%A Carl Bunje
%A Douglas Wiebe
%T Edmas: a locally distributed mail system
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 56-66

%A Krithivasan Ramamritham
%T Resource controller tasks in Ada: their structure and semantics
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 67-77

%A Joseph C. Spicer
%T A spiral approach
to software engineering project management education
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 78-85

%A Keiji Uemura
%A Miki Ohori
%T A cooperative approach to software development
by application engineers and software engineers
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 86-96

%A Bill Curtis
%T Fifteen years of psychology in software engineering:
individual differences and cognitive science
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 97-106

%A Tomoharu Mohri
%A Etsuo Ono
%A Sanya Uehara
%A Tetsuyasu Takao
%A Hideki Sato
%T PDAS: an assistant for detailed design and implementation of programs
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 108-115

%A Richard N. Taylor
%A Thomas A. Standish
%T Steps to an advanced Ada programming environment
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 116-125

%A Jacques Guyard
%A Jean-Pierre Jacquot
%T MAIDAY: an environment for guided programming
with a definitional language
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 126-135

%A Michael W. Evans
%A Loiu M. Picinich
%T POWER: a tool for quantitative evaluation
of software project effectiveness
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 138-142

%A J. Vosburgh
%A B. Curtis
%A R. Wolverton
%A B. Albert
%A H. Malec
%A S. Hoben
%A Y. Liu
%T Productivity factors and programming environments
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 143-152

%A Robert E. Boysdon
%T Programming cost estimate: is it reasonable ?
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 153-159

%A H. Maezawa
%A M. Kobayashi
%A K. Saito
%A Y. Futamura
%T Interactive system for structured program production
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 162-171

%A Paul A. Scheffer
%A William E. Rzepka
%T A large system evaluation of SREM
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 172-180

%A Warren Teitelman
%T A tour through Cedar
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 181-195

%A Bertil Friman
%T MGEN - a generator for menu driven programs
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 198-206

%A Tom DeMarco
%A Aurel Soceneantu
%T SYNCRO: a dataflow command shell for the Lilith/Modula computer
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 207-213

%A Stephen W. Draper
%A Donald A. Norman
%T Software engineering for user interfaces
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 214-220

%A Ramadan Moawad
%T Comparison of concurrent software reliability models
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 222-229

%A J.D. Musa
%A K. Okumoto
%T A logarithmic Poisson execution time model
for software reliability measurement
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 230-238

%A Kuo-Chung Tai
%T A program complexity metric
based on data flow information on control graphs
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 239-248

%A Simeon C. Ntafos
%T An evaluation of required element testing strategies
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 250-256

%A Steven J. Zeil
%T Perturbation testing for computation errors
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 257-265

%A M.A. Hennell
%A D. Hedley
%A I.J. Riddell
%T Assessing a class of software tools
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 266-277

%A Ira R. Forman
%T An algebra for data flow anomaly detection
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 278-286

%A James L. Elshoff
%T Characteristic program complexity measures
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 287-293

%A Thomas J. Emerson
%T A discriminant metric for module cohesion
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 294-303

%A Anne Schroeder
%T Integrated program measurement and documentation tools
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 304-313

%A John Beane
%A Nancy Giddings
%A Jon Silverman
%T Quantifying software designs
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 314-322

%A Steven P. Reiss
%T PECAN: program development systems that support multiple views
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 324-333

%A Ted J. Biggerstaff
%A D. Mack Endres
%A Ira R. Forman
%T TABLE: object oriented editing of complex structures
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 334-345

%A V. Donzeau-Gouge
%A B. Lang
%A B. Melese
%T Practical applications of a syntax directed manipulation environment
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 346-354

%A Gerhard Fischer
%A Matthias Scheider
%T Knowledge-based communication processes in software engineering
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 358-368

%A W. Lewis Johnson
%A Elliot Soloway
%T PROUST: knowledge-based program understanding
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 369-380

%A Daniel G. Shapiro
%A Jeffrey S. Dean
%A Brian P. McCune
%T A knowledge base for supporting an intelligent program editor
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 381-387

%A C.J. Lucena
%A R.C.B. Martins
%A P.A.S. Veloso
%T The data transform programming method:
an example for file processing problems
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 388-397

%A Arthur G. Duncan
%A John S. Hutchison
%A John W. Bailey
%A Thomas M. Chapman
%A Andrew Fregly
%A Elizabeth Kruesi
%A Thomas McDonald
%A Dennis Merrill
%A Sylvia B. Sheppard
%T Communication system design using Ada
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 398-407

%A D.L. Parnas
%A P.C. Clements
%A D.M. Weiss
%T The modular structure of complex systems
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 408-417

%A R. Studer
%T Abstract models of dialogue concepts
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 418-429

%A Geert B. Clemmensen
%A Ole N. Oest
%T Formal specification and development of an Ada compiler
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 430-440

%A Susan L. Gerhart
%T Application of axiomatic methods to a specification analyser
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 441-451

%A W.J. Rogers
%T A new program structure
to improve accuracy and readability of Pascal software
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 454-462

%A Koji Torii
%A Yoshitomi Morisawa
%A Yuji Sugiyama
%A Tadao Kasami
%T Functional programming and logical programming
for the telegram analysis problem
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 463-472

%A Barry W. Boehm
%A Terence E. Gray
%A Thomas Seewaldt
%T Prototyping vs. specifying: a multi-project experiment
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 473-484

%A Chang-Cheng Chyou
%T Structure charts and program correctness proofs
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 486-498

%A Ali Mili
%A Jules Desharnais
%T A system for classifying program verification methods:
assigning meanings to program verification methods
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 499-509

%A Pierre Azema
%A Guy Juanole
%A Eric Sanchis
%A Michel Montbernard
%T Specification and verification of distributed systems
using Prolog interpreted Petri nets
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 510-518

%A M. Hozumi
%A Y. Sekine
%A H. Ejima
%T A method of large-sclae software development
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 520-527

%A T.S.E. Mailbaum
%A W.M. Turski
%T On what exactly is going on when software is developed step-by-step
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 528-533

%A Bruce I. Blum
%T Three paradigms for developing information systems
%J Proceedings of the Seventh International Conference on Software Engineering
%C Orlando, Florida
%D September 1984
%K icse icse7
%P 534-543