358 search results - page 7 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
ECSA
2010
Springer
13 years 6 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...
ARGMAS
2004
Springer
13 years 11 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...
ECIS
2000
13 years 8 months ago
2000
Little research has been conducted to date on the specific topic of the tailoring of systems development methods. Two related research areas--contingency factors research and metho...
FMCAD
2000
Springer
13 years 11 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
DAC
1994
ACM
13 years 11 months ago
1994
ACM
This tutorial introduces several methods of formal hardware veri cation that could potentially have a practical impact on the design process. The measure of success in integrating...