8627 search results - page 305 / 1726 » Software Engineering Using RATionale |
167
click to vote
CSEE
2007
Springer
16 years 25 days ago
2007
Springer
Extensive instructional materials have been developed and used for courses in specific software architecture topics offered at the Software Engineering Institute (SEI) at Carnegie...
178
click to vote
AMAST
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Formal certification is based on the idea that a mathematical proof of some property of a piece of software can be regarded as a certificate of correctness which, in pr...
168
click to vote
FASE
2004
Springer
16 years 1 days ago
2004
Springer
The topic of software architecture (SA) based testing has recently raised some interest. Recent work on the topic has used the SA as a reference model for code conformance testing,...
187
click to vote
ECSA
2010
Springer
15 years 4 months ago
2010
Springer
In Software Product Lines variability refers to the definition and utilization of differences between several products. Feature Diagrams (FD) are a well-known approach to express v...
185
click to vote
AOSE
2000
Springer
15 years 11 months ago
2000
Springer
We propose a preliminary methodology for agent-oriented software engineering based on the idea of agent interaction analysis. This approach uses interactions between undetermined a...