2912 search results - page 405 / 583 » A Study of Collaboration in Software Design |
RE
1997
Springer
14 years 1 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
ERLANG
2007
ACM
14 years 1 months ago
2007
ACM
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
FSEN
2009
Springer
14 years 1 months ago
2009
Springer
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
GECCO
2006
Springer
14 years 29 days ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...
EMSOFT
2008
Springer
13 years 11 months ago
2008
Springer
We present a framework for component-based design and scheduling of real-time embedded software. Each component has a clearly specified interface that includes the methods used fo...