Inferring Declarative Requirements Specifications from Operational Scenarios
IEEE Transactions on Software Engineering
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
Requirements interaction management
ACM Computing Surveys (CSUR)
The use of functional L-systems for scenario generation in serious games
Proceedings of the 2010 Workshop on Procedural Content Generation in Games
A scenario generation framework for automating instructional support in scenario-based training
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Formal methods in avionic software certification: the DO-178C perspective
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: applications and case studies - Volume Part II
| Hi-index | 0.00 |