Dealing with Incompleteness in Automata-Based Model Checking
AbstractA software specification is often the result of an iterative process that transforms an initial incomplete model through refinement decisions. A model is incomplete because the implementation...
View ArticleAmbiguity and tacit knowledge in requirements elicitation interviews
AbstractInterviews are the most common and effective means to perform requirements elicitation and support knowledge transfer between a customer and a requirements analyst. Ambiguity in communication...
View ArticleAutomating trade-off analysis of security requirements
AbstractA key aspect of engineering secure systems is identifying adequate security requirements to protect critical assets from harm. However, security requirements may compete with other requirements...
View ArticleCommon Mistakes of Student Analysts in Requirements Elicitation Interviews
AbstractContext and Motivation: Customer-analyst interviews are among the most common techniques for eliciting requirements. However, students of computer science-related disciplines have little...
View ArticleFrom Model Checking to a Temporal Proof for Partial Models
AbstractThree-valued model checking has been proposed to support verification when some portions of the model are unspecified. Given a formal property, the model checker returns true if the property is...
View ArticleIntegrating Goal Model Analysis with Iterative Design
AbstractContext and Motivation: Goal-oriented methods can be used by analysts to produce a set of system requirements that reflect the customer needs and are used as guidelines in the subsequent system...
View ArticleBounded variability of metric temporal logic
AbstractDeciding validity of Metric Temporal Logic (MTL) formulas is generally very complex and even undecidable over dense time domains; bounded variability is one of the several restrictions that...
View ArticleInterview Review: An Empirical Study on Detecting Ambiguities in Requirements...
Abstract[Context and Motivation] Ambiguities identified during requirements elicitation interviews can be used by the requirements analyst as triggers for additional questions and, consequently, for...
View ArticleSupporting Verification-Driven Incremental Distributed Design of Components
AbstractSoftware systems are usually formed by multiple components which interact with one another. In large systems, components themselves can be complex systems that need to be decomposed into...
View ArticleAmbiguity in Requirements Engineering: Towards a Unifying Framework
Abstract A long stream of research in RE has been devoted to analyzing the occurrences and consequences of ambiguity in requirements documents. Ambiguity often occurs in documents, most often in...
View ArticleTeaching requirements elicitation interviews: an empirical study of learning...
AbstractInterviews are the most widely used elicitation technique in requirements engineering (RE). However, conducting a requirements elicitation interview is challenging. The mistakes made in design...
View ArticleA verification-driven framework for iterative design of controllers
AbstractControllers often are large and complex reactive software systems and thus they typically cannot be developed as monolithic products. Instead, they are usually comprised of multiple components...
View ArticleDesigning a Virtual Client for Requirements Elicitation Interviews
Abstract[Context and motivation] Role-playing offer experiential learning through the simulation of real-world scenarios; for this reason, it is widely used in software engineering education. In...
View ArticleSaPeer and ReverseSaPeer: teaching requirements elicitation interviews with...
AbstractAmong the variety of the available requirements elicitation techniques, interviews are the most commonly used. Performing effective interviews is challenging, especially for students and novice...
View ArticleTOrPEDO: witnessing model correctness with topological proofs
AbstractModel design is not a linear, one-shot process. It proceeds through refinements and revisions. To effectively support developers in generating model refinements and revisions, it is desirable...
View ArticleTowards Explainable Formal Methods: From LTL to Natural Language with Neural...
Abstract[Context and motivation] Requirements formalisation facilitates reasoning about inconsistencies, detection of ambiguities, and identification critical issues in system models. Temporal logic...
View ArticleHow do requirements evolve during elicitation? An empirical study combining...
AbstractRequirements are elicited from the customer and other stakeholders through an iterative process of interviews, prototyping, and other interactive sessions. Then, requirements can be further...
View ArticleBringing Stakeholders Along for the Ride: Towards Supporting Intentional...
Abstract[Context and Motivation] During elicitation, in addition to collecting requirements, analysts also collect stakeholders’ goals and the present and historical interests that motivate their...
View Article
