Sciweavers

5634 search results - page 129 / 1127
» About Abstract Classes
Sort
View
98
Voted
APSEC
2002
IEEE
15 years 4 months ago
Design of Rules for Transforming UML Sequence Diagrams into Java code
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of sys...
Mathupayas Thongmak, Pornsiri Muenchaisri
AIM
2005
14 years 11 months ago
Description Logics and Planning
This paper surveys previous work on combining planning techniques with expressive representations of knowledge in description logics to reason about tasks, plans, and goals. Descr...
Yolanda Gil
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 2 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget
CHARME
2005
Springer
120views Hardware» more  CHARME 2005»
15 years 4 months ago
How Thorough Is Thorough Enough?
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
Arie Gurfinkel, Marsha Chechik
OOPSLA
1997
Springer
15 years 3 months ago
Composite Design Patterns
ed Abstract Factory is yet another. When patterns cooperate, the cooperation itself can give rise to problems, contexts, trade-offs, and consequences. For instance, should a Visito...
Dirk Riehle