1012 search results - page 96 / 203 » Towards Component-Based Software Engineering |
WWW
2003
ACM
15 years 10 months ago
2003
ACM
The growing use of ontologies in applications creates the need for an infrastructure that allows developers to more easily combine different software modules like ontology stores,...
AMAST
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
ICSE
2007
IEEE-ACM
15 years 4 months ago
2007
IEEE-ACM
Given the inevitable trends towards increasing complexity of software-intensive systems, many future software-intensive systems will be ultra-large scale (ULS). Radical scale-up o...
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
Short development life cycles, the importance of timeto-market and fast changes in technology influence the requirements engineering process. Requirements are exposed to changes d...
APCCM
2008
14 years 11 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...