default search action
FoSER@FSE 2010: Santa Fe, NM, USA
- Gruia-Catalin Roman, Kevin J. Sullivan:
Proceedings of the Workshop on Future of Software Engineering Research, FoSER 2010, at the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM 2010, ISBN 978-1-4503-0427-6
Position papers
- Kenneth C. Arnold, Henry Lieberman:
Embracing ambiguity. 1-6 - David F. Bacon, Eric Bokelberg, Yiling Chen, Ian A. Kash, David C. Parkes, Malvika Rao, Manu Sridharan
:
Software economies. 7-12 - Robert Balzer:
Why haven't we automated programming. 13-16 - Luciano Baresi
The disappearing boundary between development-time and run-time. 17-22 - Earl T. Barr
On the shoulders of giants. 23-28 - Don S. Batory:
Thoughts on automated software design and synthesis. 29-32 - Andrew Begel, Robert DeLine, Thomas Zimmermann:
Social media for software engineering. 33-38 - Barry W. Boehm:
Extending software engineering research outside the digital box. 39-42 - Derek Bronish, Jason Kirschenbaum, Aditi Tagore:
A benchmark- and competition-based approach to software engineering research. 43-46 - Nanette Brown, Yuanfang Cai, Yuepu Guo, Rick Kazman, Miryung Kim, Philippe Kruchten
Managing technical debt in software-reliant systems. 47-52 - Marcel Bruch, Eric Bodden
IDE 2.0: collective intelligence in software development. 53-58 - Yuriy Brun
Speculative analysis: exploring future development states of software. 59-64 - Barrett R. Bryant, Jeff Gray
Domain-specific software engineering. 65-68 - Tevfik Bultan:
Software for everyone by everyone. 69-74 - Margaret M. Burnett:
The future of software engineering: enhancing human expertise in tackling software quality. 75-76 - Raymond P. L. Buse, Thomas Zimmermann:
Analytics for software development. 77-80 - Cristian Cadar
Multiplicity computing: a vision of software engineering for next-generation computing platform applications. 81-86 - Lori A. Clarke, Leon J. Osterweil, George S. Avrunin:
Supporting human-intensive systems. 87-92 - Matthew B. Dwyer
Unifying verification and validation techniques: relating behavior and properties through partial evidence. 93-98 - Steve M. Easterbrook:
Climate change: a grand software challenge. 99-104 - Martin Erwig, Eric Walkingshaw:
Program fields for continuous software. 105-108 - Kathi Fisler
Embracing policy engineering. 109-110 - Shawn M. Freeman, Thomas L. Clune, Robert W. Burns:
Latent risks and dangers in the state of climate model software development. 111-114 - Richard P. Gabriel:
Software engineering as live performance. 115-118 - Alessio Gabriele
Ad-opera: music-inspired self-adaptive systems. 119-124 - David Garlan:
Software engineering in an uncertain world. 125-128 - Daniel M. Germán, Jens H. Weber, Massimiliano Di Penta
Lawful software engineering. 129-132 - John B. Goodenough, Linda M. Northrop:
Software assurance for systems of systems. 133-136 - Ganesh Gopalakrishnan, Robert M. Kirby:
Top ten ways to make formal methods for HPC practical. 137-142 - Ian Gorton, Yan Liu:
Advancing software architecture modeling for large scale heterogeneous systems. 143-148 - Mark Grechanik
Bridging gaps between developers and testers in globally-distributed software development. 149-154 - Arjun Guha, Shriram Krishnamurthi
Minding the (semantic) gap: engineering programming language theory. 155-156 - Trevor Harmon, Michael R. Lowry:
N-version programming in WCET analysis: revisiting a discredited idea. 157-160 - Ahmed E. Hassan, Tao Xie:
Software intelligence: the future of mining software engineering data. 161-166 - Seth Holloway, Christine Julien
The case for end-user programming of ubiquitous computing environments. 167-172 - Daniel Jackson, Eunsuk Kang:
Separation of concerns for dependable software design. 173-176 - Ralph E. Johnson:
Software development is program transformation. 177-180 - Mira Kajko-Mattsson:
Maturity is also about the capability to conform the process to the right context! 181-186 - Rick Kazman, Hong-Mei Chen:
The metropolis model and its implications for the engineering of software ecosystems. 187-190 - James Kirby Jr., David M. Weiss, Robyn R. Lutz
Evidence-based software production. 191-194 - Mark Klein, Gabriel A. Moreno, David C. Parkes, Kurt C. Wallnau:
Designing for incentives: better information sharing for better software engineering. 195-200 - Shuvendu K. Lahiri, Kapil Vaswani, C. A. R. Hoare:
Differential static analysis: opportunities, applications, and challenges. 201-204 - Claire Le Goues
The case for software evolution. 205-210 - Gary T. Leavens:
The future of library specification. 211-216 - Nicolás López, André van der Hoek:
An agenda for concern-oriented software engineering. 217-222 - Michael R. Lowry:
Towards predictive models of technology impact on software design productivity. 223-228 - Andrian Marcus
Software is data too. 229-232 - Fabio Massacci
Infringo ergo sum: when will software engineering support infringements? 233-238 - Atif M. Memon, Adam A. Porter, Alan Sussman
Community-based, collaborative testing and analysis. 239-244 - Tommi Mikkonen, Antero Taivalsaari
The mashware challenge: bridging the gap between web development and software engineering. 245-250 - Gail C. Murphy:
Human-centric software engineering. 251-254 - Emerson R. Murphy-Hill, Gail C. Murphy, William G. Griswold
Understanding context: creating a lasting impact in experimental software engineering research. 255-258 - Linda M. Northrop, Mark Klein, John B. Goodenough, Dennis B. Smith:
Needed foundations for assuring the desirable behavior of software-reliant systems. 259-262 - Alessandro Orso:
Monitoring, analysis, and testing of deployed software. 263-268 - Leon J. Osterweil, Lori A. Clarke:
Supporting negotiation and dispute resolution with computing and communication technologies. 269-272 - Thomas J. Ostrand, Elaine J. Weyuker:
Software testing research and software engineering education. 273-276 - Jamie Payton, Christine Julien
Integrating participatory sensing in application development practices. 277-282 - Gian Pietro Picco:
Software engineering and wireless sensor networks: happy marriage or consensual divorce? 283-286 - Andy Podgurski:
Evidence-based validation and improvement of electronic health record systems. 287-292 - Hridesh Rajan
Building scalable software systems in the multicore era. 293-298 - Steven P. Reiss:
Writing and using program specifications. 299-302 - Debra J. Richardson, Ban Al-Ani, Hadar Ziv:
Requirements engineering at the margins: avoiding technological hubris through alternative approaches. 303-308 - Caitlin Sadowski, Andrew Shewmaker:
The last mile: parallel programming and usability. 309-314 - Walt Scacchi:
The future of research in free/open source software development. 315-320 - Wilhelm Schäfer, Mauro Birattari
Engineering self-coordinating software intensive systems. 321-324 - Todd W. Schiller, Michael D. Ernst:
Rethinking the economics of software engineering. 325-330 - Johann Schumann, Ole J. Mengshoel, Ashok N. Srivastava, Adnan Darwiche:
Towards software health management with bayesian networks. 331-336 - Mary Shaw
Research toward an engineering discipline for software. 337-342 - Tim Sheard, Aaron Stump, Stephanie Weirich
Language-based verification will change the world. 343-348 - Akbar Siami Namin, Mohan Sridharan:
Bayesian reasoning for software testing. 349-354 - Douglas R. Smith, Louis Hoebel:
Derivational software engineering. 355-358 - Margaret-Anne D. Storey, Christoph Treude
The impact of social media on software engineering practices and tools. 359-364 - Kevin Sullivan, William Knaus, Richard Marks:
An ultra-large-scale systems approach to national-scale health information systems. 365-368 - Kevin Sullivan:
Opportunity-centered software development. 369-374 - Richard N. Taylor:
Enabling innovation: a choice for software engineering. 375-378 - Walter F. Tichy, Sven J. Körner:
Text to software: developing tools to close the gaps in software engineering. 379-384 - Will Tracz:
Packaging and prioritizing software engineering research to maximize industry impact. 385-388 - András Vajda, Johan Eker:
Return to the language forrest: the case for DSL oriented software engineering. 389-392 - Arnaud Venet
Static analysis for software assurance: soundness, scalability and adaptiveness. 393-396 - Anthony I. Wasserman:
Software engineering issues for mobile application development. 397-400 - Michael W. Whalen, Patrice Godefroid, Leonardo Mariani
FITE: future integrated testing environment. 401-406 - Jules White, Douglas C. Schmidt:
R&D challenges and emerging solutions for multicore deployment/configuration optimization. 407-410 - Hyrum K. Wright, Miryung Kim, Dewayne E. Perry:
Validity concerns in software engineering research. 411-414 - Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. 415-420 - Guoqing Xu, Nick Mitchell, Matthew Arnold, Atanas Rountev, Gary Sevitsky:
Software bloat analysis: finding, removing, and preventing performance problems in modern large-scale object-oriented applications. 421-426 - Linmin Yang, Zhe Dang, Thomas R. Fischer, Min Sik Kim, Li Tan:
Entropy and software systems: towards an information-theoretic foundation of software testing. 427-432 - Yunwen Ye, Kumiyo Nakakoji, Yasuhiro Yamamoto, Kouichi Kishida:
Through the looking glass of immaterial labor. 433-438 - Michal Young, Stuart R. Faulk:
Sharing what we know about software engineering. 439-442 - Minghui Zhou, Audris Mockus
Growth of newcomer competence: challenges of globalization. 443-448
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-22 19:31 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: