Sciweavers

7209 search results - page 1238 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
ISTAR
2008
15 years 1 months ago
Ontological Foundations for Agent-Oriented Organizational Modeling
Abstract. This paper reports on our work on three complementary directions, aimed at developing: (i) a theoretical framework named UFO (Unified Foundational Ontology) for (re) desi...
Renata S. S. Guizzardi, Giancarlo Guizzardi, Jo&at...
WICSA
2008
15 years 1 months ago
Supporting the Evolution of Product Line Architectures with Variability Model Fragments
Evolution is a permanent challenge in product line engineering. Reusable assets such as software components or documents evolve continuously due to new customer requirements or te...
Deepak Dhungana, Thomas Neumayer, Paul Grünba...
SERP
2003
15 years 1 months ago
Automating Feature-Oriented Domain Analysis
Feature modeling is commonly used to capture the commonalities and variabilities of systems in a domain during Domain Analysis. The output of feature modeling will be some reusabl...
Fei Cao, Barrett R. Bryant, Carol C. Burt, Zhishen...
106
Voted
IWFM
1998
125views Formal Methods» more  IWFM 1998»
15 years 1 months ago
Mathematics for Formal Methods, a Proposal for Education Reform
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
Mícheál Mac an Airchinnigh
89
Voted
ISOLA
2010
Springer
14 years 11 months ago
Seamless Model-Driven Development Put into Practice
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
Wolfgang Haberl, Markus Herrmannsdoerfer, Stefan K...
« Prev « First page 1238 / 1442 Last » Next »