504 search results - page 51 / 101 » Modular System Development with Pullbacks |
148
click to vote
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
174
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper describes the design and use of the Interconnection Network Simulator (ICNS) framework. ICNS is a modular, object-oriented simulation system that has been developed to ...
143
click to vote
AMAST
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. One of the most novel features of Casl, the Common Algebraic Specification Language, is the provision of so-called architectural specifications for describing the modular...
133
click to vote
CAISE
2006
Springer
15 years 9 months ago
2006
Springer
We describe the formal models of two standards related to airport security: one at the international level and the other at the European level. These models are expressed using the...
195
click to vote
APSEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper shows that a proper combination of instance-level aspects and dynamic deployment can be used to enhance an aspect-based access control system with dynamic and fine-grai...