3441 search results - page 302 / 689 » Provenance of Software Development Processes |
171
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
AUTOSAR as specified in its current version fosters timing-constraints at application level to support the development of real-time automotive applications. However, the standard...
139
click to vote
FOSSACS
2007
Springer
15 years 11 months ago
2007
Springer
We use the framework of biorthogonality to introduce a novel semantic definition of the concept of barb (basic observable) for process calculi. We develop a uniform basic theory o...
135
click to vote
SCOPES
2005
Springer
15 years 10 months ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
171
click to vote
WIKIS
2005
ACM
15 years 10 months ago
2005
ACM
Good documentation benefits every software development project, especially large ones, but it can be hard, costly, and tiresome to produce when not supported by appropriate tools...
146
click to vote
WOSP
2004
ACM
15 years 10 months ago
2004
ACM
Performance characteristics, such as response time, throughput and scalability, are key quality attributes of distributed applications. Current practice, however, rarely applies s...