504 search results - page 51 / 101 » Modular System Development with Pullbacks |
113
click to vote
OOPSLA
2004
Springer
15 years 8 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...
130
click to vote
ANSS
2002
IEEE
15 years 7 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 ...
104
Voted
AMAST
1998
Springer
15 years 6 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...
CAISE
2006
Springer
15 years 6 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...
142
click to vote
APSEC
2005
IEEE
15 years 4 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...