Communications of the ACM - Special issue on analysis and modeling in software development
Getting around the task-artifact cycle: how to make claims and design by scenario
ACM Transactions on Information Systems (TOIS)
Inquiry-Based Requirements Analysis
IEEE Software
Formal Approach to Scenario Analysis
IEEE Software
Goal decomposition and scenario analysis in business process reengineering
CAiSE '94 Proceedings of the 6th international conference on Advanced information systems engineering
Scenarios in discount usability engineering
Scenario-based design
Addendum to the 1997 ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (Addendum)
LSCs: Breathing Life into Message Sequence Charts
Formal Methods in System Design
Artificial Intelligence
A Case Study of Decomposing Functional Requirements Using Scenarios
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
Scenario-Based Requirements Engineering
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Validating Use-Cases with the AsmL Test Tool
QSIC '03 Proceedings of the Third International Conference on Quality Software
A UML 2.0 profile for SystemC: toward high-level SoC design
Proceedings of the 5th ACM international conference on Embedded software
An ASM Operational Semantics for Use Case Maps
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Telecommunications Systems - Modeling, analysis, design and management
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Testing Formal Specifications to Detect Design Errors
IEEE Transactions on Software Engineering
Using spin to generate tests from ASM specifications
ASM'03 Proceedings of the abstract state machines 10th international conference on Advances in theory and practice
Using model checking to generate fault detecting tests
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Rigorous Methods for Software Construction and Analysis
A model-driven process for engineering a toolset for a formal method
Software—Practice & Experience
Bârun: a scripting language for CoreASM
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Functional requirements validation by transforming use case models into Abstract State Machines
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Evaluating the benefits of using domain-specific modeling languages: an experience report
Proceedings of the 2013 ACM workshop on Domain-specific modeling
Adaptation space exploration for service-oriented applications
Science of Computer Programming
Hi-index | 0.00 |
This paper presents the AValLalanguage, a domain-specific modelling language for scenario-based validation of ASM models, and its supporting tool, the AsmetaVvalidator. They have been developed according to the model-driven development principles as part of the asmeta(ASM mETAmodelling) toolset, a set of tools around ASMs. As a proof-of-concepts, the paper reports the results of the scenario-based validation for the well-known LIFT control case study.