25 search results - page 4 / 5 » PAOLA - Program Analysis of Object-Oriented Languages |
JUCS
2002
13 years 5 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
UML
2001
Springer
13 years 10 months ago
2001
Springer
UML is the de-facto standard language for Object-Oriented analysis and design of information systems. Persistent storage and extraction of data in such systems is supported by dat...
APN
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Software performance engineering deals with the consideration of quantitative analysis of the behaviour of software systems from the early development phases in the life ...
ECIS
2003
13 years 7 months ago
2003
This paper reports on research-in-progress designed to understand adoption and diffusion of e-learning (EL) among small and medium-sized enterprises (SMEs) in northern Italy. The ...
DEXAW
2006
IEEE
13 years 12 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...