168 search results - page 11 / 34 » Towards validated real-time software |
AMAST
2008
Springer
13 years 12 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
CAI
2006
Springer
13 years 10 months ago
2006
Springer
This paper addresses the conflicting dimension of groupware, seeking the reconciliation of two very different assumptions about the users' attitudes using groupware tools: use...
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
Many computer scientists recognize the adverse relationship between Microsoft Windows, a general purpose operating system, which by design does not support Real Time, a specific ...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
ICSE
2001
IEEE-ACM
14 years 2 months ago
2001
IEEE-ACM
Global software development challenges traditional techniques of software engineering, such as peer reviews or teamwork. Effective teamwork and coaching of engineers highly contri...