1641 search results - page 126 / 329 » The Timeboxing process model for iterative software developm... |
138
click to vote
UML
2001
Springer
15 years 8 months ago
2001
Springer
Much of the research work on design patterns has primarily focused on discovering and documenting patterns. Design patterns promise early reuse benefits at the design stage. To rea...
143
click to vote
KBSE
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
126
click to vote
APSEC
2005
IEEE
15 years 9 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
145
click to vote
NGC
2000
Springer
15 years 3 months ago
2000
Springer
With the increasing popularity of the WWW, the main challenge in computer science has become content-based retrieval of multimedia objects. Access to multimedia objects in database...
120
click to vote
ITCC
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we propose a software architecture model for the development of elaboration/transcoding modules for structured data. We define a flexible implementation approach ...