Soheila Bashardoust-Tajali

Learn More
Software testing is the traditional way to verify the functionality of a given software system against its requirements. In domain engineering, these requirements consist of variabilities and commonalities observed in a domain and captured in a domain model [5]. We remark that the latter may be used to obtain an elaborate design; however tests cannot be(More)
Variability in software architecture is a multi-facet problem, and domain-related variation is one of these several facets. In this paper, we focus exclusively on this one aspect of variation in software architecture, namely domain-related variation (or domain variability [4]). Our goal is to review existing frameworks and tools that address domain(More)
The emergence of Software Product Lines and System Family Engineering emphasizes the importance of the notions of variability and commonalities across a domain. Yet, how to integrate these notions into the task of verifying requirements against the actual behavior of an implementation has received little attention. In this paper, our position is that a(More)
Scenarios are useful in modeling external behavior of a system, and design patterns are useful in bridging from what is required to how to build it in a given context. Together, scenarios and design patterns, can be a basis for an effective approach to modeling and evaluating alternative designs of event-driven reactive systems. However, both techniques are(More)
  • 1