Sciweavers

2027 search results - page 202 / 406
» Process Support for Tools Interoperability
Sort
View
RE
2005
Springer
15 years 12 months ago
Model-Driven Visual Requirements Engineering
This paper describes the requirements handling process of a set of research projects, the ATHENA IP, and how this process is supported by modeling and visualizing requirement stru...
Helge Grenager Solheim, Frank M. Lillehagen, Sobah...
FM
1998
Springer
153views Formal Methods» more  FM 1998»
15 years 10 months ago
VSE: Controlling the Complexity in Formal Software Developments
We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...
Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...
ECTEL
2007
Springer
16 years 18 days ago
EXPLAIN: Integrated Content Development by Means of a Web-based Authoring Management Platform
The poster introduces EXPLAIN, a project funded by the German Federal Ministry of Economy and Technology. The vision of EXPLAIN is to reduce efforts for content projects by means o...
Pavlina Chikova, Katrina Leyking, Peter Loos, Gunn...
SIGMOD
2009
ACM
143views Database» more  SIGMOD 2009»
16 years 6 months ago
Data integration in mashups
Mashup is a new application development approach that allows users to aggregate multiple services to create a service for a new purpose. Even if the Mashup approach opens new and ...
Giusy Di Lorenzo, Hakim Hacid, Hye-Young Paik, Bou...
BXML
2004
15 years 7 months ago
Experiences Using Semantic Web Technologies to Realize an Information Retrieval System for Pathology
: Building the Semantic Web requires the use of powerful tools to create, manage and extend domain ontologies represented with Semantic Web languages. Though many tools have been a...
Elena Paslaru Bontas, Sebastian Tietz, Thomas Schr...