Sciweavers

553 search results - page 13 / 111
» Phoenix Tool: A Support to Semantic Learning Model
Sort
View
ESWS
2007
Springer
15 years 3 months ago
WSMO Studio - A Semantic Web Services Modelling Environment for WSMO
The Web Service Modelling Ontology (WSMO) provides a unique, highly innovative perspective onto the Semantic Web Services domain. Robust and easy-to-use tools play crucial role for...
Marin Dimitrov, Alex Simov, Vassil Momtchev, Mihai...
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
15 years 3 months ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
MODELLIERUNG
2004
14 years 10 months ago
CASE Support and Model-Based Development
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
Bernhard Schätz, Jan Romberg, Oscar Slotosch,...
CADE
2004
Springer
15 years 9 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
ESWS
2008
Springer
14 years 11 months ago
The Web Service Modeling Toolkit
The development of software is not an easy task and the availability of adequate tool support is an important step towards reducing the effort that a developer must put into the So...
Mick Kerrigan, Adrian Mocan