Sciweavers

Share
BIRTHDAY
2009
Springer
9 years 3 months ago
Management of UML Clusters
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
Peggy Schmidt, Bernhard Thalheim
BIRTHDAY
2009
Springer
9 years 3 months ago
Ten Reasons to Metamodel ASMs
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
BIRTHDAY
2009
Springer
9 years 3 months ago
Structural Operational Semantics for Weighted Transition Systems
Weighted transition systems are defined, parametrized by a commutative monoid of weights. These systems are further understood as coalgebras for functors of a specific form. A gene...
Bartek Klin
BIRTHDAY
2009
Springer
9 years 3 months ago
Some Notes on Models and Modelling
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
Michael Jackson
BIRTHDAY
2009
Springer
9 years 6 months ago
An ASM-Characterization of a Class of Distributed Algorithms
Conventional computation models restrict to particular data structures to represent states of a computation, e.g. natural numbers, s, stacks, etc. Gurevich's Abstract State Ma...
Andreas Glausch, Wolfgang Reisig
BIRTHDAY
2009
Springer
9 years 6 months ago
On the Evolution of OCL for Capturing Structural Constraints in Modelling Languages
Abstract. The Object Constraint Language (OCL) can be used to capture strucnstraints in the context of the abstract syntax of modelling languages (metamodels) defined in the MOF me...
Dimitrios S. Kolovos, Richard F. Paige, Fiona A. C...
BIRTHDAY
2009
Springer
9 years 6 months ago
Validating and Animating Higher-Order Recursive Functions in B
ProB is an animation and model checking tool for the B Method, which can deal with many interesting specifications. Some specifications, however, contain complicated functions whic...
Michael Leuschel, Dominique Cansell, Michael J. Bu...
BIRTHDAY
2009
Springer
9 years 6 months ago
Towards the Automatic Acquisition of a Valence Dictionary for Polish
This article presents the evaluation of a valence dictionary for Polish produced with the help of shallow parsing techniques and compares those results to earlier results involving...
Adam Przepiórkowski
BIRTHDAY
2009
Springer
9 years 6 months ago
In Praise of Numerical Computation
Chee-Keng Yap
BIRTHDAY
2009
Springer
9 years 9 months ago
Enhancing Tropos with Commitments
This paper motivates a novel metamodel and methodology for specifying cross-organizational business interactions that is based on Tropos. Current approaches for business modeling a...
Pankaj R. Telang, Munindar P. Singh
books