6581 search results - page 36 / 1317 » Formalizing Design Patterns |
110
click to vote
FLAIRS
2008
15 years 4 months ago
2008
The paper discusses a proposal of a formal description of ARD+ a conceptual design and hierarchical refinement method for knowledge-based systems. Formalization of method syntax i...
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper proposes a formal framework for the design of real-time shared data-space systems. The proposed method separates the concerns of functionality, behavior, and timing. Th...
FMCAD
2009
Springer
15 years 9 months ago
2009
Springer
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
133
click to vote
FM
1991
Springer
15 years 6 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...