1668 search results - page 70 / 334 » Towards a Design Methodology for Decision Support Systems |
CAISE
2006
Springer
14 years 27 days ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
ER
2004
Springer
14 years 2 months ago
2004
Springer
: This paper describes the development of an open source CASE tool, the ArgoCASEGEO, and its modular architecture. The ArgoCASEGEO allows the geographic database modelling based on...
ACMACE
2005
ACM
14 years 2 months ago
2005
ACM
This paper describes the design of SCORPIODROME a mixed reality game for groups of 3-4 children aged 11-14. SCORPIODROME is designed for social gaming; i.e., computer gaming that ...
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...
EUROPAR
2006
Springer
14 years 25 days ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...