default search action
22nd 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
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
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
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
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
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
Holmes: a system to support software product lines. 786 - Giancarlo Succi
Supporting dynamic composition of components. 787 - Rory O'Connor
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 - Nigel Tracey, John Penix, Willem Visser:
The First International Workshop on Automated Program Analysis, Testing and Verification. 796 - John C. Dean:
COTS Workshop: continuing collaborations for successful COTS development. 797-798 - Janice Singer, Margaret-Anne D. Storey, Susan Elliott Sim:
Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering research. 799-800 - Jonathan Gray, Louise Scott, Ian Ferguson:
The Second International Symposium on Constructing Software Engineering Tools (CoSET2000). 801-802 - Philippe A. Palanque, Fabio Paternò:
Design, specification, and verification of interactive systems (workshop session). 803-804 - Susan Elliott Sim, Richard C. Holt, Rainer Koschke:
Workshop on standard exchange format (WoSEF). 805-806 - Frank Maurer:
3rd workshop on software engineering over the Internet. 807-808 - Peri L. Tarr, William H. Harrison, Harold Ossher, Anthony Finkelstein, Bashar Nuseibeh, Dewayne E. Perry:
Workshop on multi-dimensional separation of concerns in software engineering. 809-810 - Kevin J. Sullivan:
The 2nd International Workshop on Economics-Driven Software Engineering Research. 811 - Tim Menzies:
WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session). 812-813 - Peter Knauber, Giancarlo Succi:
Software product lines: economics, architectures, and applications (workshop). 814-815 - Paolo Ciancarini, Michael J. Wooldridge:
Agent-oriented software engineering (workshop). 816-817
Tutorials
- Nigel Bevan:
Specifying and measuring quality in use (tutorial session). 819 - Rick Kazman, Mark Klein:
Designing and analyzing software architectures using ABASs (tutorial session). 820 - Karl J. Lieberherr, David H. Lorenz, Mira Mezini:
Building modular object-oriented systems with reusable collaborations (tutorial session). 821 - Steve Vinoski:
Introduction to CORBA (tutorial session). 822 - Pankaj Jalote:
Moving from ISO9000 to higher levels of the CMM (tutorial session). 823 - Robert L. Nord, Daniel J. Paulish, Dilip Soni:
Planning realistic schedules using software architecture (tutorial session). 824 - Cristina Videira Lopes, Gregor Kiczales:
Improving design and source code modularity using AspectJ (tutorial session). 825 - Steve Vinoski:
Scalability issues in CORBA-based systems (tutorial session). 826 - Gregory J. Kirsch, Yannis Skulikaris:
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights. 827 - Bill Curtis:
Software process improvement (tutorial session): best practices and lessons learned. 828 - Hassan Gomaa:
Designing real-time and distributed applications with the UML (tutorial session). 829 - Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra:
System development using application services over the Net (tutorial session). 830 - Bev Littlewood, Lorenzo Strigini:
Software reliability (tutorial session): basic concepts and assessment methods. 831 - Don S. Batory:
Product-line architectures, aspects, and reuse (tutorial session). 832 - Joseph Gil, John Howse, Stuart Kent:
Advanced visual modeling (tutorial session): beyond UML. 833 - Gian Pietro Picco:
Understanding code mobility (tutorial session). 834 - Bev Littlewood, Lorenzo Strigini:
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment. 835 - Victor R. Basili, Oliver Laitenberger, Forrest Shull, Ioana Rus:
Improving software inspections by using reading techniques (tutorial session). 836
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-12-22 19:08 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: