Sciweavers

1878 search results - page 212 / 376
» Efficient Performance Models in Component-Based Software Eng...
Sort
View
114
Voted
WER
2007
Springer
15 years 9 months ago
Evaluating the Effectiveness of Using Catalogues to Elicit Non-Functional Requirements
: Non-Functional Requirements (NFR) are subjective, interactive and relative, thus realizing the need for particular NFR is by itself a challenge. Furthermore understanding what th...
Luiz Marcio Cysneiros
126
Voted
ISPASS
2005
IEEE
15 years 8 months ago
Accelerating Multiprocessor Simulation with a Memory Timestamp Record
We introduce a fast and accurate technique for initializing the directory and cache state of a multiprocessor system based on a novel software structure called the memory timestam...
Kenneth C. Barr, Heidi Pan, Michael Zhang, Krste A...
118
Voted
AMAST
2004
Springer
15 years 8 months ago
On Guard: Producing Run-Time Checks from Integrity Constraints
Abstract. Software applications are inevitably concerned with data integrity, whether the data is stored in a database, files, or program memory. An integrity guard is code execut...
Michael Benedikt, Glenn Bruns
110
Voted
LCTRTS
2004
Springer
15 years 8 months ago
Flattening statecharts without explosions
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
Andrzej Wasowski
130
Voted
ICSM
2006
IEEE
15 years 8 months ago
Model-Based Testing of Community-Driven Open-Source GUI Applications
Although the world-wide-web (WWW) has significantly enhanced open-source software (OSS) development, it has also created new challenges for quality assurance (QA), especially for...
Qing Xie, Atif M. Memon