Sciweavers

826 search results - page 28 / 166
» A Pragmatic Approach to Formalizing Object-Oriented Modeling...
Sort
View
WSFM
2007
Springer
14 years 2 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
DEXAW
2008
IEEE
124views Database» more  DEXAW 2008»
13 years 9 months ago
Weighting Influence of User Behavior in Software Validation
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
Antonia Bertolino, Emanuela G. Cartaxo, Patr&iacut...
EOR
2006
76views more  EOR 2006»
13 years 8 months ago
Regional development assessment: A structural equation approach
We propose a multivariate statistical framework for regional development assessment based on structural equation modelling with latent variables and show how such methods can be c...
Dario Cziráky, Joze Sambt, Joze Rovan, Jaks...
ICECCS
2006
IEEE
90views Hardware» more  ICECCS 2006»
14 years 2 months ago
A Type System for the Relational Calculus of Object Systems
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
Liang Zhao, Xiangpeng Zhao, Quan Long, Zongyan Qiu
IGIS
1994
118views GIS» more  IGIS 1994»
14 years 3 days ago
Surface Modelling with Guaranteed Consistency - An Object-Based Approach
There have been many interpolation methods developed over the years, each with their own problems. One of the biggest limitations in many applications is the non-correspondence of...
Christopher M. Gold, Thomas Roos