958 search results - page 95 / 192 » Model Transformation Languages and Their Implementation by B... |
119
click to vote
ATVA
2010
Springer
14 years 11 months ago
2010
Springer
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
152
click to vote
ITCC
2002
IEEE
15 years 6 months ago
2002
IEEE
KBS Adaptive Hyperbook is a framework designed for modeling, organizing, and maintaining distributed hypermedia resources on the Web with the purpose of supporting Web-based dista...
116
click to vote
IEEEARES
2006
IEEE
15 years 7 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
121
click to vote
TOOLS
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
113
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Formal specifications are more useful and easier to develop if they are executable. In this work, we describe a system for executing specifications written in the Java Modeling Lan...