15635 search results - page 428 / 3127 » A Designing Model of XML-Dataweb |
154
click to vote
ITRUST
2005
Springer
16 years 9 days ago
2005
Springer
ST-Tool is a graphical tool integrating an agent-oriented requirements engineering methodology with tools for the formal analysis of models. Essentially, the tool allows designers ...
186
click to vote
IWSAS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model-Integrated Computing is a proven technology for designing and implementing complex software systems. Making the designtime models available at run-time benefits the...
276
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
218
click to vote
SPATIALCOGNITION
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In this paper we apply a formal ontological framework in order to deconstruct two prominent approaches to navigation from cognitive robotics, the Spatial Semantic Hierarc...
197
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
This paper explains the structure of a project repository, which enables you to trace business processes and business rules to the architecture and design of the software system. T...