Integrating semi-formal and formal software specification techniques

Information Systems

Volumn 23, Issue 3-4, 1998, Pages 159-178

  Wieringa, Roel ^a   Dubois, Eric ^b  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b UNIVERSITY OF NAMUR   (Belgium)

Author keywords

Formal Specification; Method Integration; Object Oriented Specification

Indexed keywords

FORMAL LANGUAGES; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING; TELECOMMUNICATION SYSTEMS;

FORMAL SPECIFICATION; OBJECT-ORIENTED SPECIFICATION;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0032065030     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0306-4379(98)00007-6     Document Type: Article

References (8)

1. 2RARE (2 Real Applications for Requirements Engineering): Final Report on User's Results. http://www.info.fundp.ac.be/ ̃phe/2rare.html, Esprit Contract Number 20424 (1996).
2. K. Kimbier B. Regnell and A. Wesslen. Improving the use case driven approach to requirements engineering. In Second IEEE International Symposium on Requirements Engineering. IEEE ICS Press (1995).
3. C. Batini, S. Ceri, and S.B. Navathe. Conceptual Database Design: An Entity-Relationship Approach. Benjamin/Cummings (1992).
4. F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from protocol Specification. Prentice-Hall (1991).
5. K. Böhm and A. Sernadas. A logic to specify real-time object behaviour. Technical report, Departamento de Matemática, Institute Superior Técnico, Lisbon (Portugal) (1993).
6. P. du Bois. The ALBERT II Language. PhD thesis, Facultés Universitaires Notre-Dame de la Paix, Namur (1995).
7. F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns: Patter-Oriented Software Architecture. Wiley (1996).
8. P. Gouveia, C. Sernadas, P. Resende, and A. Sernadas. In-the-large object oriented design of information systems. In Object-Oriented Approach in Information Systems, pp. 209-232, North-Holland (1991).