201 search results - page 35 / 41 » Representing Java Classes in a Typed Intermediate Language |
OOPSLA
2010
Springer
13 years 7 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
FSEN
2007
Springer
13 years 10 months ago
2007
Springer
In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming. Relationships can be introduced in programming languages either by...
ETFA
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
There is still no standardization of software measures and metrics extraction tools have to be updated frequently to handle the changes. A possible solution is represented by usin...
JOOP
1998
13 years 8 months ago
1998
Design patterns have proven to be very useful for the design of object-oriented systems. The power of design patterns stems from their ability to provide generic solutions to reap...