3021 search results - page 567 / 605 » A Domain Engineering Approach for Situational Method Enginee... |
158
click to vote
CODES
2005
IEEE
15 years 11 months ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
164
click to vote
ISORC
2005
IEEE
15 years 11 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...
176
click to vote
SEUS
2005
IEEE
15 years 11 months ago
2005
IEEE
In the last years the number of electronic control systems has increased significantly. In order to stay competitive more and more functionality is integrated into more and more p...
175
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Whilst tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program code. AUML dev...
145
click to vote
SOCO
2005
Springer
15 years 11 months ago
2005
Springer
Software systems that rely on the component paradigm build new components by assembling existing prefabricated components. Most currently available IDEs support graphical component...