3311 search results - page 152 / 663 » Deductive Object Programming |
JOT
2006
15 years 1 months ago
2006
An important aim in the design of the Timor programming language is to provide programmers with features which enable them to build complex systems from components which can be de...
112
Voted
ICSE
2007
IEEE-ACM
16 years 1 months ago
2007
IEEE-ACM
We propose a mechanism for object access control which is based on the UML. Specifically, we propose use of ownership and immutability constraints on UML associations and verifica...
KBSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
104
Voted
ICSM
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a human–guided automated approach to refactoring object oriented programs to the aspect oriented paradigm. The approach is based upon the iterative applicati...
125
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
The Object-Oriented Petri Nets (OOPN) based integrated solution to a grid-based application system modeling and enacting is proposed in this paper for simplifying designs and devel...