Journal ArticleDOI
Software Development Environments
Reads0
Chats0
TLDR
Issues relevant to the transition of promising technologies and projects to be undertaken by the Software Engineering Institute to address those issues are discussed.Abstract:
: The growing demand for reliable large-scale software systems cannot be met without advances in software development environments. Although promising technologies are emerging, a number of issues must be addressed to ensure the timely transition of those technologies to practice. This paper discusses issues relevant to the transition of such technologies and projects to be undertaken by the Software Engineering Institute to address those issues. The SEI'S primary mission is the transition of modern software engineering methods to practice. Software engineering environments represent a good means to support that end. They provide the means both to integrate tools and to provide a uniform conceptual framework for the user. While from one point of view an environment can enforce uniform practices, it also provides the means to maintain the rich information base that most likely will be required to support reusability of requirements and designs. The SEI's role with respect to environments is not to build a specific environment, but to help explore the validity of new concepts by building prototypes, to stimulate the research community to attack critical problems, and to refine the requirements for the next generation of large-scale environments.read more
Citations
More filters
Journal ArticleDOI
Version models for software configuration management
TL;DR: This article provides an overview and classification of different versioning paradigms and defines and relates fundamental concepts such as revisions, variants, configurations, and changes and focuses on intensional versioning.
Journal ArticleDOI
Distributed fault-tolerant real-time systems: the Mars approach
Hermann Kopetz,Andreas Damm,Christian Koza,Marco Mulazzani,W. Schwabl,C. Senft,R. Zainlinger +6 more
TL;DR: The authors focus on the maintainability of the Mars architecture, the Mars operating system, and the control of a rolling mill that produces metal plates and bars, and discuss timing analysis.
Journal ArticleDOI
xlinkit: a consistency checking and smart link generation service
TL;DR: A novel semantics for first-order logic that produces links instead of truth values is described and a content management strategy is given to validate UML models supplied by industrial partners.
Proceedings ArticleDOI
Rigi-A system for programming-in-the-large
Hausi A. Müller,K. Klashinsky +1 more
TL;DR: Randi was designed to address three of the most difficult problems in the area of programming-in-the-large: the mastery of the structural complexity of large software systems, the effective presentation of development information, and the definition of procedures for checking and maintaining the completeness, consistency, and traceability of system descriptions.
Journal ArticleDOI
Improving information requirements determination: a cognitive perspective
Glenn J. Browne,V. Ramesh +1 more
TL;DR: Four classes of difficulties in determining systems requirements are used to organize and describe particular problems that occur within each stage of the process, together with the cognitive and behavioral theories that underlie them.
References
More filters
Journal ArticleDOI
A 15 Year Perspective on Automatic Programming
TL;DR: Automatic programming consists not only of an automatic compiler, but also some Means of acquiring the high-level specification to be compiled, some means of determining that it is the intended specification, and some (interactive) means of translating this high- level specification into a lower-level one which can be automatically compiled.
Journal ArticleDOI
Programming in an Interactive Environment: the ``Lisp'' Experience
TL;DR: The paper summarazes the LISP style of interactive programming for readers outside the LisP community, describes those propertms of LisP systems that were essential for the development of this style, and discusses some current and not yet resolved issues.
Journal ArticleDOI
Research on Knowledge-Based Software Environments at Kestrel Institute
TL;DR: The overall nature of the work done on the CHI project is described, highlights of implemented prototypes are given, and the implications that this work suggests for the future of software engineering are described.
Journal ArticleDOI
Incremental Parsing
Carlo Ghezzi,Dino Mandrioli +1 more
TL;DR: The incremental parser presented extends the conventional LR parsing algorithm and its performance is compared with that of a conventional parser.