687 search results - page 44 / 138 » Specification and Verification of Model Transformations Usin... |
90
Voted
JLP
2008
15 years 15 days ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
EUROMICRO
1996
IEEE
15 years 4 months ago
1996
IEEE
SHE (Software/Hardware Engineering) is an objectoriented analysis, specification and design method for complex reactive hardware/software systems. SHE is based on the formal speci...
120
click to vote
SIGMOD
2008
ACM
15 years 5 hour ago
2008
ACM
The First International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008), affiliated with the 11th International Conference on Model Drive...
86
Voted
WSC
1998
15 years 1 months ago
1998
This paper presents Timed Petri Nets (TPN) as an analytical approach for verification of computerized queueing network simulation models at steady state. It introduces a generic a...
111
click to vote
ICWE
2005
Springer
15 years 6 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...