8083 search results - page 57 / 1617 » A Formalization of Software Architecture |
104
Voted
ICSE
2001
IEEE-ACM
15 years 5 months ago
2001
IEEE-ACM
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
100
Voted
COMPSAC
1997
IEEE
15 years 4 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
113
click to vote
JLP
2006
15 years 14 days ago
2006
One of the goals of software engineering is to provide what is necessary to write relevant, legible, useful descriptions of the systems to be developed, which will be the basis of...
105
Voted
TCAD
2008
15 years 12 days ago
2008
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
94
Voted
SBCCI
2004
ACM
15 years 6 months ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...