2835 search results - page 148 / 567 » Imperfect Requirements in Software Development |
TAICPART
2006
IEEE
14 years 4 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
SPLC
2008
2008
Using Aspects and Component Concepts to Improve Reuse of Software for Embedded Systems Product Lines
13 years 11 months ago
Embedded systems have several characteristics, such as application specific needs, real-time constraints and intrinsic embedded concerns (i.e. energy consumption), which hinder th...
SE
2007
13 years 11 months ago
2007
: Property Driven Development is a methodology to check the validity of a distributed application and its conformance to specified requirements. A first prototype supporting this...
HASE
2002
IEEE
14 years 3 months ago
2002
IEEE
Components (in-house or pre-fabricated) are increasingly being used to reduce the cost of software development. Given that these components may not have not been developed with de...
ASE
2002
13 years 10 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...