书目名称 | System Development and Ada |
副标题 | CRAI Workshop on Sof |
编辑 | A. Nico Habermann,Ugo Montanari |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | The collection of papers published in this book was initially presented at the Workshop on Software Factories and Ada, held on Capri, May 26-30, 1986. The subject of the book is software development environments. Software development is treated from three viewpoints: methodologies, language issues and mechanisms. Of particular interest are the discussions of automation of the development process and the formalization of software development specifications. Several new methodologies are described, many of which are available on the commercial market. New is in particular the formalization of the design and development process. Interesting ideas are presented on planning the design process and on supporting project management by formal tools. The reader will find a variety of interesting methodologies and mechanisms that are operational. The book is suitable for readers interested in knowing in which direction programming environment research is moving. |
出版日期 | Conference proceedings 1987 |
关键词 | Ada; automation; construction; formal method; programming; programming language; semantics; system; system d |
版次 | 1 |
doi | https://doi.org/10.1007/3-540-18341-8 |
isbn_softcover | 978-3-540-18341-9 |
isbn_ebook | 978-3-540-47885-0Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 1987 |