27 search results - page 3 / 6 » Mathematical foundations of software engineering: a roadmap |
100
click to vote
COMPSAC
2010
IEEE
14 years 7 months ago
2010
IEEE
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
77
Voted
PASTE
1998
ACM
15 years 1 months ago
1998
ACM
Concept analysis transforms any relation between ‘lobjects” and “attributes” into a complete lattice. This concept lattice can be studied by algebraic means and offers rem...
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
Software maintenance costs dominate software engineering costs, partly because most such engineering is done manually. Program Transformation tools leverage an engineer-provided b...
100
click to vote
EUROMICRO
2003
IEEE
15 years 2 months ago
2003
IEEE
: The approach of aggregating components into complex software systems is maturing with the rapid development of component technology. How to analyze software reliability from syst...
91
Voted
COMPUTER
2007
14 years 9 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...