Sciweavers

1597 search results - page 57 / 320
» A Design Method for Object-Oriented Programming
Sort
View
ECOOP
2004
Springer
15 years 3 months ago
Parametric Aspects: A Proposal
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...
Jordi Alvarez Canal
ENTCS
2008
153views more  ENTCS 2008»
14 years 10 months ago
Observable Behavior of Dynamic Systems: Component Reasoning for Concurrent Objects
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in dis...
Johan Dovland, Einar Broch Johnsen, Olaf Owe
UAI
1996
14 years 11 months ago
Network Engineering for Complex Belief Networks
Developing a large belief network, like any large system, requires systems engineering to manage the design and construction process. We propose that network engineering follow a ...
Suzanne M. Mahoney, Kathryn B. Laskey
MEMOCODE
2003
IEEE
15 years 3 months ago
Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
José Meseguer