Sciweavers

899 search results - page 10 / 180
» Using Method Engineering for the Construction of Agent-Orien...
Sort
View
ATAL
2008
Springer
13 years 11 months ago
Methods for complex single-mind architecture designs
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
Kristinn R. Thórisson, Gudny Ragna Jonsdott...
CORR
2006
Springer
193views Education» more  CORR 2006»
13 years 9 months ago
On the Design of Agent-Based Systems using UML and Extensions
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
Mihaela Dinsoreanu, Ioan Salomie, Kalman Pusztai
SIGADA
2005
Springer
14 years 2 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
SEMWEB
2007
Springer
14 years 3 months ago
Semi-automatic Ontology Engineering Using Patterns
Many enterprise systems face the same kind of information processing problems that exist on the web in general, and creating semantic solutions often involve constructing an enterp...
Eva Blomqvist
APSEC
2000
IEEE
14 years 1 months ago
Goal based agent-oriented software modeling
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
Kenha Park, Jintae Kim, Sooyong Park