Integration of software specification techniques for engineering applications;Integration von techniken der softwarespezifkation für ingenieurwissenschaftliche anwendungen

Informatik - Forschung und Entwicklung

Volumn 16, Issue 2, 2001, Pages 110-117

  Ehrig, Hartmut ^a   Große Rhode, Martin ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

DFG priority programme; Integration of specification techniques; Production automation; Software specification; Traffic control systems

Indexed keywords

EID: 35048900830     PISSN: 01783564     EISSN: None     Source Type: Journal    
DOI: 10.1007/PL00009144     Document Type: Article

References (9)

1. W. Damm, D. Harel. LSCs: Breathing Life into Message Sequence Charts. In: P. Ciancarini, A. Fantechi, R. Gorrieri, editors, Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS'99), pages 293-312. Dordrecht: Kluwer Academic Publishers 1999
2. G. Del Castillo, K. Winter. Model checking support for the asm high-level language. In: S. Graf, M. Schwartzbach (eds) Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), at ETAPS 2000, Vol 1785 of Springer LNCS, pages 331-346, 2000
3. J. Desel, G. Juhás, R. Lorenz. Process semantics and process equivalence of nces. Technical report, Katholische Universität Eichstätt, 2000 URL http://mathsrv.ku-eichstaett.de/MGF/informatik/.
4. H. Ehrig, R. Geisler, M. Klar. DFG-Schwerpunktprogramm ab 1998: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Inform Forsch Entwickl, 13(1): 43-46 (1998)
5. H. Ehrig, M. Größe-Rhode, F. Orejas (eds) INT: Integration of Specification Techniques with Applications in Enginering. TU Berlin, 2000
6. B.E. Enders, M. Goedicke, T. Heverhagen, R. Tracht, P. Tröpfner. Towards an integration of different specification methods by using the viewpoint framework. In: M.M. Tanik, A. Ertas (eds) Proc. 5th World Conference on Integrated Design and Process Technology. Society for Design and Process Science, 2000
7. M. Goedicke, B. Enders, T. Meyer, G. Taentzer. Viewpoint-oriented software development: Tool support for integrating multiple perspectives by distributed graph transformations. In: S. Graf, M. Schwartzbach (eds) Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2000), at ETAPS 2000, Vol 1785 of Springer LNCS, pp 43-47, 2000
8. M. Große-Rhode. Using a formal reference model for consistency checking and integration of UML diagrams. In: M.M. Tanik, A. Ertas (eds) Proc. 5th World Conference on Integrated Design and Process Technology. Society for Design and Process Science, 2000
9. R. Jungclaus, G. Saake, T. Hartmann, C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. In: ACM Trans Inf Syst, 14(2), 175-211 (1996)