Guest A Layered Approach to Automating the Verification of Real-Time Systems
IEEE Transactions on Software Engineering - Special issue: specification and analysis of real-time systems
A framework for event-based software integration
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal refinement patterns for goal-driven requirements elaboration
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integrating obstacles in goal-driven requirements engineering
Proceedings of the 20th international conference on 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
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Theoretical Computer Science
Agent-based tactics for goal-oriented requirements elaboration
Proceedings of the 24th International Conference on Software Engineering
Deriving operational software specifications from system goals
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Deriving operational software specifications from system goals
ACM SIGSOFT Software Engineering Notes
From Object-Process Diagrams to a Natural Object-Process Language
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Building Formal Requirements Models for Reliable Software
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
Compositional Reasoning Using the Assumption-Commitment Paradigm
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Cut-Free Display Calculi for Nominal Tense Logics
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Requirements interaction management
ACM Computing Surveys (CSUR)
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
Fluent temporal logic for discrete-time event-based models
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
A Hybridization of Irreflexive Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Prefixed tableaux systems for modal logics with enriched languages
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Early Verification and Validation of Mission Critical Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
From entities and relationships to social actors and dependencies
ER'00 Proceedings of the 19th international conference on Conceptual modeling
A deidealisation semantics for KAOS
Proceedings of the 2010 ACM Symposium on Applied Computing
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Goal-Oriented design of domain control panels
DSVIS'05 Proceedings of the 12th international conference on Interactive Systems: design, specification, and verification
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement
Generating obstacle conditions for requirements completeness
Proceedings of the 34th International Conference on Software Engineering
| Hi-index | 0.00 |