Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJuly 2019
Test case generation, selection and coverage from natural language
Science of Computer Programming (SCPR), Volume 181, Issue CPages 84–110https://doi.org/10.1016/j.scico.2019.01.003AbstractIn Model-based Testing (MBT), test cases are automatically generated from a formal model of the system. A disadvantage of MBT is that developers must deal with formal notations. This limitation is addressed in this paper, where use ...
Highlights- A process algebraic approach to test generation from use cases in natural language.
- articleJune 2016
An experiment on the impact of transparency on the effectiveness of requirements documents
Empirical Software Engineering (KLU-EMSE), Volume 21, Issue 3Pages 1035–1066https://doi.org/10.1007/s10664-015-9374-8Effective communication is important to successful software development, but it is difficult to achieve. We believe transparency -- the visibility of information to stakeholders -- is an important factor in the effectiveness of communication in software ...
- research-articleJuly 2013
Use case and task models: An integrated development methodology and its formal foundation
ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 22, Issue 3Article No.: 27, Pages 1–31https://doi.org/10.1145/2491509.2491521User Interface (UI) development methods are poorly integrated with standard software engineering practice. The differences in terms of artifacts involved, development philosophies, and lifecycles can often result in inconsistent system and UI ...
- research-articleMay 2011
Partial order semantics for use case and task models
Formal Aspects of Computing (FAC), Volume 23, Issue 3Pages 307–332https://doi.org/10.1007/s00165-010-0158-zAbstractUse case models are the specification medium of choice for functional requirements, while task models are employed to capture User Interface (UI) requirements and design information. In current practice, both entities are treated independently and ...
- ArticleOctober 2008
Exploiting the Complementary Relationship between Use Case Models and Activity Diagrams for Developing Quality Requirements Specifications
ER '08: Proceedings of the ER 2008 Workshops (CMLSA, ECDM, FP-UML, M2AS, RIGiM, SeCoGIS, WISM) on Advances in Conceptual Modeling: Challenges and OpportunitiesPages 144–153https://doi.org/10.1007/978-3-540-87991-6_19Use case models and activity diagrams play an important role in the early stages of requirements engineering for systems development. While use case descriptions represent requirements through a sequence of step descriptions in main scenario and ...