826 search results - page 44 / 166 » A Pragmatic Approach to Formalizing Object-Oriented Modeling... |
CPAIOR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
EDOC
2007
IEEE
14 years 2 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
ICALT
2003
IEEE
14 years 1 months ago
2003
IEEE
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...
ISOLA
2004
Springer
14 years 1 months ago
2004
Springer
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...
FDL
2005
IEEE
14 years 1 months ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...