1137 search results - page 107 / 228 » Disciplined Methods of Software Specification: A Case Study |
CODES
2009
IEEE
15 years 4 months ago
2009
IEEE
The FlexRay bus is the prospective automotive standard communication system. For the sake of a high flexibility, the protocol includes a static time-triggered and a dynamic event...
CONSTRAINTS
2008
14 years 10 months ago
2008
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
TSE
2002
14 years 9 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, ...
KBSE
2009
IEEE
15 years 4 months ago
2009
IEEE
—Software projects often rely on third-party libraries made accessible through Application Programming Interfaces (APIs). We have observed many cases where APIs are used in ways ...
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...