Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report /
| Corporate Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2004]
|
| Series: | Lecture notes in computer science ;
3147. Lecture notes in computer science. State-of-the-art survey. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Connect to the full text of this electronic book |
| Item Description: | "This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004"--Page 4 of cover. "The research area 'Integration of Software Specification Techniques for Applications in Engineering' has been established as a priority program of the German Research Council (DFG) for the period of 1998-2004 and was subject of the international workshops INT 2000, 2002, and 2004 as satellite events of the 'European Joint Conferences on Theory and Practice of Software' (ETAPS)."--Page [1]. Electronic resource. |
|---|---|
| Physical Description: | 1 online resource (x, 628 pages) : illustrations |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 3540231358 9783540231356 |
| ISSN: | 0302-9743 ; |