1405 search results - page 124 / 281 » Software engineering for and with artists: a case study |
132
click to vote
IWPC
1999
IEEE
15 years 10 months ago
1999
IEEE
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...
177
click to vote
ICST
2008
IEEE
16 years 25 days ago
2008
IEEE
Verification and validation techniques often generate various forms of software development artifacts. Change records created from verification and validation efforts show how fil...
188
click to vote
ICSE
1999
IEEE-ACM
15 years 10 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
162
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
175
click to vote
WCRE
2005
IEEE
15 years 12 months ago
2005
IEEE
The use of design patterns in a software system can provide strong indications about the rationale behind the system’s design. As a result, automating the detection of design pa...