568 search results - page 41 / 114 » Enforcing traceability in software |
120
Voted
WCRE
1999
IEEE
15 years 7 months ago
1999
IEEE
Software system documentation is almost always expressed informally, in natural language and free text. Examples include requirement specifications, design documents, manual pages...
104
Voted
ICSE
2010
IEEE-ACM
15 years 4 months ago
2010
IEEE-ACM
E-mails concerning the development issues of a system constitute an important source of information about high-level design decisions, low-level implementation concerns, and the s...
132
Voted
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a semi-automated approach, Secoria, for analyzing a security runtime architecture for security and for conformance to an object-oriented implementation. Typecheckable a...
163
Voted
ECWEB
2010
Springer
15 years 23 days ago
2010
Springer
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...
135
Voted
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
Synchronous languages like Esterel have been widely adopted for designing reactive systems in safety-critical domains such as avionics. Specifications written in Esterel are based...