default search action
32nd ICSE 2010: Cape Town, South Africa
- Jeff Kramer, Judith Bishop, Premkumar T. Devanbu, Sebastián Uchitel:
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
Software engineering in practice: Quality of service
- Nikolaus Huber, Steffen Becker, Christoph Rathfelder, Jochen Schweflinghaus, Ralf H. Reussner
:
Performance modeling in industry: a case study on storage virtualization. 1-10 - Maayan Goldstein, Onn Shehory
Improving throughput via slowdowns. 11-20
Software engineering in practice: Certification, assessment & governance
- Frances Paulisch, Peter Zimmerer:
A role-based qualification and certification program for software architects: an experience report from Siemens. 21-27 - Frank Salger, Gregor Engels, Alexander Hofmann:
Assessments in global software development: a tailorable framework for industrial projects. 29-38 - 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
- Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree:
A modeling language's evolution driven by tight interaction between academia and industry. 49-58 - Andreas Kornstädt, Eugen Reiswich:
Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development. 59-67 - Mickael Clavreul, Olivier Barais, Jean-Marc Jézéquel:
Integrating legacy systems with MDE. 69-78
Software engineering in practice: Quality assurance I: Static and dynamic analysis
- Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner
Can clone detection support quality assessments of requirements specifications? 79-88 - Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath:
Comprehending module dependencies and sharing. 89-98 - Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran:
Making defect-finding tools work for you. 99-108
Software engineering in practice: Quality assurance II: Defect modeling, prediction & testing
- Angelo Chiappini, Alessandro Cimatti
Formalization and validation of a subset of the European Train Control System. 109-118 - Michael Kläs, Frank Elberzhager, Jürgen Münch
Transparent combination of expert and measurement data for defect prediction: an industrial case study. 119-128 - Alex Groce, Klaus Havelund, Margaret H. Smith:
From scripts to specifications: the evolution of a flight software testing effort. 129-138
Software engineering in practice: Innovation drivers & cost models
- K. Eric Harper, Jiang Zheng, Shakeel Mahate:
Experiences in initiating concurrency software research efforts. 139-148 - S. Jeromy Carrière, Rick Kazman, Ipek Ozkaya
A cost-benefit framework for making architectural decisions in a business context. 149-157
New ideas and emerging results
- Naeem Esfahani, Sam Malek:
Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems. 159-162 - Michele Ceccarelli
An eclectic approach for change impact analysis. 163-166 - Yuepu Guo, Carolyn B. Seaman, Nico Zazworka
Domain-specific tailoring of code smells: an empirical study. 167-170 - Ivonne Erfurth, Wilhelm R. Rossak:
CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects. 171-174 - N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar:
Can we certify systems for freedom from malware. 175-178 - Ivo Krka, Yuriy Brun
Using dynamic execution traces and program invariants to enhance behavioral model inference. 179-182 - Juergen Musil
Synthesized essence: what game jams teach about prototyping of new software products. 183-186 - Gul Calikli
An analysis of the effects of company culture, education and experience on confirmation bias levels of software developers and testers. 187-190 - Macneil Shonle, Timothy T. Yuen:
Compose & conquer: modularity for end-users. 191-194 - Neha Rungta, Eric Mercer:
Slicing and dicing bugs in concurrent programs. 195-198 - Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony Finkelstein, Emmanuel Letier:
Requirements reflection: requirements as runtime entities. 199-202 - Arie van Deursen
Adinda: a knowledgeable, browser-based IDE. 203-206 - Robert DeLine, Kael Rowan:
Code canvas: zooming towards better development environments. 207-210 - Frank Salger, Gregor Engels:
Knowledge transfer in global software development: leveraging acceptance test case specifications. 211-214 - Ishtiaque Hussain, Christoph Csallner:
Dynamic symbolic data structure repair. 215-218 - Zhe Chen, Gilles Motet:
Towards better support for the evolution of safety requirements via the model monitoring approach. 219-222 - Sonia Haiduc, Jairo Aponte, Andrian Marcus
Supporting program comprehension with source code summarization. 223-226 - Nam H. Pham, Tung Thanh Nguyen
Detecting recurring and similar software vulnerabilities. 227-230 - Christoph Treude
Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories. 231-234
Formal research demos: Collaborative software development
- Lile Hattori, Michele Lanza:
Syde: a tool for collaborative software development. 235-238 - Soo Ling Lim, Daniele Quercia, Anthony Finkelstein:
StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis. 239-242 - Jae Young Bang, Daniel Popescu, George Edwards, Nenad Medvidovic, Naveen N. Kulkarni, Girish M. Rama, Srinivas Padmanabhuni:
CoDesign: a highly extensible collaborative software modeling framework. 243-246
Formal research demos: Software maintenance
- Florian Deissenboeck, Lars Heinemann, Benjamin Hummel, Elmar Jürgens:
Flexible architecture conformance assessment with ConQAT. 247-250 - Steven P. Reiss:
Visualizing the Java heap. 251-254 - Trevor Savage, Meghan Revelle, Denys Poshyvanyk
FLAT3: feature location and textual tracing tool. 255-258
Formal research demos: Software components and reuse
- Mark Grechanik
Exemplar: EXEcutable exaMPLes ARchive. 259-262 - Alex Loh, Miryung Kim:
LSdiff: a program differencing tool to identify systematic structural differences. 263-266 - Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel:
Legacy component integration by the Fujaba real-time tool suite. 267-270
Formal research demos: Testing
- Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang:
BPGen: an automated breakpoint generator for debugging. 271-274 - Chris Lewis, Jim Whitehead:
Runtime repair of software faults using event-driven monitoring. 275-280 - Luciano Baresi
TestFul: automatic unit-test generation for Java classes. 281-284
Formal research demos: Software development environments
- Norbert Seyff, Florian Graf, Neil A. M. Maiden:
End-user requirements blogging with iRequire. 285-288 - Mircea Lungu, Michele Lanza:
The small project observatory: a tool for reverse engineering software ecosystems. 289-292 - Andrew Bragdon, Steven P. Reiss, Robert C. Zeleznik, Suman Karumuri, William Cheung, Joshua Kaplan, Christopher Coleman, Ferdi Adeputra, Joseph J. LaViola Jr.:
A research demonstration of code bubbles. 293-296
Informal research demos
- Esteban Robles Luna, Juan Burella, Julián Grigera
A flexible tool suite for change-aware test-driven development of web applications. 297-298 - Markus von Detten, Matthias Meyer, Dietrich Travkin:
Reverse engineering with the reclipse tool suite. 299-300 - Domenico Bianculli
SOABench: performance evaluation of service-oriented middleware made easy. 301-302 - Hui Song, Gang Huang, Franck Chauvel, Yanchun Sun, Hong Mei:
SM@RT: representing run-time system data as MOF-compliant models. 303-304 - Pierre Genevès, Nabil Layaïda:
Eliminating dead-code from XQuery programs. 305-306 - Maximilian Koegel, Jonas Helming:
EMFStore: a model repository for EMF models. 307-308 - James H. Hill:
CUTS: a system execution modeling tool for realizing continuous system integration testing. 309-310 - Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea:
SSG: a model-based development environment for smart, security-aware GUIs. 311-312 - Jonas Helming, Maximilian Koegel:
Managing iterations with UNICASE. 313-314 - Yoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, Hong Mei:
JDF: detecting duplicate bug reports in Jazz. 315-316 - Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili:
Using invariant functions and invariant relations to compute loop functions. 317-318 - Tuan-Anh Doan, David Lo
LM: a miner for scenario-based specifications. 319-320 - Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè
RAW: runtime automatic workarounds. 321-322
Software engineering in South Africa
- Derrick G. Kourie, Bruce W. Watson:
Software engineering in South Africa. 323-324
Doctoral symposium: Early phase
- Christopher Staite:
Portable secure identity management for software engineering. 325-326 - Nicholas R. May
Dynamic service quality and resource negotiation for high-availability service-oriented systems. 327-328 - Chris Lewis:
Zenet: generating and enforcing real-time temporal invariants. 329-330 - Andréa Magalhães Magdaleno:
Balancing collaboration and discipline in software development processes. 331-332 - Fabiana Gomes Marinho:
A proposal for consistency checking in dynamic software product line models using OCL. 333-334 - Guido de Caso:
Behavioural validation of software engineering artefacts. 335-336 - Omar Bahy Badreddin:
Umple: a model-oriented programming language. 337-338 - Indika Meedeniya:
An incremental methodology for quantitative software architecture evaluation with probabilistic models. 339-340 - Xiaorui Zhang:
Synthesize software product line. 341-342 - W. L. Ntshinga:
Choreography of intelligent e-services. 343-344 - Christian Pichler:
A framework for handling variants of software models. 345-346 - Bruno Wassermann:
Improving wide-area distributed system availability. 347-348 - Adailton Magalhães Lima:
Risk assessment on distributed software projects. 349-350 - Claudia Susie C. Rodrigues
VisAr3D: an approach to software architecture teaching based on virtual and augmented reality. 351-352 - Antonio Oliveira Filho:
Change impact analysis from business rules. 353-354 - 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
- K. S. May Chan:
Formal methods for web services: a taxonomic approach. 357-360 - Ana Erika Camargo Cruz:
Exploratory study of a UML metric for fault prediction. 361-364 - Pourya Shaker:
Feature-oriented requirements modelling. 365-368 - Anders Mattsson:
Automatic enforcement of architectural design rules. 369-372 - Lucas C. Cordeiro
SMT-based bounded model checking for multi-threaded software in embedded systems. 373-376 - Lile Hattori:
Enhancing collaboration of multi-developer projects with synchronous changes. 377-380 - Giacomo Ghezzi:
SOFAS: software analysis services. 381-384 - Gerald Bortis:
Informal software design knowledge reuse. 385-388 - Christoph Treude
The role of emergent knowledge structures in collaborative software development. 389-392 - Kim Sebastian Herzig:
Capturing the long-term impact of changes. 393-396 - Adrian Schröter:
Failure preventing recommendations. 397-400 - Daniel Popescu:
Impact analysis for event-based components and systems. 401-404 - Kleinner Farias:
Empirical evaluation of effort on composing design models. 405-408 - Meiyappan Nagappan:
Analysis of execution log files. 409-412 - Marcus Roy:
Towards end-user enabled web service consumption for Mashups. 413-416 - Feifei Ma:
Constraint solving techniques for software testing and analysis. 417-420 - Haroon Malik:
A methodology to support load test analysis. 421-424
Emerging faculty symposium
- Hausi A. Müller
Emerging Faculty Symposium 2010. 425
Workshop introductions
- Sushil Krishna Bajracharya, Adrian Kuhn, Yunwen Ye:
SUITE 2010: 2nd International Workshop on Search-Driven Development - Users, Infrastructure, Tools & Evaluation. 427-428 - Grace A. Lewis
2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). 429-430 - Victor Pankratius, Michael Philippsen
New Horizons in Multicore Software Engineering. 431-432 - Seok-Won Lee, Mattia Monga
The 6th International Workshop on Software Engineering for Secure Systems (SESS'10). 433-434 - Yvonne Dittrich
Cooperative and Human Aspects of Software Engineering (CHASE 2010). 435-436 - Patricia Lago, Paris Avgeriou
Fifth International Workshop on Sharing and Reusing Architectural Knowledge (SHARK 2010). 437-438 - Julia Rubin, Goetz Botterweck
First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010). 439-440 - Harold Ossher, André van der Hoek, Margaret-Anne D. Storey, John Grundy
Flexible Modeling Tools (FlexiTools2010). 441-442 - Kurt Geihs
SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. 443-444 - Christof J. Budnik, Wing Kwong Chan
Bridging the Gap Between the Theory and Practice of Software Test Automation. 445-446 - Betty H. C. Cheng
Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). 447-448 - Steve M. Easterbrook
Second International Workshop on Software Research and Climate Change. 449-450 - Carlo Ghezzi, Lars Grunske
First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). 451-452 - Lori A. Clarke, Jens H. Weber-Jahnke:
2nd International Workshop on Software Engineering in Health Care (SEHC 2010). 453-454 - Reid Holmes, Martin P. Robillard, Robert J. Walker
RSSE 2010: Second International Workshop on Recommendation Systems for Software Engineering. 455-456 - Christoph Treude
Web2SE: First Workshop on Web 2.0 for Software Engineering. 457-458 - Gerardo Canfora
Workshop on Emerging Trends in Software Metrics (WETSoM 2010). 459-460 - Charles D. Knutson, Jonathan L. Krein, Lutz Prechelt, Natalia Juristo Juzgado:
1st International Workshop on Replication in Empirical Software Engineering Research (RESER). 461-462 - Yael Dubinsky, Philippe Kruchten
Software Development Governance (SDG) Workshop. 463-464 - Katsuro Inoue, Stanislaw Jarzabek, James R. Cordy, Rainer Koschke:
Fourth International Workshop on Software Clones (IWSC). 465-466 - Jon G. Hall
2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010). 467-468
Tutorials
- Alistair G. Sutcliffe, Sarah Thew:
Analysing "people" problems in requirements engineering. 469-470 - Nenad Medvidovic, Richard N. Taylor:
Software architecture: foundations, theory, and practice. 471-472 - Bernhard Rumpe
Generative software development. 473-474 - Stefan Tai, Jens Nimis
Cloud service engineering. 475-476 - Mohan Sridharan, Akbar Siami Namin:
Bayesian methods for data analysis in software engineering. 477-478 - Hakan Erdogmus
Cost effectiveness analysis in software engineering. 479-480 - Orit Hazzan, Yael Dubinsky:
Coaching agile software projects: tutorial proposal - ICSE 2010. 481-482 - Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Parameterized unit testing: theory and practice. 483-484 - Daniel L. Moody:
The "physics" of notations: a scientific approach to designing visual notations in software engineering. 485-486 - Victor Pankratius, Walter F. Tichy, Peter Hinsbeeck:
Multicore software engineering: the next challenge in software engineering. 487 - Donald G. Firesmith:
Engineering safety- and security-related requirements for software-intensive systems: tutorial summary. 489-490 - Helen Sharp, Cleidson R. B. de Souza, Yvonne Dittrich
Using ethnographic methods in software engineering research. 491-492 - Roel J. Wieringa:
Design science methodology: principles and practice. 493-494 - Myra B. Cohen, Shmuel Ur:
Combinatorial test design in practice. 495-496 - Philippe Kruchten
Software architecture and agile software development: a clash of two cultures? 497-498 - Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens:
Code clone detection in practice. 499-500 - Barry W. Boehm, Jo Ann Lane:
New processes for new horizons: the incremental commitment model. 501-502 - Ahmed E. Hassan, Tao Xie:
Mining software engineering data. 503-504
Student research competition
- Guido de Caso:
Behavioural validation of software engineering artefacts. 505-506 - Tayfun Elmas:
QED: a proof system based on reduction and abstraction for the static verification of concurrent software. 507-508 - Lode Hoste:
Software engineering abstractions for the multi-touch revolution. 509-510 - Adrian Schröter:
Predicting build outcome with developer interaction in Jazz. 511-512 - Florian S. Gysin
Improved social trustability of code search results. 513-514 - Max Goldman:
Test-driven roles for pair programming. 515-516 - Ivano Malavolta
Providing support for creating next generation software architecture languages. 517-518 - Zvonimir Rakamaric:
STORM: static unit checking of concurrent programs. 519-520 - Gustavo L. Soares:
Making program refactoring safer. 521-522 - Thomas Fritz:
Staying aware of relevant feeds in context. 523-524 - Andrew Bragdon:
Developing and evaluating the code bubbles metaphor. 525-526 - Sarah Rastkar:
Summarizing software concerns. 527-528 - Marco D'Ambros:
Commit 2.0: enriching commit comments with visualization. 529-530 - Daniel Popescu:
Helios: impact analysis for event-based components and systems. 531-532
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: