1199 search results - page 143 / 240 » Software Verification and Software Engineering a Practitione... |
135
click to vote
AGILEDC
2004
IEEE
15 years 10 months ago
2004
IEEE
Agile processes such as XP (eXtreme Programming) have been recognised for their potential benefits of improving software. During adoption of the XP process, teams can misapply the...
171
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
If we model a family of software applications with a feature model and an architecture model, we are describing the same subject from different perspectives. Hence, we are running ...
162
click to vote
ICSM
2009
IEEE
15 years 3 months ago
2009
IEEE
Planning the next release in software release planning addresses the problem of assigning features to the next release such that technical, resource, risk, and budget constraints ...
176
click to vote
FSTTCS
2006
Springer
15 years 9 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
147
click to vote
DAC
1999
ACM
15 years 10 months ago
1999
ACM
We present our practical experience in the modeling and integration of cycle/phase-accurate instruction set architecture (ISA) models of digital signal processors (DSPs) with othe...