Coverart for item
The Resource System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings, edited by A. Nico Habermann, Ugo Montanari

System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings, edited by A. Nico Habermann, Ugo Montanari

Label
System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings
Title
System Development and Ada
Title remainder
CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings
Statement of responsibility
edited by A. Nico Habermann, Ugo Montanari
Creator
Contributor
Subject
Language
eng
Summary
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
Member of
Cataloging source
KIJ
Dewey number
004.2/5
Image bit depth
0
Index
no index present
LC call number
QA76.9.S88
LC item number
W66 1986
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1986
http://bibfra.me/vocab/lite/meetingName
Workshop on Software Factories and Ada
Nature of contents
  • dictionaries
  • bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1932-
http://library.link/vocab/relatedWorkOrContributorName
  • Habermann, A. Nico
  • Montanari, Ugo
Series statement
Lecture Notes in Computer Science,
Series volume
275
http://library.link/vocab/subjectName
  • Computer science
  • Chemistry
  • Software engineering
  • Artificial intelligence
  • Artificial intelligence
  • Chemistry
  • Computer science
  • Software engineering
Label
System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings, edited by A. Nico Habermann, Ugo Montanari
Instantiates
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Design of the Rational Environment -- The PCTE Initiative: Toward a European Approach to Software Engineering -- Engineering VAX Ada for a Multi-Language Programming Environment -- The Ada Environment -- A Personal View -- Knowledge-Based Software Development from Requirements to Code -- The SMoLCS Approach to the Formal Semantics of Programming Languages -- A Tutorial Introduction -- Project Graphs and Meta-Programs. Towards a Theory of Software Development -- Software Development Based on Formal Methods -- Integration of Program Construction and Verification: The PROSPECTRA Methodology -- Ada Compiler Validation: An Example of Software Testing Theory and Practice -- The Software Engineering Institute at Carnegie-Mellon University -- Task Sequencing Language for Specifying Distributed Ada Systems
Control code
827358159
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540478850
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-18341-8
Other physical details
volumes: digital.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827358159
Label
System Development and Ada : CRAI Workshop on Software Factories and Ada Capri, Italy, May 26-30, 1986 Proceedings, edited by A. Nico Habermann, Ugo Montanari
Publication
Antecedent source
mixed
Bibliography note
Includes bibliographical references
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Design of the Rational Environment -- The PCTE Initiative: Toward a European Approach to Software Engineering -- Engineering VAX Ada for a Multi-Language Programming Environment -- The Ada Environment -- A Personal View -- Knowledge-Based Software Development from Requirements to Code -- The SMoLCS Approach to the Formal Semantics of Programming Languages -- A Tutorial Introduction -- Project Graphs and Meta-Programs. Towards a Theory of Software Development -- Software Development Based on Formal Methods -- Integration of Program Construction and Verification: The PROSPECTRA Methodology -- Ada Compiler Validation: An Example of Software Testing Theory and Practice -- The Software Engineering Institute at Carnegie-Mellon University -- Task Sequencing Language for Specifying Distributed Ada Systems
Control code
827358159
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540478850
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/3-540-18341-8
Other physical details
volumes: digital.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827358159

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
Processing Feedback ...