Sciweavers

317 search results - page 14 / 64
» Frameworks: the future of formal software development
Sort
View
DILS
2005
Springer
14 years 1 months ago
Factors Affecting Ontology Development in Ecology
Few ontologies in the ecological domain exist, but their development can take advantage of gained experience in other domains and from existing modeling practices in ecology. Taxon...
C. Maria Keet
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 24 days ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
JSW
2008
105views more  JSW 2008»
13 years 7 months ago
Formal Models for Architecture Aspects and Their Weaving
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
Chunhua Yang, Haiyang Wang
TAMODIA
2008
13 years 9 months ago
MuiCSer: A Process Framework for Multi-disciplinary User-Centred Software Engineering Processes
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
Mieke Haesen, Karin Coninx, Jan Van den Bergh, Kri...
ICECCS
1999
IEEE
83views Hardware» more  ICECCS 1999»
13 years 12 months ago
A Framework for Analyzing Configurations of Deployable Software Systems
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
Dennis Heimbigner, Richard S. Hall, Alexander L. W...