Sciweavers

4726 search results - page 242 / 946
» Domain Modeling of Software Process Models
Sort
View
CORR
2010
Springer
130views Education» more  CORR 2010»
15 years 4 months ago
Ontology-based Queries over Cancer Data
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
Alejandra González Beltrán, Ben Tagg...
FASE
2008
Springer
15 years 8 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
SIGPLAN
1998
15 years 6 months ago
Java and Distributed Object Models: An Analysis
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
Marjan Hericko, Matjaz B. Juric, Ales Zivkovic, Iv...
CORR
2007
Springer
132views Education» more  CORR 2007»
15 years 6 months ago
Spreadsheet Engineering: A Research Framework
Spreadsheet engineering adapts the lessons of software engineering to spreadsheets, providing eight principles as a framework for organizing spreadsheet programming recommendation...
Thomas A. Grossman
ICAART
2010
INSTICC
16 years 3 months ago
A Pattern Approach to Modeling the Provider Selection Problem
This article introduces the notion of agreement patterns, which provide a framework for modelling reusable problem solution descriptions for agreement fulfilment. In particular, t...
José Javier Durán, Carlos Angel Igle...