682 search results - page 112 / 137 » Java Implementation Verification Using Reverse Engineering |
VISSOFT
2005
IEEE
14 years 2 months ago
2005
IEEE
Sequence diagrams are commonly used to represent object interactions in software systems. Reverse-engineered sequence diagrams, which are constructed from existing code, are becom...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Object-oriented frameworks are a popular mechanism for building and evolving large applications and software product lines. This paper describes an alternative approach to softwar...
SIGSOFT
2000
ACM
14 years 1 months ago
2000
ACM
In an increasingly popular model of software distribution, software is developed in one computing environment and deployed in other environments by transfer over the internet. Ext...
APN
2004
Springer
14 years 14 days ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
COMSWARE
2006
IEEE
14 years 13 days ago
2006
IEEE
M2MC is a new distributed computing middleware designed to support collaborative applications running on devices connected by broadcast networks. Examples of such networks are wire...