6201 search results - page 351 / 1241 » Implementation of Axiomatic Language |
275
click to vote
APLAS
2005
ACM
16 years 11 days ago
2005
ACM
Message Sequence Charts (MSCs) are a graphical language for the description of scenarios in terms of message exchanges between communicating components in a distributed environment...
172
click to vote
AMS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. The implementation of high-performance robot controllers for complex control tasks such as playing autonomous robot soccer is tedious, errorprone, and a never ending prog...
172
click to vote
CAISE
2005
Springer
16 years 10 days ago
2005
Springer
Associations are a widely used construct of object-oriented languages. However, the meaning of associations for conceptual modelling of application domains remains unclear. This pa...
137
click to vote
ECOOP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Dependency injection is a hot topic among industrial developers using component frameworks. This paper first mentions that dependency injection and aspect-oriented progr...
161
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
This paper focuses on the usability of the PINPAS tool. The PINPAS tool is an instruction-level interpreter for smartcard assembler languages, augmented with facilities to study si...