Coordinated computing: tools and techniques for distributed software
Coordinated computing: tools and techniques for distributed software
The transformation schema: An extension of the data flow diagram to represent control and timing
IEEE Transactions on Software Engineering
A Metaprogramming method and its economic justification
IEEE Transactions on Software Engineering
Salient features of and executable specification language and its environment
IEEE Transactions on Software Engineering
Case study: the PAISley approach applied to its own software tools
Computer Languages
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Specification of time dependencies and synthesis of concurrent processes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Design of an Adaptive, Parallel Finite-Element System
ACM Transactions on Mathematical Software (TOMS)
ACM Transactions on Mathematical Software (TOMS)
Comments on “Communicating Sequential Processes”
ACM Transactions on Programming Languages and Systems (TOPLAS)
The operational versus the conventional approach to software development
Communications of the ACM
Communications of the ACM
Communicating sequential processes
Communications of the ACM
A Compositional Approach to Multiparadigm Programming
IEEE Software
Executable requirements for embedded systems
ICSE '81 Proceedings of the 5th international conference on Software engineering
The use of a software specification metalanguage
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
201 principles of software development
201 principles of software development
Classification of research efforts in requirements engineering
ACM Computing Surveys (CSUR)
Specification-based prototyping for embedded systems
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
High-integrity code generation for state-based formalisms
Proceedings of the 22nd international conference on Software engineering
Requirements and Specification Exemplars
Automated Software Engineering
Requirements specifications checking of embedded real-time software
Journal of Computer Science and Technology
Developing Formal Specifications from Informal Requirements
IEEE Expert: Intelligent Systems and Their Applications
Automatic Generation of a Software Performance Model Using an Object-Oriented Prototype
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
| Hi-index | 0.00 |
An executable specification language called PAISLey is evaluated. The language is accompanied by specification methods, analysis techniques, and software tools. The actual results of the PAISLey project are summarized. Research methods, how the results were obtained, and how the project might have been improved are discussed.