Sciweavers

1916 search results - page 144 / 384
» Facilitating Communication in Software Development
Sort
View
GI
2007
Springer
14 years 4 months ago
An Integrated Rule Modeling Framework
Abstract: This paper introduces an Integrated Rule Modeling Framework, which consists of the UML-based rule modeling tool Strelka, rule interchange format R2ML and a number of serv...
Sergey Lukichev, Adrian Giurca, Gerd Wagner
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
13 years 8 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
FAST
2009
13 years 8 months ago
Steps Toward Managing Lineage Metadata in Grid Clusters
The lineage of a piece of data is of utility to a wide range of domains. Several application-specific extensions have been built to facilitate tracking the origin of the output th...
Ashish Gehani, Minyoung Kim, Jian Zhang
SRDS
2000
IEEE
14 years 2 months ago
Optimistic Virtual Synchrony
Group communication systems are powerful building blocks that facilitate the development of fault-tolerant distributed applications. Such systems generally run in an asynchronous ...
Jeremy B. Sussman, Idit Keidar, Keith Marzullo
OOPSLA
2010
Springer
13 years 8 months ago
Collaborative model merging
Models are important artifacts in the software development life-cycle and are often the result of a collaborative activity of multiple developers. When multiple developers modify ...
Maximilian Koegel, Helmut Naughton, Jonas Helming,...