1376 search results - page 162 / 276 » Monitoring Software Requirements Using Instrumented Code |
105
click to vote
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
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...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
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...
116
click to vote
SSR
2001
14 years 11 months ago
2001
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 ...
113
click to vote
IIWAS
2008
14 years 11 months ago
2008
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...
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
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...