1856 search results - page 175 / 372 » Formal Dialectic Specification |
141
Voted
ASWEC
2006
IEEE
15 years 10 months ago
2006
IEEE
Combining third party software components to customer-individual application systems requires first, standardized specification techniques for describing the technical as well as ...
143
click to vote
AOSE
2005
Springer
15 years 10 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
140
click to vote
ESEC
1997
Springer
15 years 8 months ago
1997
Springer
The idea of a combined reference model- and view-based specification approach has been proposed recently in the software engineering community. In this paper we present a specifica...
114
click to vote
ACSD
2004
IEEE
15 years 8 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
109
click to vote
AUSDM
2006
Springer
15 years 8 months ago
2006
Springer
During knowledge acquisition multiple alternative potential rules all appear equally credible. This paper addresses the dearth of formal analysis about how to select between such a...