Formalism and method

Luckily, is getting strength the view that formal methods are useful tools within the context of an overall engineering process, heavily influenced by other factors that developers of formalisms should take into account.

[1]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[2]  Gianna Reggio,et al.  Specification of Abstract Dynamic-Data Types: A Temporal Logic Approach , 1997, Theor. Comput. Sci..

[3]  W. Wayt Gibbs,et al.  Software's Chronic Crisis , 1994 .

[4]  Dines Bjørner,et al.  Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools , 1997, First IEEE International Conference on Formal Engineering Methods.

[5]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[6]  Luqi,et al.  Formal Methods and Social Context in Software Development , 1995, TAPSOFT.

[7]  Gianna Reggio,et al.  SMoLCS-Driven Concurrent Calculi , 1987, TAPSOFT, Vol.1.

[8]  Brian Warboys,et al.  The Software Process: Modelling and Technology , 1999, Software Process: Principles, Methodology, Technology.

[9]  Gianna Reggio,et al.  A Graphic Notation for Formal Specifications of Dynamic Systems , 1997, FME.

[10]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[11]  Hans van Vliet,et al.  Software engineering - principles and practice , 1993 .

[12]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[13]  Egidio Astesiano,et al.  Relationships between Logical Frameworks , 1991, COMPASS/ADT.

[14]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[15]  Hartmut Ehrig,et al.  A Decade of TAPSOFT: Aspects of Process and Prospects in Theory and Practice of Software Development , 1995, TAPSOFT.

[16]  Martin Wirsing,et al.  Algebraic Specification Languages: An Overview , 1994, COMPASS/ADT.

[17]  K. Mani Chandy.  Parallel program design , 1989 .

[18]  Luqi.  Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development, , 1995 .

[19]  Roel Wieringa,et al.  Requirements Engineering: Frameworks for Understanding , 1996 .

[20]  Colin Stirling,et al.  Modal and temporal logics , 1993, LICS 1993.

[21]  N. F. M. Roozenburg,et al.  Product design: Fundamentals and methods , 1996 .

[22]  Dan Craigen,et al.  An International Survey of Industrial Applications of Formal Methods , 1992, Z User Workshop.

[23]  Michel Bidoit,et al.  An Algebraic Specification of the Steam-Boiler Control System , 1995, Formal Methods for Industrial Applications.

[24]  Luqi,et al.  Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments , 1994 .

[25]  Christiane Floyd,et al.  Theory and Practice of Software Development: Stages in a Debate , 1995, TAPSOFT.

[26]  C. A. R. Hoare,et al.  How Did Software Get So Reliable Without Proof? , 1996, FME.

[27]  C. A. R. Hoare,et al.  Unification of Theories: A Challenge for Computing Science , 1995, COMPASS/ADT.

[28]  K. Mani Chandy,et al.  Parallel program design - a foundation , 1988 .

[29]  Michael A. Jackson,et al.  Software requirements and specifications - a lexicon of practice, principles and prejudices , 1995 .