Integration of sequential scenarios
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Integration of Sequential Scenarios
IEEE Transactions on Software Engineering
Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Use Case Maps as Architectural Entities for Complex Systems
IEEE Transactions on Software Engineering
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed System
IEEE Transactions on Software Engineering
Scenarios and state machines: models, algorithms, and tools
Proceedings of the 24th International Conference on Software Engineering
Formal Specifications of User Requirements
Automated Software Engineering
Object-oriented modeling with ADORA
Information Systems - The 13th international conference on advanced information systems engineering (CAiSE*01)
The ADORA Approach to Object-Oriented Modeling of Software
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Representing Embedded System Sequence Diagrams as a Formal Language
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Scenarios and state machines: models, algorithms, and tools: a summary of the 4th workshop
ACM SIGSOFT Software Engineering Notes
Telecommunications Systems - Modeling, analysis, design and management
Increasing quality of conceptual models: is object-oriented analysis that simple?
Proceedings of the 2006 international workshop on Role of abstraction in software engineering
Scenario-driven modeling and validation of requirements models
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
An XML environment for scenario based requirements engineering
Journal of Systems and Software
Cooperability In Train Control Systems: Specification Of Scenarios Using Open Nets
Journal of Integrated Design & Process Science
Specifying Use Case Sequencing Constraints Using Description Elements
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Synthesis of timing scenarios for embedded systems using modular Petri nets
CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
Eliciting required characteristics for usable requirements engineering approaches
Proceedings of the 2009 ACM symposium on Applied Computing
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
Behavioral Model Composition: a Non Functional Requirements Driven Approach
Proceedings of the 2009 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the Eighth SoMeT_09
Towards a framework for estimating system NFRs on behavioral models
Knowledge-Based Systems
Composition of use cases using synchronization and model checking
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Achieving closed-loop control simulation of human-artefact interaction: a comparative review
Modelling and Simulation in Engineering
PLANT: A pattern language for transforming scenarios into requirements models
International Journal of Human-Computer Studies
Hi-index | 0.00 |