1148 search results - page 90 / 230 » WebML modelling in UML |
UML
2005
Springer
15 years 6 months ago
2005
Springer
Today, model-driven development is getting more sophisticated and can be used for modeling enterprises and developing application systems. Since current interoperability solutions ...
90
Voted
UML
2005
Springer
15 years 6 months ago
2005
Springer
The MoDELS Doctoral Symposium brought together nine doctoral students and five mentors to spend a day discussing student research presentations. A truly international representatio...
107
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
105
click to vote
IWPC
2007
IEEE
15 years 7 months ago
2007
IEEE
Programs that use multi-threaded concurrency are known to be difficult to design. Moreover, research in computer-science education suggests that concurrency and synchronization co...
EDOC
2004
IEEE
15 years 4 months ago
2004
IEEE
Abstract. This paper focuses on how to model and build composite web services from already existing services. We build on the experience in workflow modeling and see if the princip...