Sciweavers

1376 search results - page 162 / 276
» Monitoring Software Requirements Using Instrumented Code
Sort
View
CICLING
2009
Springer
16 years 2 months ago
Generating Executable Scenarios from Natural Language
Abstract. Bridging the gap between the specification of software requirements and actual execution of the behavior of the specified system has been the target of much research in r...
Michal Gordon, David Harel
102
Voted
SIGSOFT
2010
ACM
15 years 2 days ago
Synthesis of live behaviour models
We present a novel technique for synthesising behaviour models that works for an expressive subset of liveness properties and conforms to the foundational requirements engineering...
Nicolás D'Ippolito, Víctor A. Braber...
SSR
2001
146views more  SSR 2001»
15 years 3 months ago
Implementing product line variabilities
Software product lines have numerous members. Thus, a product line infrastructure must cover various systems. This is the significant difference to usual software systems and the ...
Cristina Gacek, Michalis Anastasopoules
IIWAS
2008
15 years 3 months ago
Using conditional transformations for semantic user interface adaptation
The rapid growth of mobile Internet use requires highly flexible and adaptable user interfaces for web applications. Contextual data from various sources as for example device HMI...
Pascal Bihler, Merlin Fotsing, Günter Kniesel...
IPPS
2003
IEEE
15 years 7 months ago
Multi-Paradigm Framework for Parallel Image Processing
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
David J. Johnston, Martin Fleury, Andy C. Downton