Sciweavers

5343 search results - page 33 / 1069
» Keyword programming in java
Sort
View
AAMAS
2006
Springer
13 years 7 months ago
Verifying Multi-agent Programs by Model Checking
Abstract. This paper gives an overview of our recent work on an approach to verifying multi-agent programs. We automatically translate multi-agent systems programmed in the logic-b...
Rafael H. Bordini, Michael Fisher, Willem Visser, ...
POS
2000
Springer
13 years 11 months ago
Implementing Orthogonally Persistent Java
Orthogonally persistent Java combines the power of abstraction over persistence with Java's rich programming environment. In this paper we report our experience in designing a...
Alonso Marquez, Stephen Blackburn, Gavin Mercer, J...
AVI
2004
13 years 9 months ago
Generative Programming of graphical user interfaces
Generative Programming (GP) is a new paradigm that allows automatic creation of entire software family, using the configuration of elementary and reusable components. GP can be pr...
Max Schlee, Jean Vanderdonckt
IWPC
2000
IEEE
14 years 2 days ago
Automated Quality Analysis of Component Software for Embedded Systems
The Java programming language has gained increasing importance for the development of embedded systems. To be cost efficient, such systems have to cope with significant hardware...
Jens H. Jahnke, Jörg Niere, Jörg P. Wads...
OOPSLA
2005
Springer
14 years 1 months ago
Interaction-based programming with classages
This paper presents Classages, a novel interaction-centric object-oriented language. Classes and objects in Classages are fully encapsulated, with explicit interfaces for all inte...
Yu David Liu, Scott F. Smith