1606 search results - page 52 / 322 » XML-based programming language modeling: An approach to soft... |
153
Voted
IROS
2007
IEEE
16 years 14 days ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
143
Voted
ER
2009
Springer
16 years 22 days ago
2009
Springer
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
166
Voted
ADBIS
2005
Springer
15 years 11 months ago
2005
Springer
A major application area of information systems technology and multimedia content management is that of support systems for engineering processes. This includes the particularly im...
176
Voted
SAC
2006
ACM
16 years 3 days ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
150
Voted
SIGADA
2005
Springer
15 years 11 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...