Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
New Programming Languages for Artificial Intelligence Research
ACM Computing Surveys (CSUR)
The denotational semantics of programming languages
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Using symbolic execution to characterize behavior
Proceedings of the workshop on Rapid prototyping
Formal languages and their relation to automata
Formal languages and their relation to automata
Simula Begin
Language support for the specification and development of composite systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Constructing Specifications by Combining Parallel Elaborations
IEEE Transactions on Software Engineering
The USC system factory project
ACM SIGSOFT Software Engineering Notes
Assuring the correctness of configured software descriptions
SCM '89 Proceedings of the 2nd International Workshop on Software configuration management
Validating system requirements by functional decomposition and dynamic analysis
ICSE '89 Proceedings of the 11th international conference on Software engineering
Work structures and shifts: an empirical analysis of software specification teamwork
ICSE '89 Proceedings of the 11th international conference on Software engineering
Software evolution through iterative prototyping
ICSE '92 Proceedings of the 14th international conference on Software engineering
Formal Approach to Scenario Analysis
IEEE Software
A general explanation component for conceptual modeling in CASE environments
ACM Transactions on Information Systems (TOIS)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
PRESTIGE: a CASE workbench for the JSD implementor
ICSE '91 Proceedings of the 13th international conference on Software engineering
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
On designing intelligent hypertext systems for information management in software engineering
HYPERTEXT '87 Proceedings of the ACM conference on Hypertext
A technique for prototyping directly from a specification
ICSE '85 Proceedings of the 8th international conference on Software engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Requirements engineering in the year 00: a research perspective
Proceedings of the 22nd international conference on Software engineering
Program Transformation Systems
ACM Computing Surveys (CSUR)
The operational versus the conventional approach to software development
Communications of the ACM
Representing Software Engineering Knowledge
Automated Software Engineering
Automation of simulation model generation from system specifications
WSC '84 Proceedings of the 16th conference on Winter simulation
Operational specification languages
ACM '83 Proceedings of the 1983 annual conference on Computers : Extending the human resource
KBMS-Based Evolutionary Prototyping of Software Systems*
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
Mappings for rapid prototyping
Proceedings of the workshop on Rapid prototyping
Using symbolic execution to characterize behavior
Proceedings of the workshop on Rapid prototyping
Still more about rapid prototyping
ACM SIGSOFT Software Engineering Notes
Program enhancement: a position paper
ACM SIGSOFT Software Engineering Notes
Automated enhancement of knowledge representations
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Scaling up with event-B: a case study
NFM'11 Proceedings of the Third international conference on NASA Formal methods
Functional requirements validation by transforming use case models into Abstract State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.03 |
This paper describes a set of freedoms which both simplify the task of specifing systems and make the resulting specification more comprehensible. These freedoms eliminate the need, in specific areas, to consider: the mechanisims for accomplishing certain capabilities, the careful coordination and integration of separate operations, the costs of those operations, and other detailed concerns which characterize implementation.These freedoms are partitioned into the areas of efficiency, method, and data, and providing them has resulted in a novel formal specification language, Gist. The main features of this language are described in terms of the freedoms it affords. An overview of the language is then presented together with an example of its use to specify the behavior of a real system.