3555 search results - page 6 / 711 » Security-Critical System Development with Extended Use Cases |
HICSS
2007
IEEE
16 years 5 days ago
2007
IEEE
156
click to vote
ISEUD
2009
Springer
16 years 11 days ago
2009
Springer
The paper is a case study of customer-initiated software product development. We have observed and participated in system development activities in a commercial software house (com...
175
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
135
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...
170
click to vote
AOSE
2007
Springer
16 years 17 hour ago
2007
Springer
Abstract. Agent-oriented methodologies are an important means for constructing agent-based systems in a controlled repeatable form. However, agent-oriented methodologies have not r...