6201 search results - page 60 / 1241 » Implementation of Axiomatic Language |
150
Voted
ECOOP
2004
Springer
15 years 9 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
108
Voted
ACSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toyâ...
135
click to vote
JUCS
2008
15 years 3 months ago
2008
Abstract: Extending AspectJ to experiment with new language features can be cumbersome, even with an extensible implementation. Often, a language designer only needs a rapid protot...
135
Voted
OMER
2001
15 years 5 months ago
2001
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
139
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper studies the relation between agent specification and agent programming languages. In particular, it shows that an agent programming language obeys some desirable proper...