Parallel program design: a foundation
Parallel program design: a foundation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Debugging the development process
Debugging the development process
ACM Transactions on Programming Languages and Systems (TOPLAS)
Functional documents for computer systems
Science of Computer Programming
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software Engineering Standards
Software Engineering Standards
MOCHA: Modularity in Model Checking
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Reference Model for Requirements and Specifications
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
FMSP '00 Proceedings of the third workshop on Formal methods in software practice
Requirements-Based Monitors for Real-Time Systems
IEEE Transactions on Software Engineering
Requirements, domain and specifications: a viewpoint-based approach to requirements engineering
Proceedings of the 24th International Conference on Software Engineering
Programming methodology
Integrating diverse paradigms in evolution and maintenance by an XML-based unified model
Journal of Software Maintenance: Research and Practice
Why software writing is difficult and will remain so
Information Processing Letters - Special issue: Contribution to computing science
A Methodological Framework for Viewpoint-Oriented Conceptual Modeling
IEEE Transactions on Software Engineering
From Live Sequence Charts to State Machines and Back: A Guided Tour
IEEE Transactions on Software Engineering
Problem-based analysis of organisational change: a real-world example
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Towards automatic problem decomposition: an ontology-based approach
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Addressing problem frame concerns via coloured petri nets and graphical animation
Proceedings of the 2006 international workshop on Advances and applications of problem frames
Journal of Integrated Design & Process Science
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Modeling the Environment in Software-Intensive Systems
MISE '07 Proceedings of the International Workshop on Modeling in Software Engineering
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach
Proceedings of the 2009 ACM symposium on Applied Computing
Design science as nested problem solving
Proceedings of the 4th International Conference on Design Science Research in Information Systems and Technology
On Non-Functional Requirements in Software Engineering
Conceptual Modeling: Foundations and Applications
Editorial: A roadmap of problem frames research
Information and Software Technology
Problem frames and software engineering
Information and Software Technology
Relating requirements and feature configurations: a systematic approach
Proceedings of the 13th International Software Product Line Conference
Towards normal design for safety-critical systems
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
What's in a feature: a requirements engineering perspective
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
From Requirements to Architecture
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Conceptual application domain modelling
APCCM '09 Proceedings of the Sixth Asia-Pacific Conference on Conceptual Modeling - Volume 96
ACM SIGSOFT Software Engineering Notes
An approach of requirements tracing in formal refinement
VSTTE'10 Proceedings of the Third international conference on Verified software: theories, tools, experiments
Real-world semantics of conceptual models
The evolution of conceptual modeling
Domains: their simulation, monitoring and control-a divertimento of ideas and suggestions
Rainbow of computer science
ICSR'11 Proceedings of the 12th international conference on Top productivity through software reuse
Model-based qualitative risk assessment for availability of IT infrastructures
Software and Systems Modeling (SoSyM)
Environment ontology-based capability specification for web service discovery
ICFEM'06 Proceedings of the 8th international conference on Formal Methods and Software Engineering
Bridging the gap between requirements and design: An approach based on Problem Frames and SysML
Journal of Systems and Software
The fault-tolerant insulin pump therapy
Rigorous Development of Complex Fault-Tolerant Systems
Combining problem frames and UML in the description of software requirements
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
A User-Oriented Model of Factors that Affect Information Requirements Determination Process Quality
Information Resources Management Journal
Separation of concerns in feature diagram languages: A systematic survey
ACM Computing Surveys (CSUR)
Specifying software features for composition: A tool-supported approach
Computer Networks: The International Journal of Computer and Telecommunications Networking
A method and tool for tracing requirements into specifications
Science of Computer Programming
| Hi-index | 0.00 |
The authors define a reference model for applying formal methods to the development of user requirements and their reduction to a system's behavioral specification. Their approach focuses on the shared phenomena that define the interface between the system and the environment in which it will operate and on how the parts of this interface are controlled.