From program languages to software languages

Journal of Systems and Software

Volumn 60, Issue 2, 2002, Pages 91-101

  Pepper, P ^a   Cebulla, M ^a   Didrich, K ^a   Grieskamp, W ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

Embedded systems; Language integration; Programming languages; Software engineering; Specification

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA STRUCTURES; EMBEDDED SYSTEMS;

LANGUAGE INTEGRATION;

SOFTWARE ENGINEERING;

EID: 0036470272     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0164-1212(01)00082-6     Document Type: Conference Paper

References (19)

1. Combining Z and temporal interval logics for the formalization of properties and behaviors of embedded systems
2. A modular framework for the integration of heterogenous notations and tools
3. Design and implementation of an algebraic programming language
4. Communicating functional agents and their application to graphical user interfaces
5. A Computation model for Z based on concurrent constraint resolution
6. Specifying embedded systems with statecharts and Z: An agenda for cyclic software components
7. Statecharts: A visual formalism for complex systems
8. Proof-carrying code
9. Funktionale programmierung
10. Comprehending monads
11. The essence of functional programming
12. How to declare an imperative