650 search results - page 43 / 130 » Modeling SPARK systems with UML |
108
click to vote
JOT
2010
14 years 6 months ago
2010
Model composition is a crucial activity in Model Driven Engineering (MDE). It is particularly useful when adopting a multi-modeling approach to analyze and design software systems...
113
click to vote
EEE
2004
IEEE
15 years 3 months ago
2004
IEEE
Web service technologies are becoming increasingly important for integrating systems and services. There is much activity and interest around standardization and usage of web serv...
104
click to vote
SDL
2007
15 years 1 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
IEEESCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Service Oriented Architecture (SOA) is an architectural style to reuse and integrate subsystems in existing systems for designing new applications. Each application is designed in...
101
click to vote
ETFA
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...