Mark A. Ardis

Learn More
A software product line is a family of products that share common features to meet the needs of a market area. Systematic processes have been developed to dramatically reduce the cost of a product line. Such product-line engineering processes have proven practical and effective in industrial use, but are not widely understood. The Family-Oriented(More)
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant differences between the methods are hard to determine, choosing the best method for a particular application can be difficult. We have applied several different methods, including Modechart, VFSM, ESTEREL, Basic LOTOS, Z, SDL and C, to an(More)
We describe three case studies in the use of Basic LO TOS. The studies cover design recovery, requirements specification, and design activities. We also report lessons learned from the studies. Early lessons suggested changes to the syntax of the language used, and the need for some specific analysis tools. The last case study reports some of the results of(More)
In the Family-oriented Abstraction, Specification and Translation (FAST) domain engineering process for software production, a member of a software product family is automatically generated from a model expressed in a DSL. In practice, the time and skill needed to make the DSLs proved to be bottlenecks. FAST now relies on jargons, a kind of easy-to-make DSL(More)
Recently, we applied the software engineering technique of commonality analysis to the domain of interactive information visualization. This produced an analysis of graphical data displays in terms of commonalities (features shared by all such displays) and variabilities (the ways in which displays differ). This analysis has applications in the areas of(More)
July–September 1998 Introduction We report some experiences in the use of domain engineering to construct switching systems at Lucent Technologies. The software development teams for the projects we investigated introduced new technologies to their organizations, so they were obliged to solve two sets of problems—those related to the construction of(More)
Numerous formal specification methods for reactive systems have been proposed in the literature. Because the significant differences bet ween the methods are hard to determine, choosing the best method for a particular application can be difficult. We have applied several different methods, including Modechart, VFSM, ESTEREL, Basic LOTOS, Z, SDL and C, to(More)