Prototyping versus specifying: a multiproject experiment
IEEE Transactions on Software Engineering
Direct implementation of abstract data types from abstract specifications
IEEE Transactions on Software Engineering
Functional programming, formal specification, and rapid prototyping
IEEE Transactions on Software Engineering
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
A logic-based calculus of events
New Generation Computing
Specification directed module testing
IEEE Transactions on Software Engineering
RT-ASLAN: A specification language for real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
The art of Prolog: advanced programming techniques
The art of Prolog: advanced programming techniques
Automatic Verification of Sequential Circuits Using Temporal Logic
IEEE Transactions on Computers
Current trends in concurrency. Overviews and tutorials
Specifying and prototyping: some thoughts on why they are successful
Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) on Formal Methods and Software, Vol.2: Colloquium on Software Engineering (CSE)
Programming in Prolog (3rd ed.)
Programming in Prolog (3rd ed.)
Logic programming and rapid prototyping
Science of Computer Programming
On the specification of real-time systems using logic programming
Proc. of the 1st European Software Engineering Conference on ESEC '87
A Generalized Timed Petri Net Model for Performance Analysis
IEEE Transactions on Software Engineering
A Prototyping Language for Real-Time Software
IEEE Transactions on Software Engineering
Please: executable specifications for incremental software development
Journal of Systems and Software
Conceptual Modeling in the Context of Development
IEEE Transactions on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Formal Specification and Design Time Testing
IEEE Transactions on Software Engineering
RSF: A Formalism for Executable Requirement Specifications
IEEE Transactions on Software Engineering
Software Specification Techniques (International Computer Science Series)
Software Specification Techniques (International Computer Science Series)
Approaches to Prototyping
Executable logic specifications for protocol service interfaces
IEEE Transactions on Software Engineering
Development of Veda, a Prototyping Tool for Distributed Algorithms
IEEE Transactions on Software Engineering
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
| Hi-index | 0.00 |
The availability of executable specification languages allows testing to be carried out soon after or concurrently with the requirements specification phase. In addition, it becomes possible to use these languages for rapid prototyping, making it possible to gather information on properties of the specified target system including its behavior in response to external events. The inspection of software behavior is viewed as the querying of executable specifications. A language RSQ is defined for the purpose of constructing queries against executable specifications expressed in RSF, a language for the description of systems with time constraints. A query is able to single out a subclass of possible behaviors based on properties supplied by the query. The integration of RSQ with RSF enhances the analytical abilities of the software designer and developer.