scispace - formally typeset
Search or ask a question
Journal ArticleDOI

Evolution towards specifications environment: experiences with syntax editors

01 Apr 1990-Information & Software Technology (Butterworth-Heinemann)-Vol. 32, Iss: 3, pp 191-198
TL;DR: Two current projects that extend the syntax-editing paradigm to the specifications and design phases of the software life-cycle are described.
Abstract: Language-based editors have been thoroughly studied over the last 10 years and have been found to be less effective than originally thought. The paper reviews some relevant aspects of such editors, describes experiences with one such editor (Support), and then describes two current projects that extend the syntax-editing paradigm to the specifications and design phases of the software life-cycle.

Content maybe subject to copyright    Report

Citations
More filters
25 Jun 2019
TL;DR: A discussion of the overall implication of trends observed over 17 years of process improvement efforts and a comparison of total investment in process improvement with the measurable improvements seen in the organization's software product are included.
Abstract: This report describes the background and structure of the SEL organization, the SEL process improvement approach, and its experimentation and data collection process. Results of some sample SEL studies are included. It includes a discussion of the overall implication of trends observed over 17 years of process improvement efforts and looks at the return on investment based on a comparison of total investment in process improvement with the measurable improvements seen in the organization's software product.

1 citations

Proceedings Article
01 Dec 1992
TL;DR: Observations are included regarding the use of particular Ada coding constructs, software architecture trade-offs during the prototyping, development and testing stages of the project, and dangers inherent in parallel or concurrent systems, software, hardware, and operations engineering.
Abstract: STGT (Second TDRSS Ground Terminal) is currently halfway through the System Integration Test phase (Level 4 Testing). To date, many software architecture and Ada language issues have been encountered and solved. This paper, which is the transcript of a presentation at the 3 Dec. meeting, attempts to define these lessons plus others learned regarding software project management and risk management issues, training, performance, reuse, and reliability. Observations are included regarding the use of particular Ada coding constructs, software architecture trade-offs during the prototyping, development and testing stages of the project, and dangers inherent in parallel or concurrent systems, software, hardware, and operations engineering.
References
More filters
Book ChapterDOI
01 Jan 1983
TL;DR: In this article, an algorithm is described which is capable of solving certain word problems: i.e., deciding whether or not two words composed of variables and operators can be proved equal as a consequence of a given set of identities satisfied by the operators.
Abstract: An algorithm is described which is capable of solving certain word problems: i.e. of deciding whether or not two words composed of variables and operators can be proved equal as a consequence of a given set of identities satisfied by the operators. Although the general word problem is well known to be unsolvable, this algorithm provides results in many interesting cases. For example in elementary group theory if we are given the binary operator ·, the unary operator −, and the nullary operator e, the algorithm is capable of deducing from the three identities a · (b · c) = (a · b) · c, a · a − = e, a · e = a, the laws a − · a = e, e · a = a, a − − = a, etc.; and furthermore it can show that a · b = b · a − is not a consequence of the given axioms.

1,706 citations

Journal ArticleDOI
TL;DR: The Cornell Program Synthesizer demands a structural perspective at all stages of program development and its separate features are unified by a common foundation: a grammar for the programming language.
Abstract: Programs are not text; they are hierarchical compositions of computational structures and should be edited, executed, and debugged in an environment that consistently acknowledges and reinforces this viewpoint. The Cornell Program Synthesizer demands a structural perspective at all stages of program development. Its separate features are unified by a common foundation: a grammar for the programming language. Its full-screen derivation-tree editor and syntax-directed diagnostic interpreter combine to make the Synthesizer a powerful and responsive interactive programming tool.

715 citations

Journal ArticleDOI
TL;DR: Gandalf environments integrate programming and system development, permitting interactions not available in traditional environments, and the structure and function of several existing environments are covered.
Abstract: Different programming projects require different environments, but handcrafting a separate environment for each project is not economically feasible. Gandalf solves this problem by permitting environment designers to generate families of software development environments semiautomatically without excessive cost. Environments generated using Gandalf address programming environments, which help ease the programming process, as well as system development environments, which reduce the degree to which a software project is dependent on the good will of its members. Gandalf environments integrate programming and system development, permitting interactions not available in traditional environments. The paper covers the basic characteristics of Gandalf environments. The method used to generate these environments, the structure and function of several existing environments, and ongoing research on the project.

331 citations


Additional excerpts

  • ...(7) headCeons(X, r)) == X,. (8) operation count : sequence -~ integer is axiom ( 9 ) count(epsilon) -~- O; (lo) count( ons(X, Y)) == I +count(r); (11) end;...

    [...]

Proceedings ArticleDOI
16 May 1972
TL;DR: The 'feel' of an interactive system can be compared to the impressions generated by a piece of music, which will seem, after a few listenings, to be so natural the observer wonders why it was never done before.
Abstract: The 'feel' of an interactive system can be compared to the impressions generated by a piece of music. Both can only be experienced over a period of time. With either, the user must abstract the structure of the system from a sequence of details. Each may have a quality of 'naturalness' because successive actions follow a logically self-consistent pattern. Finally, a good composer can write a new pattern which will seem, after a few listenings, to be so natural the observer wonders why it was never done before.

224 citations

Journal ArticleDOI
TL;DR: 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.

164 citations