1210 search results - page 112 / 242 » Formal Techniques for Java Programs |
145
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
AspectJ was designed as a seamless aspect-oriented extension of the Java programming language. However, unlike Java, AspectJ does not have a safe type system: an accepted binding ...
140
click to vote
CONSTRAINTS
2002
15 years 2 months ago
2002
It is a challenging task for a team of multiple fast-moving robots to cooperate with each other and to compete with another team in a dynamic, real-time environment. For a robot te...
131
click to vote
ASPDAC
1998
ACM
15 years 6 months ago
1998
ACM
— Test Pattern Generation for combinational circuits entails the identification of primary input assignments for detecting each fault in a set of target faults. An extension to ...
109
click to vote
PDSE
1998
15 years 3 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
119
Voted
ICOST
2007
Springer
15 years 8 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...