Sciweavers

5252 search results - page 310 / 1051
» Requirements engineering: a roadmap
Sort
View
SIGSOFT
2003
ACM
16 years 5 hour ago
Use case-based testing of product lines
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
Antonia Bertolino, Stefania Gnesi
EMSOFT
2003
Springer
15 years 12 months ago
Intelligent Editor for Writing Worst-Case-Execution-Time-Oriented Programs
Abstract. To guarantee timeliness in hard real-time systems the knowledge of the worst-case execution time (WCET) for its time-critical tasks is mandatory. Accurate and correct WCE...
Janosch Fauster, Raimund Kirner, Peter P. Puschner
WCRE
2002
IEEE
15 years 11 months ago
Knowledge-Based Library Re-Factoring for an Open Source Project
Software miniaturization is a form of software refactoring focused on reducing an application to the bare bone. Porting an application on a hand-held device is very likely to requ...
Massimiliano Di Penta, Markus Neteler, Giuliano An...
ICSE
2009
IEEE-ACM
15 years 11 months ago
An Empirical Study of Testing File-System-Dependent Software with Mock Objects
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonat...
SEKE
2001
Springer
15 years 11 months ago
Temporal Logic Properties of Java Objects
ct 7 Applying finite-state verification techniques to software systems looks attractive because they are capable of detecting very subtle 8 defects in the logic design of these s...
Radu Iosif, Riccardo Sisto