Sciweavers

794 search results - page 65 / 159
» Adopting a Software Component Model in Real-Time Systems Dev...
Sort
View
CC
2010
Springer
135views System Software» more  CC 2010»
15 years 4 months ago
Counting Irreducible Components of Complex Algebraic Varieties
Abstract. We present an algorithm for counting the irreducible components of a complex algebraic variety defined by a fixed number of polynomials encoded as straight-line programs ...
Peter Bürgisser, Peter Scheiblechner
IFIP
1993
Springer
15 years 8 months ago
Repositories for Software Reuse: The Software Information Base
Repositories play a pivotal role in an integrated reuse- based application development environment. Reusing software components implies their persistent storage and maintenance, a...
Panos Constantopoulos, Martin Doerr, Yannis Vassil...
FM
2005
Springer
112views Formal Methods» more  FM 2005»
15 years 9 months ago
Dynamic Component Substitutability Analysis
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, ...
ACSE
1997
ACM
15 years 8 months ago
An immersion model for software engineering projects
Software development projects are an essential component of software engineering courses. They provide the opportunity for students to apply theoretical material and to gain valua...
Neville Churcher, Andy Cockburn
CIT
2007
Springer
15 years 8 months ago
An Aspect Enhanced Method of NFR Modeling in Software Architecture
Existence of crosscutting concerns in software requirements often intensifies complexity of software development. Modeling and analysis of these concerns at software architecture ...
Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, H...