3828 search results - page 597 / 766 » Proof-Based System Engineering Using a Virtual System Model |
196
Voted
WCRE
2008
IEEE
16 years 16 days ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
193
Voted
ICST
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
142
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Context-aware Web services are currently emerging as an important technology for building innovative contextaware applications. Unfortunately, context-aware Web services are still...
145
click to vote
SIGSOFT
2008
ACM
16 years 6 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
168
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
An important emerging requirement for computing systems is the ability to adapt at run time, taking advantage of local computing devices, and coping with dynamically changing reso...