Sciweavers

3387 search results - page 2 / 678
» Automating the Metamodeling Process
Sort
View
ICST
2008
IEEE
14 years 5 months ago
A Metamodel for the Measurement of Object-Oriented Systems: An Analysis using Alloy
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
Jacqueline A. McQuillan, James F. Power
CASE
2011
102views more  CASE 2011»
12 years 10 months ago
Towards an automated verification process for industrial safety applications
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
Kleanthis Thramboulidis, Doaa Soliman, Georg Frey
ADAEUROPE
2007
Springer
14 years 5 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
WWW
2006
ACM
14 years 11 months ago
An ontology for internal and external business processes
In this paper we introduce our multi metamodel process ontology (m3po), which is based on various existing reference models and languages from the workflow and choreography domain...
Armin Haller, Eyal Oren, Paavo Kotinurmi
ECBS
2007
IEEE
149views Hardware» more  ECBS 2007»
14 years 5 months ago
Component-Based System Integration via (Meta)Model Composition
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
Krishnakumar Balasubramanian, Douglas C. Schmidt, ...