Sciweavers

1663 search results - page 219 / 333
» Software Reuse and Safety
Sort
View
ASM
2010
ASM
14 years 3 months ago
A Basis for Feature-Oriented Modelling in Event-B
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
Jennifer Sorge, Michael Poppleton, Michael Butler
KBSE
2007
IEEE
14 years 3 months ago
Covering array sampling of input event sequences for automated gui testing
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
Xun Yuan, Myra B. Cohen, Atif M. Memon
GPCE
2007
Springer
14 years 3 months ago
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures
Maintaining integrity, consistency, and enforcing conformance in architectures of large-scale systems requires specification and enforcement of many different forms of structural...
Georg Jung, John Hatcliff
MODELS
2007
Springer
14 years 3 months ago
Using Domain-Specific Modeling to Generate User Interfaces for Wizards
The rising adoption and incorporation of computers into everyday life requires human-computer interaction methods to be efficient and easy to understand. Simultaneously, complexit...
Enis Afgan, Jeffrey G. Gray, Purushotham Bangalore
ISPW
2005
IEEE
14 years 2 months ago
Process Definition Language Support for Rapid Simulation Prototyping
This paper suggests how an appropriately designed and architected process definition language can be an effective aid to the rapid generation of simulations, which are, in turn, ca...
Mohammad S. Raunak, Leon J. Osterweil