828 search results - page 84 / 166 » A New Model of Program Dependences for Reverse Engineering |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
APAL
2005
13 years 9 months ago
2005
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
EMO
2001
Springer
14 years 1 months ago
2001
Springer
This paper examines the road train concept as a new alternative in long-distance freight traffic. The design of such a system is a difficult task since many different and conflicti...
FASE
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
KBSE
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...