899 search results - page 94 / 180 » Using Method Engineering for the Construction of Agent-Orien... |
UML
1997
Springer
14 years 28 days ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
ACMIDC
2010
14 years 21 days ago
2010
While there is a wealth of information about children’s technology and the design processes used to create it, there is a dearth of information regarding how the children who pa...
WSC
1997
13 years 10 months ago
1997
Earthwork projects involve moving specific amounts of earth from a discrete set of source locations to a discrete set of destinations. Constructors use different methods and equip...
IJCAI
1989
13 years 10 months ago
1989
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs are deductively closed under the rules in the kno...
MICRO
2008
IEEE
13 years 8 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...