17 search results - page 1 / 4 » On the Relation between Design Contracts and Errors: A Softw... |
ECBS
2002
IEEE
13 years 10 months ago
2002
IEEE
When designing a software module or system, a systems engineer must consider and differentiate between how the system responds to external and internal errors. External errors can...
UML
2004
Springer
13 years 10 months ago
2004
Springer
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
ICSE
2011
IEEE-ACM
12 years 8 months ago
2011
IEEE-ACM
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementatio...
RE
2008
Springer
13 years 4 months ago
2008
Springer
An accurate set of traceability relations between software development artifacts is desirable to support evolutionary development. However, even where an initial set of traceabili...
TSE
2002
13 years 4 months ago
2002
Software system documentation is almost always expressed informally in natural language and free text. Examples include requirement specifications, design documents, manual pages, ...