Principles of information systems analysis and design
Principles of information systems analysis and design
Trace Specifications: Methodology and Models
IEEE Transactions on Software Engineering
String-rewriting systems
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Cleanroom software engineering: technology and process
Cleanroom software engineering: technology and process
Foundations of the Trace Assertion Method of Module Interface Specification
IEEE Transactions on Software Engineering
Using assertions about traces to write abstract specifications for software modules
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
Developing Black Box Specifications Through Sequence Enumeration
SESD '99 Proceedings of the Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy
Combining the Box Structure Development Method and CSP
Proceedings of the 19th IEEE international conference on Automated software engineering
From Requirements to Statistical Testing of Embedded Systems
SEAS '07 Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems
Sequence-based specification of feedback control systems in Simulink®
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Specifying module interfaces with finitely defined automata
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
The impact of requirements changes on specifications and state machines
Software—Practice & Experience
Measure software - and its evolution - using information content
Proceedings of the joint international and annual ERCIM workshops on Principles of software evolution (IWPSE) and software evolution (Evol) workshops
An axiom system for sequence-based specification
Theoretical Computer Science
Combining the Box Structure Development Method and CSP for Software Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards verification-based development of in-vehicle safety critical software: a case study
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Electronic Notes in Theoretical Computer Science (ENTCS)
A systematic testing approach for autonomousm mobile robots using domain-specific languages
KI'10 Proceedings of the 33rd annual German conference on Advances in artificial intelligence
Automatic discovery of unspecified behaviors in automotive control software
TAIC PART'10 Proceedings of the 5th international academic and industrial conference on Testing - practice and research techniques
Studying software evolution using artefacts' shared information content
Science of Computer Programming
Automated translation and analysis of a ToolBus script for auctions
FSEN'09 Proceedings of the Third IPM international conference on Fundamentals of Software Engineering
ASD case notes: costs and benefits of applying formal methods to industrial control software
FM'05 Proceedings of the 2005 international conference on Formal Methods
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Experience report on developing the Front-end client unit under the control of formal methods
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Experiences with a compositional model checker in the healthcare domain
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Incorporating Formal Techniques into Industrial Practice: an Experience Report
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying string-rewriting to sequence-based specification
Formal Methods in System Design
| Hi-index | 0.00 |
Rigorous specification early in the software development process can greatly reduce the cost of later development and maintenance, as well as provide an explicit means to manage risk and identify and meet safety requirements. Sequence-based software specification is a collection of techniques for implementing rigorous, practical software specification. The primary result of this research is the sequence enumeration method of specification writing. Straightforward, systematic enumeration of all sequences to produce an arguably complete, consistent, and traceably correct specification is made practical by controlling the growth of the process.