Formalism and method

Theoretical Computer Science

Volumn 236, Issue 1-2, 2000, Pages 3-34

  Astesiano, Egidio ^a   Reggio, Gianna ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

Formal method; Formalism; Method; Method pattern; Software development process; Specification

Indexed keywords

EID: 0007035013     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(99)00205-4     Document Type: Article

References (37)

1. C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, S. Angel, A Pattern Language, Oxford University Press, Oxford, 1977.
2. E. Astesiano, M. Cerioli, Relationships between Logical Frameworks, in: M. Bidoit, C. Choppy (Eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol. 655, Springer, Berlin, 1993, pp. 126-143.
3. E. Astesiano, G. Reggio, SMoLCS-driven concurrent calculi, in: H. Ehrig, R. Kowalski, G. Levi, U. Montanari (Eds.), Proc. TAPSOFT'87, vol. 1, Lecture Notes in Computer Science, vol. 249, Springer, Berlin, 1987, pp. 169-201.
4. E. Astesiano, G. Reggio, SMoLCS-driven concurrent calculi, in: H. Ehrig, R. Kowalski, G. Levi, U. Montanari (Eds.), Proc. TAPSOFT'87, vol. 1, Lecture Notes in Computer Science, vol. 249, Springer, Berlin, 1987, pp. 169-201.
5. E. Astesiano, G. Reggio, Formally-driven friendly specifications of concurrent systems: a two-rail approach, Tech. Report DISI-TR-94-20, DISI - Università di Genova, Italy, 1994. Presented at ICSE'17-Workshop on Formal Methods, Seattle, April 1995.
6. E. Astesiano, G. Reggio, Labelled transition logic: an outline, Tech. Report DISI-TR-96-20, DISI -Università di Genova, Italy, 1996.
7. E. Astesiano, G. Reggio, Formalism and method, in: M. Bidoit, M. Dauchet (Eds.), Proc. TAPSOFT '97, Lecture Notes in Computer Science, vol. 1214, Springer, Berlin, 1997, pp. 93-114.
8. M. Bidoit, C. Chevenier, C. Pellen, J. Ryckbosh, An algebraic specification of the steam-boiler control system, in: J.-R. Abrial, E. Borger, H. Langmaack (Eds.), Formal Methods for Industrial Applications, Lecture Notes in Computer Science, vol. 1165, Springer, Berlin, 1996, pp. 79-108.
9. D. Bjorner, S. Kousoube, R. Noussi, G. Satchok, Michael Jackson's problem frames: towards methodological principles of selecting and applying formal software development techniques and tools, in: M.G. Hinchey, Liu ShaoYing (Eds.), Proc. Internat. Conf. on Formal Engineering Methods, Hiroshima, Japan, 12-14 Nov. 1997, pages 263-270. IEEE Comput. Society, Silver Spring, MD Press, 1997.
10. M. Broy, C. Jones, Editorial, Formal Aspects of Comput. 8(1-2) (1996).
11. R.M. Burstall, J.A. Goguen, Institutions: abstract model theory for specification and programming, J. Assoc. Comput. Mach. 39(1) (1992) 95-146.
12. M. Chandy, J. Misra, Parallel Program Design: a Foundation, Addison-Wesley, Reading, MA, 1988.
13. G. Costa, G. Reggio, Specification of abstract dynamic data types: a temporal logic approach, Theoret. Comput. Sci. 173(2) (1997) 513-554.
14. D. Craigen, S. Gerhart, T. Ralston, An international survey of industrial applications of formal methods: vol. 1 purpose, approach, analysis and conclusions, Technical Report NIST GCR 93/626, NIST, 1993.
15. H. Ehrig, B. Mahr, A decade of TAPSOFT: aspects of progress and prospects in theory and practice of software development, in: P.D. Mosses, M. Nielsen, M.I. Schwartzbach (Eds.), Proc. TAPSOFT '95, Lecture Notes in Computer Science, vol. 915, Springer, Berlin, 1995, pp. 3-24.
16. A. Finkelstein, J. Kramer, B. Nuseibeh (Eds.), Software Process Modelling and Technology, Wiley, New York, 1994.
17. C. Floyd, Theory and Practice of software development: stages in a debate, in: P.D. Mosses, M. Nielsen, M.I. Schwartzbach (Eds.), Proc. TAPSOFT '95, Lecture Notes in Computer Science, vol. 915, Springer, Berlin, 1995, pp. 25-41.
18. W. Wayt Gibbs, Software's chronic crisis, Sci. Amer. (9) (1994) 72-81.
19. J.A. Goguen, Luqi, Formal methods and social context in software Development, in: P.D. Mosses, M. Nielsen, M.I. Schwartzbach (Eds.), Proc. TAPSOFT '95, Lecture Notes in Computer Science, vol. 915, Springer, Berlin, 1995, pp. 62-81.
20. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, London, 1985.
21. C.A.R. Hoare, How did software get so reliable without proof? In: M.-C. Gaudel, J. Woodcock (Eds.), FME'96: Industrial Benefit and Advances in Formal Methods, Lecture Notes in Computer Science, vol. 1051, Springer, Berlin, 1996, pp. 1-17.
22. C.A.R. Hoare, Unification of theories: A challenge for computing science, in: M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol. 1130, Springer, Berlin, 1996, pp. 49-57. 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS Workshop, Oslo, Norway, September 1995. Selected papers.
23. C.A.R. Hoare, Unification of theories: A challenge for computing science, in: M. Haveraaen, O. Owe, O.-J. Dahl (Eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol. 1130, Springer, Berlin, 1996, pp. 49-57. 11th Workshop on Specification of Abstract Data Types joint with the 8th general COMPASS Workshop, Oslo, Norway, September 1995. Selected papers.
24. ISO, ISO 8807. Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, IS, International Organization for Standardization, 1989.
25. M. Jackson, Software Requirements & Specifications: a Lexicon of Practice, Principles and Prejudices, Addison-Wesley, Reading, MA, 1995.
26. Luqi, Increasing the practical impact of formal methods for computer-aided software development, in: Proc. "1994 Montery Workshop", U.S. Naval Postgraduate School - Monterey, CA, 1994.
27. R. Milner, Communication and Concurrency, Prentice-Hall, London, 1989.
28. N.F.M. Roozenburg, J. Eekels, Product Design: Fundamentals and Methods, Wiley, New York, 1995.
29. G. Reggio, M. Larosa, A graphic notation for formal specifications of dynamic systems, in: J. Fitzgerald, C.B. Jones (Eds.), Proc. FME 97 - Industrial Applications and Strengthened Foundations of Formal Methods, Lecture Notes in Computer Science, vol. 1313, Springer, Berlin, 1997.
30. D. Sannella, A. Tarlecki, Specifications in an arbitrary institution, Inform. and Comput. 76 (1988).
31. J. Sommerville, Software Engineering: 3rd ed., Addison-Wesley, Reading, MA, 1989.
32. J. Souquières, N. Lévy, Description of specification and developments, in Proc. Internat. Symp. on Requirements Engineering RE'93, IEEE Computer Society, Los Alamitos, CA, 1993.
33. C. Stirling, Modal and temporal logics, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, vol. 2, Clarendon Press, Oxford, 1992, pp. 477-563.
34. H. van Vliet, Software Engineering: Principles and Practice, Wiley, New York, 1993.
35. R.J. Wieringa, Requirements Engineering: Frameworks for Understanding, Wiley, New York, 1996. Available at http://www.cs.utwente.nl/~roelw/RE1.ps.
36. M. Wirsing, Algebraic specifications, in: J. van Leeuwen (Ed.), Handbook of Theoret. Comput. Sci., vol. B, Elsevier, Amsterdam, 1990, pp. 675-788.
37. M. Wirsing, Algebraic specification languages: an overview, in: E. Astesiano, G. Reggio, A. Tarlecki (Eds.), Recent Trends in Data Type Specification, Lecture Notes in Computer Science, vol. 906, Springer, Berlin, 1995, pp. 81-115.