The Guide to the Software Engineering Body of Knowledge

Reporting on the SWEBOK project, the authors-who represent the project's editorial team-discuss the three-phase plan to characterize a body of knowledge, a vital step toward developing software engineering as a profession.

[1]  Robert L. Baber.  Comparison of Electrical "Engineering" of Heaviside's Times and Software "Engineering" of Our Times , 1997, IEEE Ann. Hist. Comput..

[2]  Ryszard Janicki,et al.  Foundations of the Trace Assertion Method of Module Interface Specification , 2001, IEEE Trans. Software Eng..

[3]  Walter G. Vincenti,et al.  What Engineers Know and How They Know It: Analytical Studies from Aeronautical History , 1990 .

[4]  Peter J. Denning,et al.  Computing as a discipline , 1989, Computer.

[5]  Matthew K. O. Lee,et al.  The B-Method , 1991, VDM Europe.

[6]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[7]  Darrel C. Ince,et al.  Software prototyping, formal methods, and VDM , 1988 .

[8]  Silvio Romero de Lemos Meira,et al.  From VDM specifications to functional prototypes , 1993, J. Syst. Softw..

[9]  Wolfgang Reisig,et al.  Petri Nets in Software Engineering , 1986, Advances in Petri Nets.

[10]  Stephen J. Garland,et al.  Larch: Languages and Tools for Formal Specification , 1993, Texts and Monographs in Computer Science.

[11]  David Gries,et al.  The Science of Programming , 1981, Text and Monographs in Computer Science.

[12]  Jonathan P. Bowen,et al.  ZUM '97: The Z Formal Specification Notation , 1997, Lecture Notes in Computer Science.

[13]  Natarajan Shankar,et al.  Computer-Aided Computing , 1995, MPC.

[14]  Howard P. Haughton,et al.  A Strategy for the Production of Verifiable Code Using the B Method , 1994, FME.

[15]  David Lorge Parnas,et al.  Software engineering programmes are not computer science programmes , 1999, Ann. Softw. Eng..

[16]  David Alex Lamb,et al.  Software engineering - planning for change , 1988 .

[17]  R.K. Jullig,et al.  Applying formal software synthesis , 1993, IEEE Software.

[18]  Robert B. France,et al.  Integrated Structured Analysis and Formal Specification Techniques , 1992, Comput. J..

[19]  ShawMary.  Prospects for an Engineering Discipline of Software , 1990 .

[20]  David Harel,et al.  Executable object modeling with statecharts , 1996, Proceedings of IEEE 18th International Conference on Software Engineering.

[21]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[22]  James W. Moore.  Software Engineering Standards: A User's Road Map , 1998 .

[23]  Alain Abran,et al.  Guide to the Software Engineering Body of Knowledge - A Stone Man Version , 2000 .

[24]  Michael W. Godfrey,et al.  VDM '91 Formal Software Development Methods , 1991, Lecture Notes in Computer Science.

[25]  Jeremy Dick,et al.  Automating the Generation and Sequencing of Test Cases from Model-Based Specifications , 1993, FME.

[26]  David Garlan,et al.  Formalizing Architectural Connection , 1994, ICSE.

[27]  Derek Coleman,et al.  Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design , 1992, IEEE Trans. Software Eng..

[28]  W. Duncan.  A GUIDE TO THE PROJECT MANAGEMENT BODY OF KNOWLEDGE , 1996 .

[29]  Jan van Katwijk,et al.  A Case for Structured Analysis/Formal Design , 1991, VDM Europe.

[30]  Helmuth Partsch,et al.  Specification and Transformation of Programs - A Formal Approach to Software Development , 1990, Texts and Monographs in Computer Science.

[31]  Jeremy Dick,et al.  Making the Most of Formal Specification Through Animation, Testing and Proof , 1997, Sci. Comput. Program..

[32]  David Lorge Parnas,et al.  Simulating the behaviour of software modules by trace rewriting , 1993, ICSE '93.

[33]  Son T. Vuong,et al.  Introduction to Algebraic Specifications Based on the Language ACT ONE , 1992, Comput. Networks ISDN Syst..

[34]  Richard Denney,et al.  A comparison of the model-based & algebraic styles of specification as a basis for test specification , 1996, SOEN.

[35]  R. Geoff Dromey,et al.  Program derivation - the development of programs from specifications , 1990, International computer science series.

[36]  Kenneth J. Turner,et al.  Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL , 1993 .

[37]  A Straw,et al.  Guide to the Software Engineering Body of Knowledge , 1998 .

[38]  David A. Carrington,et al.  A Framework for Specification-Based Testing , 1996, IEEE Trans. Software Eng..

[39]  David Harel,et al.  On visual formalisms , 1988, CACM.

[40]  Edward J. Garrity,et al.  The Application of Prototyping to Systems Development: A Rationale and Model , 1986, J. Manag. Inf. Syst..

[41]  Wolfram Schulte,et al.  A Formal OO Method Inspired by Fusion and Object-Z , 1997, ZUM.

[42]  Luciano Baresi,et al.  Introducing Formal Specification Methods in Industrial Practice , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[43]  Walter F. Tichy,et al.  Should Computer Scientists Experiment More? , 1998, Computer.

[44]  David Lorge Parnas,et al.  Using assertions about traces to write abstract specifications for software modules , 1978, ECI.

[45]  Roger Phillips,et al.  A Structured Analysis Formalism with Execution Semantics to Allow Unambiguous Model Interpretation , 1995, ESEC.

[46]  John Mylopoulos,et al.  Representing and Using Nonfunctional Requirements: A Process-Oriented Approach , 1992, IEEE Trans. Software Eng..

[47]  Wolfgang Reisig,et al.  Petri Nets: Applications and Relationships to Other Models of Concurrency , 1986, Lecture Notes in Computer Science.

[48]  Mark A. Ardis,et al.  Formal methods for telecommunication system requirements: A survey of standardized languages , 1997, Ann. Softw. Eng..

[49]  Sagar Naik,et al.  Testing communication protocols , 1992, IEEE Software.

[50]  Walter Guido Vincenti,et al.  What Engineers Know and How They Know It: Analytical Studies from Aeronautical History by Walter G. Vincenti , 1992, Technology and Culture.

[51]  Marvin V. Zelkowitz,et al.  Experimental Models for Validating Technology , 1998, Computer.

[52]  T. S. E. Maibaum,et al.  What we teach software engineers in the university: do we take engineering seriously? , 1997, ESEC '97/FSE-5.

[53]  Miquel Bertran,et al.  FME '94: Industrial Benefit of Formal Methods , 1994, Lecture Notes in Computer Science.

[54]  Michael J. Lutz,et al.  Guidelines for Software Engineering Education Version 1.0 , 1999 .

[55]  David Garlan,et al.  Research directions in software architecture , 1995, CSUR.

[56]  Walter G. Vincenti,et al.  What Engineers Know and How They Know It: Analytical Studies from Aeronautical History. , 1992 .

[57]  Paolo Nesi,et al.  An object-oriented dual language for specifying reactive systems , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[58]  Thierry Jéron,et al.  An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology , 1997, Sci. Comput. Program..

[59]  Ulrich Furbach,et al.  Formal specification methods for reactive systems , 1993, J. Syst. Softw..

[60]  L. Werth.  Certification and licensing for software professionals and organizations , 1998, Proceedings 11th Conference on Software Engineering Education.