32. ICSE 2010:
Cape Town, South Africa Jeff Kramer , Judith Bishop , Premkumar T. Devanbu , Sebastián Uchitel (Eds.):
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010.
ACM 2010, ISBN 978-1-60558-719-6
Software engineering in practice:
Quality of service
export record as
dblp key:
export record as
dblp key:
Software engineering in practice:
Certification, assessment & governance
export record as
dblp key:
Frances Paulisch ,
Peter Zimmerer :
A role-based qualification and certification program for software architects: an experience report from Siemens.
21-27
export record as
dblp key:
export record as
dblp key:
Yi Wang ,
Min Zhang :
Penalty policies in professional software development practice: a multi-method field study.
39-47
Software engineering in practice:
Model-driven development
export record as
dblp key:
export record as
dblp key:
Andreas Kornstädt ,
Eugen Reiswich :
Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development.
59-67
export record as
dblp key:
Software engineering in practice:
Quality assurance I:
Static and dynamic analysis
export record as
dblp key:
conf/icse/JurgensDFHSWDS10
export record as
dblp key:
export record as
dblp key:
Software engineering in practice:
Quality assurance II:
Defect modeling, prediction & testing
export record as
dblp key:
conf/icse/ChiappiniCMRRSTV10
export record as
dblp key:
export record as
dblp key:
Software engineering in practice:
Innovation drivers & cost models
export record as
dblp key:
export record as
dblp key:
New ideas and emerging results
export record as
dblp key:
Naeem Esfahani ,
Sam Malek :
Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems.
159-162
export record as
dblp key:
conf/icse/CeccarelliCCP10
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:
export record as
dblp key:
Frank Salger ,
Gregor Engels :
Knowledge transfer in global software development: leveraging acceptance test case specifications.
211-214
export record as
dblp key:
export record as
dblp key:
Zhe Chen ,
Gilles Motet :
Towards better support for the evolution of safety requirements via the model monitoring approach.
219-222
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal research demos:
Collaborative software development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal research demos:
Software maintenance
export record as
dblp key:
conf/icse/DeissenboeckHHJ10
export record as
dblp key:
export record as
dblp key:
Formal research demos:
Software components and reuse
export record as
dblp key:
conf/icse/GrechanikFXMPC10a
export record as
dblp key:
Alex Loh ,
Miryung Kim :
LSdiff: a program differencing tool to identify systematic structural differences.
263-266
export record as
dblp key:
Formal research demos:
Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal research demos:
Software development environments
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/BragdonRZKCKCAL10a
Informal research demos
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:
James H. Hill :
CUTS: a system execution modeling tool for realizing continuous system integration testing.
309-310
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:
Software engineering in South Africa
export record as
dblp key:
Doctoral symposium:
Early phase
export record as
dblp key:
export record as
dblp key:
Nicholas R. May :
Dynamic service quality and resource negotiation for high-availability service-oriented systems.
327-328
export record as
dblp key:
Chris Lewis :
Zenet: generating and enforcing real-time temporal invariants.
329-330
export record as
dblp key:
export record as
dblp key:
Fabiana Gomes Marinho :
A proposal for consistency checking in dynamic software product line models using OCL.
333-334
export record as
dblp key:
Guido de Caso :
Behavioural validation of software engineering artefacts.
335-336
export record as
dblp key:
export record as
dblp key:
Indika Meedeniya :
An incremental methodology for quantitative software architecture evaluation with probabilistic models.
339-340
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:
Claudia Susie C. Rodrigues :
VisAr3D: an approach to software architecture teaching based on virtual and augmented reality.
351-352
export record as
dblp key:
export record as
dblp key:
John Brøndum :
Software architecture for systems of software intensive systems (S3): the concepts and detection of inter-system relationships.
355-356
Doctoral symposium:
Mature phase
export record as
dblp key:
K. S. May Chan :
Formal methods for web services: a taxonomic approach.
357-360
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Anders Mattsson :
Automatic enforcement of architectural design rules.
369-372
export record as
dblp key:
Lucas Cordeiro :
SMT-based bounded model checking for multi-threaded software in embedded systems.
373-376
export record as
dblp key:
Lile Hattori :
Enhancing collaboration of multi-developer projects with synchronous changes.
377-380
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Christoph Treude :
The role of emergent knowledge structures in collaborative software development.
389-392
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel Popescu :
Impact analysis for event-based components and systems.
401-404
export record as
dblp key:
Kleinner Farias :
Empirical evaluation of effort on composing design models.
405-408
export record as
dblp key:
export record as
dblp key:
Marcus Roy :
Towards end-user enabled web service consumption for Mashups.
413-416
export record as
dblp key:
Feifei Ma :
Constraint solving techniques for software testing and analysis.
417-420
export record as
dblp key:
Haroon Malik :
A methodology to support load test analysis.
421-424
Emerging faculty symposium
export record as
dblp key:
Workshop introductions
export record as
dblp key:
conf/icse/BajracharyaKY10
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icse/DittrichSKSSW10
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/icse/ChengLGGLMMPT10
export record as
dblp key:
conf/icse/EasterbrookMZ10
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/icse/DubinskyKFBCP10
export record as
dblp key:
export record as
dblp key:
Tutorials
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:
Hakan Erdogmus :
Cost effectiveness analysis in software engineering.
479-480
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Daniel L. Moody :
The "physics" of notations: a scientific approach to designing visual notations in software engineering.
485-486
export record as
dblp key:
export record as
dblp key:
Donald G. Firesmith :
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary.
489-490
export record as
dblp key:
export record as
dblp key:
Roel Wieringa :
Design science methodology: principles and practice.
493-494
export record as
dblp key:
export record as
dblp key:
Philippe Kruchten :
Software architecture and agile software development: a clash of two cultures?
497-498
export record as
dblp key:
conf/icse/DeissenboeckHJ10
export record as
dblp key:
export record as
dblp key:
Student research competition
export record as
dblp key:
Guido de Caso :
Behavioural validation of software engineering artefacts.
505-506
export record as
dblp key:
Tayfun Elmas :
QED: a proof system based on reduction and abstraction for the static verification of concurrent software.
507-508
export record as
dblp key:
Lode Hoste :
Software engineering abstractions for the multi-touch revolution.
509-510
export record as
dblp key:
Adrian Schröter :
Predicting build outcome with developer interaction in Jazz.
511-512
export record as
dblp key:
export record as
dblp key:
Max Goldman :
Test-driven roles for pair programming.
515-516
export record as
dblp key:
Ivano Malavolta :
Providing support for creating next generation software architecture languages.
517-518
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Thomas Fritz :
Staying aware of relevant feeds in context.
523-524
export record as
dblp key:
Andrew Bragdon :
Developing and evaluating the code bubbles metaphor.
525-526
export record as
dblp key:
export record as
dblp key:
Marco D'Ambros :
Commit 2.0: enriching commit comments with visualization.
529-530
export record as
dblp key:
Daniel Popescu :
Helios: impact analysis for event-based components and systems.
531-532