1837 search results - page 193 / 368 » Architecture = Abstractions over Software |
133
Voted
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
122
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
According to Parnas's information hiding principle and Baldwin and Clark's design rule theory, the key step to decomposing a system into modules is to determine the desi...
102
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
129
Voted
ICWL
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. The Agile Teaching/Learning Methodology (ATLM) is a teaching/learning methodology designed for higher-education based on the best practices and ideas from the field of so...
131
click to vote
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
In software product families, the full benefit of reuse can only be achieved if traceability of requirements to architecture, components and further down to source code is support...