default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID22nd ICSE 2000: Limerick, Ireland
- Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf:
Proceedings of the 22nd International Conference on on Software Engineering, ICSE 2000, Limerick Ireland, June 4-11, 2000. ACM 2000, ISBN 1-58113-206-9
Invited Presentations
- Manuel Castells:
Is the new economy socially sustainable? (abstract of invited presentation). 2 - Grady Booch:
The future of software (abstract of invited presentation). 3 - Chris Horn:
Dot com versus bricks and mortar - the impact of portal technology (abstract of invited presentation). 4 - Axel van Lamsweerde:
Requirements engineering in the year 00: a research perspective. 5-19
Components and COTS
- Ivica Crnkovic, Magnus Larsson:
A case study: demands on component-based development. 23-31 - Maurizio Morisio, Carolyn B. Seaman, Amy T. Parra, Victor R. Basili, Steve E. Kraft, Steven E. Condon:
Investigating and improving a COTS-based software development. 32-41 - L. David Balk, Ann Kedia:
PPT: a COTS integration case study. 42-49
Software Architecture and Product Families
- Jan Gerben Wijnstra:
Supporting diversity with component frameworks as architectural elements. 51-60 - Juha Kuusela, Juha Savolainen:
Requirements engineering for product families. 61-69 - Yusuf Pisan:
Extending requirement specifications using analogy. 70-76
New Perspectives on Software Engineering
- Antony Bryant:
It's engineering Jim ... but not as we know it: software engineering - solution to the software crisis, or part of the problem? 78-87 - James C. Widmaier:
Producing more reliable software: mature software engineering process vs. state-of-the-art technology? 88-93
Data Analysis
- Robert S. Brewer:
Improving problem-oriented mailing list archives with MCS. 95-104 - James H. Andrews, Yingjun Zhang:
Broad-spectrum studies of log file analysis. 105-114
Testing I
- David Leon, Andy Podgurski, Lee J. White:
Multivariate visualization in observation-based testing. 116-125 - Jung-Min Kim, Adam A. Porter, Gregg Rothermel:
An empirical study of regression test application frequency. 126-135 - Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand:
Testing levels for object-oriented software. 136-145
Evolution and Reuse
- Andreas Rausch:
Software evolution in componentware using requirements/assurances contracts. 147-156 - Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang:
An integrated cost model for software reuse. 157-166 - Amir Michail:
Data mining library reuse patterns using generalized association rules. 167-176
Component-Based Systems
- Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke:
Towards a taxonomy of software connectors. 178-187 - Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
:
A formal approach for designing CORBA based applications. 188-197
Software Engineering Training
- Anke Drappa, Jochen Ludewig:
Simulation in software engineering training. 199-208 - Ray Dawson:
Twenty dirty tricks to train software engineers. 209-218
Testing II
- Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini:
Deriving test plans from architectural descriptions. 220-229 - Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel:
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation. 230-239
Software Architecture
- Hans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf:
Integrating UML diagrams for production control systems. 241-251 - Gary E. Anderson, T. C. Nicholas Graham, Timothy N. Wright:
Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems. 252-261
OPen Source and Software Markets
- Audris Mockus, Roy T. Fielding, James D. Herbsleb:
A case study of open source software development: the Apache server. 263-272 - David Coppit, Kevin J. Sullivan:
Multiple mass-market applications as components. 273-282
Software Engineering Education
- W. Richards Adroin:
Developing and deploying software engineering courseware in an adaptable curriculum framework. 284-292 - Stuart R. Faulk:
Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering. 293-302
System Model Derivation
- Rajeev Alur, Kousha Etessami, Mihalis Yannakakis:
Inference of message sequence charts. 304-313 - Jon Whittle, Johann Schumann:
Generating statechart designs from scenarios. 314-323 - Gokul V. Subramaniam:
Object model resurrection - an object oriented maintenance activity. 324-333
Model Checking
- Tevfik Bultan:
Action Language: a specification language for model checking reactive systems. 335-344 - Zhe Dang, Richard A. Kemmerer:
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems. 345-354
Program Analysis I
- James Hayes, William G. Griswold, Stuart Moskovics:
Component design of retargetable program analysis tools that reuse intermediate representations. 356-365 - Donglin Liang, Mary Jean Harrold:
Light-weight context recovery for efficient and accurate program analyses. 366-375
Empirical Studies
- Lionel C. Briand, Tristen Langley, Isabella Wieczorek:
A replicated assessment and comparison of common software cost modeling techniques. 377-386 - Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto:
Characterization of risky projects based on project managers' evaluation. 387-395
Web-Based Systems
- Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein:
Implementing incremental code migration with XML. 397-406 - Roy T. Fielding, Richard N. Taylor:
Principled design of the modern Web architecture. 407-416
Case Studies
- Martin Lippert, Cristina Videira Lopes:
A study on exception detecton and handling using aspect-oriented programming. 418-427 - Marek Leszak, Dewayne E. Perry, Dieter Stoll:
A case study in root cause defect analysis. 428-437
Program Analysis II
- James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng:
Bandera: extracting finite-state models from Java source code. 439-448 - Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin:
Quickly detecting relevant program invariants. 449-458
Review and Inspection Techniques
- Patrick d'Astous, Pierre N. Robillard:
Characterizing implicit information during peer review meetings. 460-466 - Alastair Dunsmore, Marc Roper, Murray Wood:
Object-oriented inspection in the face of delocalisation. 467-476
Verification and Proofs
- Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman:
An inheritance-based technique for building simulation proofs incrementally. 478-487 - John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger:
Verification of time partitioning in the DEOS scheduler kernel. 488-497
Visual Techniques
- Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer:
Graphical animation of behavior models. 499-508 - Corin A. Gurr, Konstantinos Tourlas:
Towards the principled design of software engineering diagrams. 509-518
Technology Transfer "in the large"
- Bill Curtis:
From MCC and CMM: technology transfers bright and dim. 521-530 - H. Dieter Rombach:
Fraunhofer: the German model for applied research and technology transfer. 531-537
Professionalization of Software Engineering
- Martin Orsted:
Software development engineer in Microsoft: a subjective view of soft skills required. 539-540 - Jane Grimson, Hans-Jürgen Kugler:
Software needs engineering: a position paper. 541-544 - Peter Morrogh:
Is software education narrow-minded? A position paper. 545-546
Experience with a Product Line and Family Approach
- Gerald C. Gannod, Robyn R. Lutz:
An approach to architectural analysis of product lines. 548-557 - Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Florian Bernauer:
Introducng a software modeling concept in a medium-sized company. 558-567
Technology Transfer as an Explicit Business and Process Issue
- Adrian M. Colyer:
From research to reward: challenges in technology transfer. 569-576 - Tetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa:
Technology transfer macro-process: a practical guide for the effective introduction of technology. 577-586
Support for Effective Project Estimation
- Stan Rifkin:
When the project absolutely must get done: marrying the organization chart with the precedence diagram. 588-596 - Eduardo Miranda:
An evaluation of the paired comparisons method for software sizing. 597-604
Technology Transfer in the Internet World
- Barry Murphy:
Grow fast, grow global: how the Irish software industry evolved to this business model. 606-607
From Research to Business Success
- Seán Baker:
The making of Orbix and the iPortal suite. 609-616 - Even-André Karlsson, Lars-Göran Andersson, Per Leion:
Daily build and feature development in large distributed projects. 649-658
Practical Experience: Company Case Studies I
- Frank Titze:
Improvement of a configuration management system. 618-625 - Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen:
Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise. 626-633
Practical Experience: Company Case Studies II
- Fran O'Hara:
European experiences with software process improvement. 635-640 - Antonio Caliò, Massimo Autiero, Giuseppe Bux:
Software process improvement by object technology (ESSI PIE 27785 -- SPOT). 641-647
Panels
- Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller:
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice. 660 - George T. Heineman, William T. Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw:
Component-based software engineering and the issue of trust. 661-664 - Nancy R. Mead, Hossein Saiedian, Günther Ruhe, Donald J. Bagert, Helen M. Edwards, Michael Ryan:
Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycle. 665-668 - Jeff Magee:
Who needs doctors? (abstract of panel session). 669
Teachin Demos
- Carleton A. Moore:
Lessons learned from teaching reflective software engineering using the Leap toolkit. 672-675 - Stephen Edwards:
Can quality graduate software engineering courses really be delivered asynchronously on-line? 676-679 - Nathalie Poerwantoro, Abdulmotaleb El-Saddik, Bernd J. Krämer, Ralf Steinmetz:
Multibook's test environment. 680-683 - George Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou:
E-Slate: a software architectural style for end-user programming. 684-687 - Helen Sharp, Pat Hall:
An interactive multimedia software house simulation for postgraduate software engineers. 688-691 - Sita Ramakrishnan:
LIGHTVIEWS - visual interactive Internet environment for learning OO software testing. 692-695
Doctoral Workshop
- Jeff Magee, Mauro Pezzè:
The ICSE2000 doctoral workshop. 697 - Jing Dong:
A logical framework for design composition. 698-700 - Juan F. Ramil:
Algorithmic cost estimation for software evolution. 701-703 - Giovanni Denaro:
Estimating software fault-proneness for tuning testing activities. 704-706 - Radu Iosif:
Formal verification applied to Java concurrent software. 707-709 - Peter J. Kammer:
Supporting dynamic distributed work processes with a component and event based approach. 710-712 - Chang Liu:
Platform-independent and tool-neutral test descriptions for automated software testing. 713-715 - Marek Paralic:
Contribution to simplifying the mobile agent programming. 716-718 - Glêdson Elias da Silveira:
Spontaneous software: a Web-based, object computing paradigm. 719-721 - Mel Ó Cinnéide:
Automated refactoring to introduce design patterns. 722-724 - Michael W. Whalen:
High-integrity code generation for state-based formalisms. 725-727
Research Demos
- Daniel Jackson, Ian Schechter, Ilya Shlyakhter:
Alcoa: the alloy constraint analyzer. 730-733 - Harold Ossher, Peri L. Tarr:
Hyper/J: multi-dimensional separation of concerns for Java. 734-737 - David A. Marca, Beth A. Perdue:
A software engineering approach and tool set for developing Internet applications. 738-741 - Ulrich Nickel, Jörg Niere, Albert Zündorf:
The FUJABA environment. 742-745 - Fabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto:
Managing software artifacts on the Web with Labyrinth. 746-749 - David Coppit, Kevin J. Sullivan:
Galileo: a tool built from mass-market applications. 750-753 - Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil:
Little-JIL/Juliette: a process definition language and interpreter. 754-757 - Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson:
Analyzing software architectures with Argus-I. 758-761 - James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby:
Bandera: a source-level interface for model checking Java programs. 762-765 - Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman:
Developing mobile computing applications with LIME. 766-769
Posters
- Bart Michiels, Bart Wydaeghe:
Component composition (poster). 771 - Raimondas Lencevicius, Alexander Ran, Rahav Yairi:
Third eye - specification-based analysis of software execution traces (poster). 772 - Skylar Lei, Michael R. Smith, Giancarlo Succi:
Empirical investigation of a novel approach to check the integrity of software engineering measuring processes (poster). 773 - Lynda Thomas:
The implication of different learning styles on the modeling of object-oriented systems (poster). 774 - Silvia Teresita Acuña, Graciela Elisa Barchini, Mabel del V. Sosa:
A culture-centered multilevel software process cycle model (poster). 775 - Chang Liu, Debra J. Richardson:
Using application states in software testing (poster). 776 - Juan F. Ramil, M. M. Lehman:
Effort estimation from change records of evolving software (poster). 777 - Alan D. Sloane:
Modeling deployment and configuration of CORBA systems with UML (poster). 778 - Tim Walsh, Paddy Nixon, Simon A. Dobson:
As strong as possible mobility (poster). 779 - K. Suzanne Barber, Stephen R. Jernigan:
Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster). 780 - Yousef H. Daabaj:
The use of task analysis methods in support of the development of interactive systems (poster). 781 - Anna Liu:
DeBOT - an approach for constructing high performance, scalable distributed object systems (poster). 782 - Garry Froehlich, Amr Kamel, Paul G. Sorenson:
Exploring O-O framework usage (poster). 783 - Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang:
Tracking, predicting and assessing software reuse costs: an automated tool. 785 - Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedrycz:
Holmes: a system to support software product lines. 786 - Giancarlo Succi, Raymond Wong, Eric Liu, Michael R. Smith:
Supporting dynamic composition of components. 787 - Rory O'Connor, Robert Cochran, Tony Moynihan:
Prompter - a project planning assistant. 788 - Claudio Riva:
Visualizing software release histories with 3DSoftVis. 789 - Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenson, Roland Penner:
Legacy systems migration in CelLEST. 790 - Ulrike Becker-Kornstaedt, Louise Scott, Jörg Zettel:
Process engineering with SpearmintTM/EPG. 791
Workshops
- Antonia Bertolino, Gail C. Murphy:
An overview of the ICSE 2000 workshop program. 793 - San Murugesan, Yogesh Deshpande:
Second ICSE Workshop on Web Engineering. 794-795