4257 search results - page 336 / 852 » The Logical Modularity of Programs |
169
click to vote
PASTE
1998
ACM
15 years 11 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...
183
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Distributed Software Engineering (DSE) concepts in Computer Science (or Engineering) Degrees are commonly introduced using a hands-on approach mainly consisting of teaching a part...
152
click to vote
SEKE
2005
Springer
16 years 4 days ago
2005
Springer
Current aspect-oriented programming (AOP) enhances maintainability and comprehensibility by modularizing concerns crosscutting multiple components but lacks the support for the hie...
200
click to vote
VMCAI
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. We present a generic framework for the automatic and modular inference of sound class invariants for class-based object oriented languages. The idea is to derive a sound ...
148
click to vote
ICSE
2001
IEEE-ACM
15 years 11 months ago
2001
IEEE-ACM
Software maintenanceand evolutionare the dominantactivities in the software lifecycle. Modularization can separate design decisions and allow them to be independently evolved, but...