1005 search results - page 54 / 201 » Formal Software Development in MAYA |
125
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
167
click to vote
RWEB
2010
Springer
15 years 2 months ago
2010
Springer
Ontologies constitute formal models of some aspect of the world that may be used for drawing interesting logical conclusions even for large models. Software models capture relevant...
140
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
161
click to vote
QOSA
2010
Springer
15 years 8 months ago
2010
Springer
Critical properties of software systems, such as reliability, should be considered early in the development, when they can govern crucial architectural design decisions. A number o...
145
click to vote
SEKE
2009
Springer
15 years 9 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...