Statecharts: A visual formalism for complex systems
Science of Computer Programming
Strategies for real-time system specification
Strategies for real-time system specification
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
Structured Development for Real-Time Systems
Structured Development for Real-Time Systems
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Automated consistency checking of requirements specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Rigorous requirements for real-time systems: evolution and application of the SCR method (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications
IEEE Transactions on Software Engineering
Specifying the mode logic of a flight guidance system in CoRE and SCR
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Understanding and exploring formal specifications
Annals of Software Engineering - Special issue on software engineering education
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
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
Extending the SCR Method for Real-Time Systems
Real-Time Systems
Ada: the cheapest way to build a line of business
Proceedings of the conference on TRI-Ada '95: Ada's role in global markets: solutions for a changing complex world
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Extending Design Environments to Software Architecture Design
Automated Software Engineering
Model Checking Complete Requirements Specifications Using Abstraction
Automated Software Engineering
Safety Analysis of Requirements for a Product Family
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
The Design and Implementation of an Object-Oriented Process Control Loop Framework
AISA '02 Proceedings of the First International Workshop on Advanced Internet Services and Applications
The Industrial Use of Formal Methods: Was Darwin Right?
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Specification and Analysis of System Level Inter-Component Communication
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Generic Approach to the Formal Specification of Requirements
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Managing Complexity in Software Development with Formally Based Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Integration of formal analysis into a model-based software development process
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Requirements modeling for embedded realtime systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
| Hi-index | 0.00 |
The member companies of the Software Productivity Consortium develop large, mission-critical, real-time applications. For these companies, requirements are the top-priority problem in systems and software development. These requirements have driven the development of the Consortium Requirements Engineering (Core) method and its prototype CASE tools. Core is a single, coherent method for specifying real-time requirements that integrates object-oriented and forward models, integrates graphical and formal specifications, permits nonalgorithmic specifications, and provides a machine-like model. The Core requirements, component technologies, and conceptual model are discussed. Some important Core features are illustrated with an example of safety-shutdown software for a shipboard fuel-control system.