25. ASE 2010:
Antwerp, Belgium Charles Pecheur , Jamie Andrews , Elisabetta Di Nitto (Eds.):
ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010.
ACM 2010, ISBN 978-1-4503-0116-9
export record as
dblp key:
Jan Bosch :
Keynote address: toward compositional software engineering.
1-2
Design and architecture
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Natural language processing and generation
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Architecture and product lines
export record as
dblp key:
conf/kbse/VierhauserGERH10 export record as
dblp key:
export record as
dblp key:
Bug finding
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Poster session I
export record as
dblp key:
Heiko Paulheim :
Seamlessly integrated, but loosely coupled: building user interfaces from heterogeneous components.
123-126
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal demos I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/kbse/BruneliereCJM10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/kbse/KhatchadourianM10 export record as
dblp key:
Cordell Green :
Keynote address: the actual implementation will be derived from the formal specification -- KBSA, 1983.
183-184
Model-driven development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Model checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Requirements
export record as
dblp key:
export record as
dblp key:
Mining software repositories
export record as
dblp key:
conf/kbse/SindhgattaNSVR10 export record as
dblp key:
Poster session II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/kbse/KocaguneliGMYK10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/kbse/AroonvatanapornSB10 export record as
dblp key:
conf/kbse/RatanotayanonCS10
Formal demos II
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/kbse/MontrieuxJHYST10 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specification and verification
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
David Lo ,
Shahar Maoz :
Scenario-based and value-based specification mining: better together.
387-396
Testing and debugging
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Reuse and component-based development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software evolution
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Doctoral symposium
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Mihai Balint :
Automatic inference of abstract type behavior.
499-504
export record as
dblp key:
Xiaofan Chen :
Extraction and visualization of traceability relationships between documents and source code.
505-510
export record as
dblp key:
Dominic Letarte :
Model checking graph representation of precise boolean inter-procedural flow analysis.
511-516
export record as
dblp key:
Matt Staats :
The influence of multiple artifacts on the effectiveness of software testing.
517-522
data released under the ODC-BY 1.0 license
