Sciweavers

409 search results - page 26 / 82
» Approaching a Discrete-Continuous UML: Tool Support and Form...
Sort
View
KBSE
2000
IEEE
15 years 4 months ago
New Visual Interface for Engineering Use Case Models
This paper describes a new approach to visualization of scenarios within the use case-based engineering of functional requirements – the so-called Video Camera metaphor. The Vid...
Nikolai Mansurov, Dmitri Vasura
WOSP
2005
ACM
15 years 5 months ago
From UML to LQN by XML algebra-based model transformations
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
Gordon Ping Gu, Dorina C. Petriu
QUATIC
2007
IEEE
15 years 6 months ago
Model Driven Development of Software Product Lines
Software product lines and related approaches, like software factories, are starting to capture the attention of the industry practitioners. Nevertheless, their adoption outside t...
Alexandre Bragança, Ricardo Jorge Machado
VVEIS
2007
15 years 25 days ago
UML-driven Information Systems and their Formal Integration Validation and Distribution
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
Nasreddine Aoumeur, Gunter Saake
ICIW
2007
IEEE
15 years 6 months ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...