Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 166
Book Description
Working Notes from the 1992 AAAI Workshop on Automating Software Design. Theme: Domain Specific Software Design
Scientific and Technical Aerospace Reports
Automating Software Design
Government Reports Announcements & Index
Aeronautical Engineering
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1048
Book Description
A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA)
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1048
Book Description
A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA)
Government Reports Annual Index
Author:
Publisher:
ISBN:
Category : Government reports announcements & index
Languages : en
Pages : 1832
Book Description
Publisher:
ISBN:
Category : Government reports announcements & index
Languages : en
Pages : 1832
Book Description
Automating Software Design
Author:
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 201
Book Description
Publisher:
ISBN:
Category : Software engineering
Languages : en
Pages : 201
Book Description
Proceedings of the Workshop on Automating Software Design ; 2
Automating Systems Development
Author: David R. Benyon
Publisher: Springer Science & Business Media
ISBN: 1461310334
Category : Computers
Languages : en
Pages : 495
Book Description
1 INTRODUCTION These proceedings are the result of a conference on Automating Systems Development held at Leicester Polytechnic, England on 14 to 16 April 1987. The conference was attended by over 170 delegates from industry and academia and it represents a comprehensive review of the state of the art of the use of the computer based tools for the analysis, design and construction of Information Systems (IS). Two parallel streams ran throughout the conference. The academic, or research, papers were the fruit of British, European and Canadian research, with some of the papers reflecting UK Government funded Alvey or European ESPRIT research projects. Two important touchstones guided the selection of academic papers. Firstly, they should be primarily concerned with system, rather than program, development. Secondly, they should be easily accessible to delegates and readers. We felt that formal mathematical papers had plenty of other opportunities for airing and publication. The second stream was the applied programme; a set of formal presentations given by leading software vendors and consultancies. It is clear that many advances in systems development are actually applied, rather than re search led. Thus it was important for delegates to hear how leading edge companies view the State of the Art. This was supported by a small exhibi tion area where certain vendors demonstrated the software they had intro duced in the formal presentation.
Publisher: Springer Science & Business Media
ISBN: 1461310334
Category : Computers
Languages : en
Pages : 495
Book Description
1 INTRODUCTION These proceedings are the result of a conference on Automating Systems Development held at Leicester Polytechnic, England on 14 to 16 April 1987. The conference was attended by over 170 delegates from industry and academia and it represents a comprehensive review of the state of the art of the use of the computer based tools for the analysis, design and construction of Information Systems (IS). Two parallel streams ran throughout the conference. The academic, or research, papers were the fruit of British, European and Canadian research, with some of the papers reflecting UK Government funded Alvey or European ESPRIT research projects. Two important touchstones guided the selection of academic papers. Firstly, they should be primarily concerned with system, rather than program, development. Secondly, they should be easily accessible to delegates and readers. We felt that formal mathematical papers had plenty of other opportunities for airing and publication. The second stream was the applied programme; a set of formal presentations given by leading software vendors and consultancies. It is clear that many advances in systems development are actually applied, rather than re search led. Thus it was important for delegates to hear how leading edge companies view the State of the Art. This was supported by a small exhibi tion area where certain vendors demonstrated the software they had intro duced in the formal presentation.
Proceedings of the 1998 ARO/ONR/NSF/DARPA Monterey Workshop on Engineering Automation for Computer Based Systems Held in Carmel, California on October 23-26 1998
Author: Luqi
Publisher:
ISBN: 9781423544395
Category :
Languages : en
Pages : 177
Book Description
The "Engineering Automation for Computer Based Systems" Workshop is the 6th in a series of Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. Previous workshops have been devoted to "Real-Time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", and "Requirements Targeting Software". A major goal for this series of workshops is to help focus the software engineering community on issues that are vital to improving the state of software engineering practice. This focus promotes consistency among diverse research directions that address different aspects of the same problem to facilitate future integration efforts. The workshop represents a bridge between industry and academia. The material in these proceedings presents a balanced view of academic and industrial developments. Formalization is fundamental to the development of software engineering as an engineering discipline. The critical importance of formal models and form al methods is painfully clear when one considers the escalating demands for larger, more complex, reliable software Systems.
Publisher:
ISBN: 9781423544395
Category :
Languages : en
Pages : 177
Book Description
The "Engineering Automation for Computer Based Systems" Workshop is the 6th in a series of Software Engineering workshops for formulating and advancing software engineering models and techniques, with the fundamental theme of increasing the practical impact of formal methods. Previous workshops have been devoted to "Real-Time & Concurrent Systems", "Software Merging and Slicing", "Software Evolution", "Software Architecture", and "Requirements Targeting Software". A major goal for this series of workshops is to help focus the software engineering community on issues that are vital to improving the state of software engineering practice. This focus promotes consistency among diverse research directions that address different aspects of the same problem to facilitate future integration efforts. The workshop represents a bridge between industry and academia. The material in these proceedings presents a balanced view of academic and industrial developments. Formalization is fundamental to the development of software engineering as an engineering discipline. The critical importance of formal models and form al methods is painfully clear when one considers the escalating demands for larger, more complex, reliable software Systems.