1099 search results - page 11 / 220 » A Formal Approach to Domain-Oriented Software Design Environ... |
109
Voted
HCI
2009
14 years 9 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
IASTEDSE
2004
15 years 1 months ago
2004
Considering the advances of wireless, mobile and positioning technologies and the high requirement of the mobile marketing world for reaching as many customers as possible in a pe...
104
Voted
KBSE
2003
IEEE
15 years 4 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
HYBRID
1992
Springer
15 years 3 months ago
1992
Springer
This paper demonstrates how the extended duration calculus [4] can be used to support the approach to documentation of computer systems presented by in [1]. This approach uses the ...
97
Voted
ICSEA
2009
IEEE
14 years 9 months ago
2009
IEEE
-- Software is increasing in size and complexity. As a direct implication, organizations nd it more difficult to achieve the desired product quality. Process improvement models are...