Contact The DL Team Contact Us | Switch to tabbed view

top of pageABSTRACT

This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. The goal of the experiment was to investigate whether model checking could be used to find a subtle implementation error that was originally discovered and fixed during the standard formal review process. To conduct the experiment, a core slice of the DEOS scheduling kernel was first translated without abstraction from C++ into Promela (the input language for Spin). We constructed an abstract “test-driver” environment and carefully introduced several abstractions into the system to support verification. Several experiments were run to attempt to verify that the system implementation adhered to the critical time partitioning requirements. During these experiments, the known error was rediscovered in the time partitioning implementation. We believe this case study provides several insights into how to develop cost-effective methods and tools to support the software design and implementation review process.
Advertisements



top of pageAUTHORS



Author image not provided  John Penix

No contact information provided yet.

Bibliometrics: publication history
Publication years1995-2014
Publication count28
Citation Count278
Available for download13
Downloads (6 Weeks)23
Downloads (12 Months)438
Downloads (cumulative)5,436
Average downloads per article418.15
Average citations per article9.93
View colleagues of John Penix


Willem Visser Willem Visser

homepage
willematgmail.com
Bibliometrics: publication history
Publication years1997-2015
Publication count73
Citation Count1,847
Available for download37
Downloads (6 Weeks)86
Downloads (12 Months)1,692
Downloads (cumulative)15,037
Average downloads per article406.41
Average citations per article25.30
View colleagues of Willem Visser


Author image not provided  Eric Engstrom

No contact information provided yet.

Bibliometrics: publication history
Publication years2000-2005
Publication count3
Citation Count38
Available for download2
Downloads (6 Weeks)1
Downloads (12 Months)7
Downloads (cumulative)623
Average downloads per article311.50
Average citations per article12.67
View colleagues of Eric Engstrom


Author image not provided  Aaron Larson

No contact information provided yet.

Bibliometrics: publication history
Publication years1990-2005
Publication count6
Citation Count42
Available for download3
Downloads (6 Weeks)2
Downloads (12 Months)15
Downloads (cumulative)1,025
Average downloads per article341.67
Average citations per article7.00
View colleagues of Aaron Larson


Author image not provided  Nicholas Weininger

No contact information provided yet.

Bibliometrics: publication history
Publication years2000-2005
Publication count4
Citation Count43
Available for download1
Downloads (6 Weeks)1
Downloads (12 Months)6
Downloads (cumulative)369
Average downloads per article369.00
Average citations per article10.75
View colleagues of Nicholas Weininger

top of pageREFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

1
 
2
Pam Binns. Design document for slack scheduling in deos, draft alpha.3. Honeywell, September 1998.
3
 
4
5
6
7
 
8
S. Das, D. Dill, and S. Park. Experience with predicate abstraction. In Proceedings of CAV'99, pages 160-171, 1999. Lecture Notes in Computer Science 1633.
 
9
C. Demartini, R. Iosif, and R. Sisto. dSPIN: A Dynamic Extension of SPIN. In Proceedings of the 6th SPIN Workshop, Lecture Notes in Computer Science 1680, 1999.
10
 
11
 
12
 
13
K. Havelund and T. Pressburger. Model checking java programs using java pathfinder. International Journal on Software Tools for Technology Transfer, 1999.
 
14
 
15
 
16
J. Penix, W. Visser, E. Engstrom, A. Larson, and N. Weininger. Translation and verification of the DEOS scheduling kernel. Technical report, NASA Ames Research Center / Honeywell Technology Center, October 1999.
 
17
C. P~ as~ areanu, M. Dwyer, and M. Huth. Assumeguarantee model checking of software: A comparative case study. In Proceedings of the 6th SPIN Workshop, Lecture Notes in Computer Science 1680, 1999.
 
18
 
19
RTCA Special Committee 167. Software considerations in airborne systems and equipment certification. Technical Report DO-178B, RTCA, Inc., dec 1992.
 
20
 
21
W. Visser, K. Havelund, and J. Penix. Adding Active Objects to SPIN. In Proceedings of the 5th SPIN Workshop, Trento, Italy, July 1999.

top of pageCITED BY

26 Citations

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

top of pageINDEX TERMS

The ACM Computing Classification System (CCS rev.2012)

Note: Larger/Darker text within each node indicates a higher relevance of the materials to the taxonomic classification.

top of pagePUBLICATION

Title ICSE '00 Proceedings of the 22nd international conference on Software engineering table of contents
Chairmen Carlo Ghezzi Politecnico di Milano, Milau, Italy
Mehdi Jazayeri Technical Univ. of Vienna, Vienna, Austria
Alexander L. Wolf Univ. of Colorado, Boulder, USA
Pages 488-497
Publication Date2000-06-01 (yyyy-mm-dd)
Sponsors SIGSOFT ACM Special Interest Group on Software Engineering
IEEE-CS Computer Society
Irish Comp Soc Irish Computer Society
PublisherACM New York, NY, USA ©2000
ISBN: 1-58113-206-9 doi>10.1145/337180.337364
Conference ICSEInternational Conference on Software Engineering ICSE logo
Overall Acceptance Rate 388 of 2,520 submissions, 15%
Year Submitted Accepted Rate
ICSE '95 155 28 18%
ICSE '99 294 56 19%
ICSE '01 268 47 18%
ICSE '02 303 45 15%
ICSE '03 324 42 13%
ICSE '04 436 58 13%
ICSE '08 370 56 15%
ICSE '08 370 56 15%
Overall 2,520 388 15%

APPEARS IN
Software

top of pageREVIEWS


Reviews are not available for this item
Computing Reviews logo

top of pageCOMMENTS

Be the first to comment To Post a comment please sign in or create a free Web account

top of pageTable of Contents

Proceedings of the 22nd international conference on Software engineering
Table of Contents
Is the new economy socially sustainable? (invited presentation) (abstract only)
Manuel Castells
Page: 2
doi>10.1145/337180.337181
Full text: PDFPDF

At the turn of the millennium, the revolution in information technology has ushered in a new economy. This economy, originated in the United States, and more specifically in the American West Coast, is spreading throughout the world, in an uneven, yet ...
expand
The future of software (invited presentation) (abstract only)
Grady Booch
Page: 3
doi>10.1145/337180.337182
Full text: PDFPDF

Software is the fuel of the world's new economy. Software has been used to create new markets, heal the human body, explore distant worlds, and bring individuals into community. Software transcends all political boundaries, consumes few resources in ...
expand
Dot com versus bricks and mortar — the impact of portal technology (invited presentation) (abstract only)
Chris Horn
Page: 4
doi>10.1145/337180.337183
Full text: PDFPDF

The “New Economy is rapidly being adopted on a global scale as corporations vie for new competitive positions and defensive responses. Incumbents” so-called “bricks'n'mortar corporations” are generally finding it challenging, ...
expand
Requirements engineering in the year 00: a research perspective
Axel van Lamsweerde
Pages: 5-19
doi>10.1145/337180.337184
Full text: PDFPDF

Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and constraints, and the assignment of responsibilities for the resulting requirements ...
expand
A case study: demands on component-based development
Ivica Crnkovic, Magnus Larsson
Pages: 23-31
doi>10.1145/337180.337185
Full text: PDFPDF

Building software systems with reusable components brings many advantages. The development becomes more efficient, the realibility of the products is enhanced, and the maintenance requirement is significantly reduced. Designing, developing and maintaining ...
expand
Investigating and improving a COTS-based software development
M. Morisio, C. B. Seaman, A. T. Parra, V. R. Basili, S. E. Kraft, S. E. Condon
Pages: 32-41
doi>10.1145/337180.337186
Full text: PDFPDF

The work described in this paper is an investigation of COTS-based software development within a particular NASA environment, with an emphasis on the processes used. Fifteen projects using a COTS-based approach were studied and their actual process was ...
expand
PPT: a COTS integration case study
L. David Balk, Ann Kedia
Pages: 42-49
doi>10.1145/337180.337187
Full text: PDFPDF

T. Rowe Price Investment Technologies built The Product and Project Tracking System (PPT) to reduce the human resources needed to track and forecast Information Technology projects. Instead of developing or purchasing a new system, the need was met by ...
expand
Supporting diversity with component frameworks as architectural elements
Jan Gerben Wijnstra
Pages: 51-60
doi>10.1145/337180.337188
Full text: PDFPDF

In this paper, we describe our experience with component frameworks within a family architecture for a medical imaging product family. The component frameworks are handled as an integral part of the architectural approach and are an important means to ...
expand
Requirements engineering for product families
Juha Kuusela, Juha Savolainen
Pages: 61-69
doi>10.1145/337180.337189
Full text: PDFPDF

In search for improved software quality and high productivity, software reuse has become a key research area. One of the most promising reuse approaches is product families. However, current practices in requirements engineering do not support product ...
expand
Extending requirement specifications using analogy
Yusuf Pisan
Pages: 70-76
doi>10.1145/337180.337190
Full text: PDFPDF

Creating the specifications for a new system is a labour intensive task. Analogical reasoning provides a flexible mechanism to retrieve and adapt past specifications. Previous work in applying analogical reasoning to requirement specifications has departed ...
expand
It's engineering Jim … but not as we know it: software engineering — solution to the software crisis, or part of the problem?
Antony Bryant
Pages: 78-87
doi>10.1145/337180.337191
Full text: PDFPDF

This paper considers the impact and role of the 'engineering' metaphor, and argues that it is time to reconsider its impact on software development practice.
expand
Producing more reliable software: mature software engineering process vs. state-of-the-art technology?
James C. Widmaier
Pages: 88-93
doi>10.1145/337180.337192
Full text: PDFPDF

A customer of high assurance software recently sponsored a software engineering experiment in which a real-time software system was developed concurrently by two popular software development methodologies. One company specialized in the state-of-the-practice ...
expand
Improving problem-oriented mailing list archives with MCS
Robert S. Brewer
Pages: 95-104
doi>10.1145/337180.337193
Full text: PDFPDF

Developers often use electronic mailing lists when seeking assistance with a particular software application. The archives of these mailing lists provide a rich repository of problem-solving knowledge. Developers seeking a quick answer to a problem find ...
expand
Broad-spectrum studies of log file analysis
James H. Andrews, Yingjun Zhang
Pages: 105-114
doi>10.1145/337180.337194
Full text: PDFPDF

This paper reports on research into applying the technique of log file analysis for checking test results to a broad range of testing and other tasks. The studies undertaken included applying log file analysis to both unit- and system-level testing and ...
expand
Multivariate visualization in observation-based testing
David Leon, Andy Podgurski, Lee J. White
Pages: 116-125
doi>10.1145/337180.337195
Full text: PDFPDF

We explore the use of multivariate visualization techniques to support a new approach to test data selection, called observation-based testing. Applications of multivariate visualization are described, including: evaluating ...
expand
An empirical study of regression test application frequency
Jung-Min Kim, Adam Porter, Gregg Rothermel
Pages: 126-135
doi>10.1145/337180.337196
Full text: PDFPDF

Regression testing is an expensive maintenance process used to revalidate modified software. Regression test selection (RTS) techniques try to lower the cost of regression testing by selecting and running a subset of the existing test cases. Many such ...
expand
Testing levels for object-oriented software
Y. Labiche, P. Thévenod-Fosse, H. Waeselynck, M.-H. Durand
Pages: 136-145
doi>10.1145/337180.337197
Full text: PDFPDF

One of the characteristics of object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence, where to start testing and how to define an integration strategy are ...
expand
Software evolution in componentware using requirements/assurances contracts
Andreas Rausch
Pages: 147-156
doi>10.1145/337180.337198
Full text: PDFPDF

In practice, pure top-down and refinement-based development processes are not sufficient. Usually, an iterative and incremental approach is applied instead. Existing methodologies, however, do not support such evolutionary development processes ...
expand
An integrated cost model for software reuse
A. Mili, S. Fowler Chmiel, R. Gottumukkala, L. Zhang
Pages: 157-166
doi>10.1145/337180.337199
Full text: PDFPDF

Several cost models have been proposed in the past for estimating, predicting, and analyzing the costs of software reuse. In this paper we analyze existing models, explain their variance, and propose a tool-supported comprehensive model that encompasses ...
expand
Data mining library reuse patterns using generalized association rules
Amir Michail
Pages: 167-176
doi>10.1145/337180.337200
Full text: PDFPDF

In this paper, we show how data mining can be used to discover library reuse patterns in existing applications. Specifically, we consider the problem of discovering library classes and member functions that are typically reused in combination by application ...
expand
Towards a taxonomy of software connectors
Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke
Pages: 178-187
doi>10.1145/337180.337201
Full text: PDFPDF

Software systems of today are frequently composed from prefabricated, heterogeneous components that provide complex functionality and engage in complex interactions. Existing research on component-based development has mostly focused on component structure, ...
expand
A formal approach for designing CORBA based applications
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
Pages: 188-197
doi>10.1145/337180.337202
Full text: PDFPDF

The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the high level architectural design. This is done by introducing in the specification ...
expand
Simulation in software engineering training
Anke Drappa, Jochen Ludewig
Pages: 199-208
doi>10.1145/337180.337203
Full text: PDFPDF

Simulation is frequently used for training in many application areas like aviation and economics, but not in software engineering. We present the SESAM project which focuses on software engineering education using simulation. In the SESAM project a simulator ...
expand
Twenty dirty tricks to train software engineers
Ray Dawson
Pages: 209-218
doi>10.1145/337180.337204
Full text: PDFPDF

Many employers find that graduates and sandwich students come to them poorly prepared for the every day problems encountered at the workplace. Although many university students undertake team projects at their institutions, an education environment has ...
expand
Deriving test plans from architectural descriptions
A. Bertolino, F. Corradini, P. Inverardi, H. Muccini
Pages: 220-229
doi>10.1145/337180.337205
Full text: PDFPDF
WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation
Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, T. R. G. Green, Gregg Rothermel
Pages: 230-239
doi>10.1145/337180.337206
Full text: PDFPDF

Is it possible to achieve some of the benefits of formal testing within the informal programming conventions of the spreadsheet paradigm? We have been working on an approach that attempts to do so via the development of a testing methodology for this ...
expand
Integrating UML diagrams for production control systems
Hans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf
Pages: 241-251
doi>10.1145/337180.337207
Full text: PDFPDF

This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous production ...
expand
Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems
Gary E. Anderson, T. C. Nicholas Graham, Timothy N. Wright
Pages: 252-261
doi>10.1145/337180.337208
Full text: PDFPDF

Software architecture styles for developing multiuser applications are usually defined at a conceptual level, abstracting such low-level issues of distributed implementation as code replication, caching strategies and concurrency control ...
expand
A case study of open source software development: the Apache server
Audris Mockus, Roy T. Fielding, James Herbsleb
Pages: 263-272
doi>10.1145/337180.337209
Full text: PDFPDF

According to its proponents, open source style software development has the capacity to compete successfully, and perhaps in many cases displace, traditional commercial development methods. In order to begin investigating such claims, we examine the ...
expand
Multiple mass-market applications as components
David Coppit, Kevin J. Sullivan
Pages: 273-282
doi>10.1145/337180.337210
Full text: PDFPDF

Truly successful models for component-based software development continue to prove elusive. One of the few is the use of operating system, database and similar programs in many systems. We address three related problems in this paper. First, we lack ...
expand
Developing and deploying software engineering courseware in an adaptable curriculum framework
W. Richards Adroin
Pages: 284-292
doi>10.1145/337180.337212
Full text: PDFPDF

We describe an effort to design an adaptable framework for teaching and learning in software engineering. We are developing a repository of asynchronous, multimedia courseware that facilitates the rapid incorporation of new advances ...
expand
Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering
Stuart R. Faulk
Pages: 293-302
doi>10.1145/337180.337214
Full text: PDFPDF

Many educational institutions are developing graduate programs in software engineering targeted to working professionals. These educators face the dilemma of providing programs with both industrial relevance and academic excellence. This paper describes ...
expand
Inference of message sequence charts
Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
Pages: 304-313
doi>10.1145/337180.337215
Full text: PDFPDF

Software designers draw Message Sequence Charts for early modeling of the individual behaviors they expect from the concurrent system under design. Can they be sure that precisely the behaviors they have described are realizable by some implementation ...
expand
Generating statechart designs from scenarios
Jon Whittle, Johann Schumann
Pages: 314-323
doi>10.1145/337180.337217
Full text: PDFPDF

This paper presents an algorithm for automatically generating UML statecharts from a collection of UML sequence diagrams. Computer support for this transition between requirements and design is important for a successful application of UML's highly iterative, ...
expand
Object model resurrection — an object oriented maintenance activity
Gokul V. Subramaniam
Pages: 324-333
doi>10.1145/337180.337218
Full text: PDFPDF

This paper addresses the problem of reengineering object-oriented systems that have incurred increased maintenance cost due to long development time-span and project lifecycle. When an Incremental Approach is used to develop an object-oriented system, ...
expand
Action Language: a specification language for model checking reactive systems
Tevfik Bultan
Pages: 335-344
doi>10.1145/337180.337219
Full text: PDFPDF

We present a specification language called Action Language for model checking software specifications. Action Language forms an interface between transition system models that a model checker generates and high level specification languages such as Statecharts, ...
expand
Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems
Zhe Dang, Richard A. Kemmerer
Pages: 345-354
doi>10.1145/337180.337220
Full text: PDFPDF

ASTRAL is a high-level formal specification language for real-time systems. It has structuring mechanisms that allow one to build modularized specifications of complex real-time systems with layering. Based upon the ASTRAL symbolic model checler reported ...
expand
Component design of retargetable program analysis tools that reuse intermediate representations
James Hayes, William G. Griswold, Stuart Moskovics
Pages: 356-365
doi>10.1145/337180.337221
Full text: PDFPDF

Interactive program analysis tools are often tailored to one particular representation of programs, making adaptation to a new language costly. One way to ease adaptability is to introduce an intermediate abstraction—an adaptation layer—between ...
expand
Light-weight context recovery for efficient and accurate program analyses
Donglin Liang, Mary Jean Harrold
Pages: 366-375
doi>10.1145/337180.337222
Full text: PDFPDF

To compute accurate information efficiently for programs that use pointer variables, a program analysis must account for the fact that a procedure may access different sets of memory locations when the procedure is invoked under different callsites. ...
expand
A replicated assessment and comparison of common software cost modeling techniques
Lionel C. Briand, Tristen Langley, Isabella Wieczorek
Pages: 377-386
doi>10.1145/337180.337223
Full text: PDFPDF

Delivering a software product on time, within budget, and to an agreed level of quality is a critical concern for many software organizations. Underestimating software costs can have detrimental effects on the quality of the delivered software and thus ...
expand
Characterization of risky projects based on project managers' evaluation
Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto
Pages: 387-395
doi>10.1145/337180.337226
Full text: PDFPDF

During the process of software development, senior managers often find indications that projects are risky and take appropriate actions to recover them from this dangerous status. If senior managers fail to detect such risks, it is possible that such ...
expand
Implementing incremental code migration with XML
Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelsteiin
Pages: 397-406
doi>10.1145/337180.337227
Full text: PDFPDF

We demonstrate how XML and related technologies can be used for code mobility at any granularity, thus overcoming the restrictions of existing approaches. By not fixing a particular granularity for mobile code, we enable complete programs as well as ...
expand
Principled design of the modern Web architecture
Roy T. Fielding, Richard N. Taylor
Pages: 407-416
doi>10.1145/337180.337228
Full text: PDFPDF

The World Wide Web has succeeded in large part because its software architecture has been designed to meet the needs of an Internet-scale distributed hypermedia system. The modern Web architecture emphasizes scalability of component ...
expand
A study on exception detection and handling using aspect-oriented programming
Martin Lippert, Cristina Videira Lopes
Pages: 418-427
doi>10.1145/337180.337229
Full text: PDFPDF

Aspect-Oriented Programming (AOP) is intended to ease situations that involve many kinds of code tangling. This paper reports on a study to investigate AOP's ability to ease tangling related to exception detection and handling. We took an existing framework ...
expand
A case study in root cause defect analysis
Marek Leszak, Dewayne E. Perry, Dieter Stoll
Pages: 428-437
doi>10.1145/337180.337232
Full text: PDFPDF

There are three interdependent factors that drive our software development processes: interval, quality and cost. As market pressures continue to demand new features ever more rapidly, the challenge is to meet those demands while increasing, or at least ...
expand
Bandera: extracting finite-state models from Java source code
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Păsăreanu, Robby, Hongjun Zheng
Pages: 439-448
doi>10.1145/337180.337234
Full text: PDFPDF

Finite-state verification techniques, such as model checking, have shown promise as a cost-effective means for finding defects in hardware designs. To date, the application of these techniques to software has been hindered by several obstacles. Chief ...
expand
Quickly detecting relevant program invariants
Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin
Pages: 449-458
doi>10.1145/337180.337240
Full text: PDFPDF

Explicitly stated program invariants can help programmers by characterizing certain aspects of program execution and identifying program properties that must be preserved when modifying code. Unfortunately, these invariants are usually absent from code. ...
expand
Characterizing implicit information during peer review meetings
Patrick d'Astous, Pierre N. Robillard
Pages: 460-466
doi>10.1145/337180.343189
Full text: PDFPDF
Object-oriented inspection in the face of delocalisation
Alastair Dunsmore, Marc Roper, Murray Wood
Pages: 467-476
doi>10.1145/337180.337343
Full text: PDFPDF

Software inspection is now widely accepted as an effective technique for defect detection. This acceptance is largely based on studies using procedural program code. This paper presents empirical evidence that raises significant questions about the application ...
expand
An inheritance-based technique for building simulation proofs incrementally
Idit Keidar, Roger Khazan, Nancy Lynch, Alex Shvartsman
Pages: 478-487
doi>10.1145/337180.337358
Full text: PDFPDF

This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their specifications.The technique for building specifications ...
expand
Verification of time partitioning in the DEOS scheduler kernel
John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
Pages: 488-497
doi>10.1145/337180.337364
Full text: PDFPDF

This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. The goal of the experiment was to investigate whether model checking could ...
expand
Graphical animation of behavior models
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
Pages: 499-508
doi>10.1145/337180.337368
Full text: PDFPDF

Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and in interpreting the meaning and significance of analysis results in relation ...
expand
Towards the principled design of software engineering diagrams
Corin Gurr, Konstantinos Tourlas
Pages: 509-518
doi>10.1145/337180.337371
Full text: PDFPDF

Diagrammatic specification, modelling and programming languages are increasingly prevalent in software engineering and, it is often claimed, provide natural representations which permit of intuitive reasoning. A desirable goal of software engineering ...
expand
From MCC and CMM: technology transfers bright and dim
Bill Curtis
Pages: 521-530
doi>10.1145/337180.337375
Full text: PDFPDF

This paper describes lessons learned during the author's five lives in technology transfer. The author's first life came in General Electric's Space Division where he performed research on software metrics and structured programming, and transferred ...
expand
Fraunhofer: the German model for applied research and technology transfer
Dieter Rombach
Pages: 531-537
doi>10.1145/337180.337443
Full text: PDFPDF

The Fraunhofer Gesellschaft e.V. in Germany is Europe's largest and most successful organization for applied research and technology transfer. Its 48 institutes cover all areas of technology and engineering ranging from materials and production technology ...
expand
Software development engineer in Microsoft: a subjective view of soft skills required
Martin Orsted
Pages: 539-540
doi>10.1145/337180.337445
Full text: PDFPDF

This paper is a position statement. There are important requirements on software development engineers that go beyond the normal academic qualifications and technical skills, and which quite often receive a lower priority in education and training.
expand
Software needs engineering: a position paper
Jane B. Grimson, Hans-Jürgen Kugler
Pages: 541-544
doi>10.1145/337180.337446
Full text: PDFPDF

When the general press refers to 'software' in its headlines, then this is often not to relate a success story, but to expand on yet another 'software-risk-turned-problem-story.'For many people the term 'software' evokes the image of an application package ...
expand
Is software education narrow-minded?: a position paper
Peter Morrogh
Pages: 545-546
doi>10.1145/337180.337451
Full text: PDFPDF

The content of computer science and software engineering courses needs to be examined so that students are better prepared to cope with the challenges of a rapidly changing software industry.
expand
An approach to architectural analysis of product lines
Gerald C. Gannod, Robyn R. Lutz
Pages: 548-557
doi>10.1145/337180.337455
Full text: PDFPDF

This paper addresses the issue of how to perform architectural analysis on an existing product line architecture. The con tribution of the paper is to identify and demonstrate a repeatable product line architecture analysis process. The approach defines ...
expand
Introducng a software modeling concept in a medium-sized company
Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Floian Bernauer
Pages: 558-567
doi>10.1145/337180.337461
Full text: PDFPDF

In this paper, we describe, using the Quality Improvement Paradigm (QIP), how an improvement project aimed at improving the modeling and documentation approach of a medium-sized company (MSuD) was conducted. We discuss the new modeling approach which ...
expand
From research to reward: challenges in technology transfer
Adrian M. Colyer
Pages: 569-576
doi>10.1145/337180.337467
Full text: PDFPDF

Over a five year period the Applied Science & Technology group of IBM's Hursley Laboratory in England turned itself from a fully-funded research organisation into an entirely self-funded technology transfer group. Much practical experience and insight ...
expand
Technology transfer macro-process: a practical guide for the effective introduction of technology
Tetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa
Pages: 577-586
doi>10.1145/337180.337470
Full text: PDFPDF

In our efforts to increase software development productivity, we have worked to introduce numerous software development techniques and technologies into various target organizations. Through these efforts, we have come to understand the difficulties ...
expand
When the project absolutely must get done: marrying the organization chart with the precedence diagram
Stan Rifkin
Pages: 588-596
doi>10.1145/337180.337475
Full text: PDFPDF

Very little is new in project planning, but this is! We present a technique to marry the organization chart with a project's task precedence diagram. This permits us to simulate the project at a micro, project-specific level never before achieved. We ...
expand
An evaluation of the paired comparisons method for software sizing
Eduardo Miranda
Pages: 597-604
doi>10.1145/337180.337477
Full text: PDFPDF

This paper evaluates the accuracy, precision and robustness of the paired comparisons method for software sizing and concludes that the results produced by it are superior to the so called “expert” approaches.
expand
Grow fast, grow global: how the Irish software industry evolved to this business model
Barry Murphy
Pages: 606-607
doi>10.1145/337180.337480
Full text: PDFPDF
The making of Orbix and the iPortal suite
Sean Baker
Pages: 609-616
doi>10.1145/337180.337484
Full text: PDFPDF

IONA released the first full implementation of the CORBA standard in August 1992, and our first product, Orbix, has become the most successful object request broker, capturing almost 70-percent of this market. It has spawned many follow-on products from ...
expand
Improvement of a configuration management system
Frank Titze
Pages: 618-625
doi>10.1145/337180.337488
Full text: PDFPDF

The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for the software development process. In contrast to application software for ...
expand
Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise
Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen
Pages: 626-633
doi>10.1145/337180.337492
Full text: PDFPDF

Software process improvement is a demanding and complex undertaking. To support the constitution and implementation of software process improvement schemes the Software Engineering Institute (SEI) proposes a framework, the so-called IDEAL model. This ...
expand
European experiences with software process improvement
Fran O'Hara
Pages: 635-640
doi>10.1145/337180.337495
Full text: PDFPDF

Assessment models used include SPICE (ISO/IEC TR 15504) [1] and Software Engineering Institute's CMM1 [2] (one organisation also achieved ISO9001 certification).
expand
Software process improvement by object technology (ESSI PIE 27785 — SPOT)
Antonio Caliò, Massimo Autiero, Giuseppe Bux
Pages: 641-647
doi>10.1145/337180.337497
Full text: PDFPDF

This paper describes the on going experience of Caliò Informatica Srl in a project of Process Improvement Experiment (PIE) sponsored by the Community's ESSI (European Systems and Software Initiative) program. The experiment concerns the improvement ...
expand
Daily build and feature development in large distributed projects
Even-André Karlsson, Lars-Göran Andersson, Per Leion
Pages: 649-658
doi>10.1145/337180.337498
Full text: PDFPDF

Daily build is a software development paradigm that originated in the PC industry to get control of the development process, while still allowing the focus on end user requirements and code. The PC industry used daily build to avoid chaos in increasingly ...
expand
Why don't we get more (self?) respect: the positive impact of software engineering research upon practice
Barry W. Boehm, Mike Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller, Jr. / Leon Osterweil
Page: 660
doi>10.1145/337180.343191
Full text: PDFPDF

Software vendors rarely acknowledge their debt to research, indeed often are unaware of it, and rarely even appreciate the importance of such acknowledgement. The long lead times, and tortuous adoption paths, for software engineering research contributions ...
expand
Component-based software engineering and the issue of trust
Bill Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw / George T. Heineman
Pages: 661-664
doi>10.1145/337180.337501
Full text: PDFPDF

Software component consumers are entitled to trusted components. This panel addresses the criteria for trusted components and presents generally accepted definitions for all terms used to describe both software components and the methods and processes ...
expand
Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycle
Günther Ruhe, Donald J. Bagert, Helen Edwards, Michael Ryan / Nancy R. Mead, Hossein Saiedian
Pages: 665-668
doi>10.1145/337180.337504
Full text: PDFPDF

One of the most serious issues facing the software engineering education community is the lack of qualified tenure-track (full-time) faculty to teach software engineering courses, particularly at the undergraduate level. Similarly, one of the most serious ...
expand
Who needs doctors? (panel session) (abstract only)
Jeff Magee, Mauro Pezzè
Page: 669
doi>10.1145/337180.343193
Full text: PDFPDF
Lessons learned from teaching reflective software engineering using the Leap toolkit
Carlton A. Moore
Pages: 672-675
doi>10.1145/337180.337508
Full text: PDFPDF
Can quality graduate software engineering courses really be delivered asynchronously on-line?
Stephen Edwards
Pages: 676-679
doi>10.1145/337180.337512
Full text: PDFPDF

This article briefly presents a case study in on-line asynchronous course delivery. It sketches the design of a graduate computer science course entitled “Software Design and Quality,” illustrating an effective approach to distance learning ...
expand
Multibook's test environment
Nathalie Poerwantoro, Abdulmotaleb El Saddik, Bernd Krämer, Ralf Steinmetz
Pages: 680-683
doi>10.1145/337180.337514
Full text: PDFPDF

Well engineered Web based courseware and exercises provide flexibility and added value to the students, which goes beyond the traditional text book or CD-ROM based courses. The Multibook project explores the boundaries of customized learning materials ...
expand
E-Slate: a software architectural style for end-user programming
George Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou
Pages: 684-687
doi>10.1145/337180.337521
Full text: PDFPDF
An interactive multimedia software house simulation for postgraduate software engineers
Helen Sharp, Pat Hall
Pages: 688-691
doi>10.1145/337180.337528
Full text: PDFPDF

The Open University's M880 Software Engineering is a postgraduate distance education course aimed at software professionals. The case study element of the course (approximately 100 hours of study) is presented through an innovative interactive ...
expand
LIGHTVIEWS — visual interactive Internet environment for learning OO software testing
Sita Ramakrishnan
Pages: 692-695
doi>10.1145/337180.337532
Full text: PDFPDF

The Internet has been recognised not only as a tool for communication in the 21st century but also as an environment for enabling changes in the paradignm of teaching and learning. This paper describes our development effort, sponsored by the Committee ...
expand
The ICSE2000 doctoral workshop
Jeff Magee, Mauro Pezzè
Page: 697
doi>10.1145/337180.337538
Full text: PDFPDF

Doctoral research in software engineering is a major source of new ideas and of key importance in training scientists for the information technology community. The rapid evolution of information technology is challenging the relevance of doctoral programs ...
expand
A logical framework for design composition
Jing Dong
Pages: 698-700
doi>10.1145/337180.337542
Full text: PDFPDF

The design of a large component-based software system typically involves the composition of different components. The lack of rigorous reasoning about the correctness of composition is an important barrier towards the promise of “plug and play”. ...
expand
Algorithmic cost estimation for software evolution
Juan F. Ramil
Pages: 701-703
doi>10.1145/337180.337587
Full text: PDFPDF

This study addresses the problem of cost estimation in the context of software evolution by building a set of quantitative models and assessing their predictive power. The models aim at capturing the relationship between effort, productivity and a suite ...
expand
Estimating software fault-proneness for tuning testing activities
Giovanni Denaro
Pages: 704-706
doi>10.1145/337180.337592
Full text: PDFPDF
Formal verification applied to Java concurrent software
Radu Iosif
Pages: 707-709
doi>10.1145/337180.337594
Full text: PDFPDF

Applying existing finite-state verification tools to software systems is not yet easy for a variety of reasons. This research activity aims to integrate formal verification with programming languages currently used in software development. In particular, ...
expand
Supporting dynamic distributed work processes with a component and event based approach
Peter J. Kammer
Pages: 710-712
doi>10.1145/337180.337596
Full text: PDFPDF
Platform-independent and tool-neutral test descriptions for automated software testing
Chang Liu
Pages: 713-715
doi>10.1145/337180.337598
Full text: PDFPDF

Current automatic test execution techniques are sensitive to changes in program implementation. Moreover, different test descriptions are required by different testing tools. As a result, it is difficult to maintain or port test descriptions. To address ...
expand
Contribution to simplifying the mobile agent programming
Marek Paralič
Pages: 716-718
doi>10.1145/337180.337600
Full text: PDFPDF

This paper introduces an experimental framework for mobile agents. It utilizes expressiveness and formal foundation of concurrent constraint programming to solve the problem of system support for dynamic rebinding of not transferable resources and inter-agent ...
expand
Spontaneous software: a Web-based, object computing paradigm
Glêdson Elias da Silveira
Pages: 719-721
doi>10.1145/337180.337603
Full text: PDFPDF
Automated refactoring to introduce design patterns
Mel Ó Cinnéide
Pages: 722-724
doi>10.1145/337180.337612
Full text: PDFPDF

Software systems have to be flexible in order to cope with evolving requirements. However, since it is impossible to predict with certainty what future requirements will emerge, it is also impossible to know exactly what flexibility to build into a system. ...
expand
High-integrity code generation for state-based formalisms
Michael W. Whalen
Pages: 725-727
doi>10.1145/337180.337615
Full text: PDFPDF

We are attempting to create a translator for a formal state-based specification language (RSML-&egr;) that is suitable for use in safety-critical systems. For such a translator, there are two main concerns: the generated code must ...
expand
Alcoa: the alloy constraint analyzer
Daniel Jackson, Ian Schechter, Hya Shlyahter
Pages: 730-733
doi>10.1145/337180.337616
Full text: PDFPDF

Alcoa is a tool for analyzing object models. It has a range of uses. At one end, it can act as a support tool for object model diagrams, checking for consistency of multiplicities and generating sample snapshots. At the other end, it embodies a lightweight ...
expand
Hyper/J: multi-dimensional separation of concerns for Java
Harold Ossher, Peri Tarr
Pages: 734-737
doi>10.1145/337180.337618
Full text: PDFPDF

Hyper/J™ supports flexible, multi-dimensional separation of concerns for Java™ software. This demonstration shows how to use Hyper/J in some important development and evolution seenarios, emphasizing the software engineering benefits it provides.
expand
A software engineering approach and tool set for developing Internet applications
David A. Marca, Beth A. Perdue
Pages: 738-741
doi>10.1145/337180.337619
Full text: PDFPDF

If a business built a plant to produce products without first designing a process to manufacture them, the risk would be lack of capacity without significant plant redesign. Similarly, lacking a software engineering approach and tools for designing ...
expand
The FUJABA environment
Ulrich Nickel, Jörg Niere, Albert Zündorf
Pages: 742-745
doi>10.1145/337180.337620
Full text: PDFPDF

However, a single collaboration diagram is usually not expressive enough to model complex operations performing several modifications at different parts of the overall object structure. Such series of modifications need several collaboration diagrams ...
expand
Managing software artifacts on the Web with Labyrinth
Fabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto
Pages: 746-749
doi>10.1145/337180.337621
Full text: PDFPDF

Software developers are increasingly exploiting the Web as a document management system. However, the Web has some limitations, since it is not aware of the structure and semantics associated to pieces of information (e.g., the fact ...
expand
Galileo: a tool built from mass-market applications
David Coppit, Kevin J. Sullivan
Pages: 750-753
doi>10.1145/337180.337622
Full text: PDFPDF

We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call package-oriented programming (POP). Galileo represents an ongoing evaluation of the POP approach, where multiple large, architecturally ...
expand
Little-JIL/Juliette: a process definition language and interpreter
Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton, Jr., Eric K. McCall, Alexander Wise, Leon J. Osterweil
Pages: 754-757
doi>10.1145/337180.337623
Full text: PDFPDF

Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step,” ...
expand
Analyzing software architectures with Argus-I
Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson
Pages: 758-761
doi>10.1145/337180.337624
Full text: PDFPDF

This formal research demonstration attempts to present an approach to develop and assess architecture and component-based systems based on specifying software architecture augmented by statecharts representing component behavioral specifications [1]. ...
expand
Bandera: a source-level interface for model checking Java programs
James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
Pages: 762-765
doi>10.1145/337180.337625
Full text: PDFPDF

Despite emerging tool support for assertion-checking and testing of object-oriented programs, providing convincing evidence of program correctness remains a difficult challenge. This is especially true for multi-threaded programs. Techniques for reasoning ...
expand
Developing mobile computing applications with LIME
Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman
Pages: 766-769
doi>10.1145/337180.337626
Full text: PDFPDF

Mobile computing defines a very dynamic and challenging scenario for which software engineering practices are still largely in their initial developments. LIME is a middleware designed to enable the rapid development of dependable applications in the ...
expand
Component composition (poster session)
Bart Michiels, Bart Wydaeghe
Page: 771
doi>10.1145/337180.337627
Full text: PDFPDF

This poster depicts a novel approach to document components in a uniform and abstract way. Every use of component is expressed with a specific kind of message sequence charts (MSC), using a limited set of standard primitives with predefined semantics. ...
expand
Third eye — specification-based analysis of software execution traces (poster session)
Raimondas Lencevicius, Alexander Ran, Rahav Yairi
Page: 772
doi>10.1145/337180.337628
Full text: PDFPDF

Another concept of Third Eye is the tracing state. Tracing state is a set of event types generated in that state, other event types are filtered out and not reported. The system is always in a specific tracing state. Tracing states correspond ...
expand
Empirical investigation of a novel approach to check the integrity of software engineering measuring processes (poster session)
Skylar Lei, Michael Smith, Giancarlo Succi
Page: 773
doi>10.1145/337180.337629
Full text: PDFPDF

This distribution is counter-intuitive for at least two reasons. First it would seem “obvious” that the numbers drawn from a list generated from widely different arbitrary processes would have roughly equally probabilities for the digits ...
expand
The implication of different learning styles on the modeling of object-oriented systems (poster session)
Lynda A. Thomas
Page: 774
doi>10.1145/337180.337630
Full text: PDFPDF

This poster reports on work in progress on the implication of thinking and learning styles on the modelling of Object-Oriented Systems. In particular, analyses of learning modalities are presented and then considered in light of using the Unified Modelling ...
expand
A culture-centered multilevel software process cycle model (poster session)
Silvia Teresita Acuña, Graciela Elisa Barchini, Mabel Sosa
Page: 775
doi>10.1145/337180.337631
Full text: PDFPDF

In this paper a culture-centered multilevel software process cycle model (MPCM) is presented. This model interrelates the socio-cultural, scientific/technological and paradigmatological environments. The proposed model is composed of ...
expand
Using application states in software testing (poster session)
Chang Liu, Debra J. Richardson
Page: 776
doi>10.1145/337180.337632
Full text: PDFPDF

Algorithmic cost estimation in the context of software evolution is being addressed as part of the FEAST/2 project with encouraging results from an industrial case study.
expand
Effort estimation from change records of evolving software (poster session)
Juan F. Ramil, Meir M. Lehman
Page: 777
doi>10.1145/337180.337633
Full text: PDFPDF

Algorithmic cost estimation in the context of software evolution is being addressed as part of the FEAST/2 project with encouraging results from an industrial case study.
expand
Modeling deployment and configuration of CORBA systems with UML (poster session)
Alan D. Sloane
Page: 778
doi>10.1145/337180.337634
Full text: PDFPDF

An area of CORBA-based distributed systems which has been difficult to design and document is that of deployment of server components and configuration information.This poster shows by way of an example taken from a health-care system how UML Deployment ...
expand
As strong as possible mobility (poster session)
Tim Walsh, Paddy Nixon, Simon Dobson
Page: 779
doi>10.1145/337180.337635
Full text: PDFPDF

An executing thread, in an object oriented programming language, is spawned, directly or indirectly, by a main process. This in turn gets its instructions from a primary class. In Java there is no close coupling of a thread and the objects from which ...
expand
Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster session)
K. Suzanne Barber, Stephen R. Jernigan
Page: 780
doi>10.1145/337180.337636
Full text: PDFPDF
The use of task analysis methods in support of the development of interactive systems
Yousef H. Daabaj
Page: 781
doi>10.1145/337180.337637
Full text: PDFPDF

One of the major and continuing problems for the information technology community is the tendency to create technically excellent and advanced products, which do not meet the needs of the real users. Capturing and analysis of user requirements and tasks ...
expand
DeBOT — an approach for constructing high performance, scalable distributed object systems (panel session)
Anna Liu
Page: 782
doi>10.1145/337180.337638
Full text: PDFPDF

The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. This demonstration focuses on a Web-based system that supports dynamic component ...
expand
Exploring O-O framework usage (poster session)
Garry Froehlich, Amr Kamel, Paul Sorenson
Page: 783
doi>10.1145/337180.337639
Full text: PDFPDF
Tracking, predicting and assessing software reuse costs: an automated tool
A. Mili, S. Fowler Chmiel, R. Gottumukkala, L. Zhang
Page: 785
doi>10.1145/337180.337640
Full text: PDFPDF
Holmes: a system to support software product lines
Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedrycz
Page: 786
doi>10.1145/337180.337641
Full text: PDFPDF
Supporting dynamic composition of components
Giancarlo Succi, Raymond Wong, Eric Liu, Michael Smith
Page: 787
doi>10.1145/337180.337642
Full text: PDFPDF

The Internet creates new opportunities for component distribution. Infrastructure for dynamic, Web-based composition of software components appears to be a very impelling need. This demonstration focuses on a Web-based system that supports dynamic component ...
expand
Prompter — a project planning assistant
Rory O'Connor, Robert Cochran, Tony Moynihan
Page: 788
doi>10.1145/337180.337643
Full text: PDFPDF

The aim of the Prompter project was to develop the Prompter tool, a “decision-support tool to assist in the planning and managing of a software project”. Prompter has the ability to help software project planners assimilate best practice ...
expand
Visualizing software release histories with 3DSoftVis
Claudio Riva
Page: 789
doi>10.1145/337180.337644
Full text: PDFPDF

This paper briefly introduces a 3-D visualization tool (3DSoftVis) that has been developed for the analysis of the evolution of an industrial software system.
expand
Legacy systems migration in CelLEST
Eleni Stroulia, Mohammad El-Ramly, Paul Sorenson, Roland Penner
Page: 790
doi>10.1145/337180.337645
Full text: PDFPDF
Process engineering with Spearmint/EPG
Ulrike Becker-Kornstaedt, Louise Scott, Jörg Zettel
Page: 791
doi>10.1145/337180.337646
Full text: PDFPDF

This paper presents the Spearmint process modeling tool and the Electronic Process Guide (EPG) generator. Together they enable process engineers to elicit, model, analyze and document software processes and then to automatically generate web-based guidebooks ...
expand
An overview of the ICSE 2000 workshop program
Antonia Bertolino, Gail C. Murphy
Page: 793
doi>10.1145/337180.337816
Full text: PDFPDF

Past ICSE attendees will recognize—with pleasure, we hope—workshops that have been successful in previous years. Indeed, we have tried to balance the program between workshops based on novel and promising ideas, with those strongly continuing ...
expand
Second ICSE Workshop on Web Engineering (workshop session)
San Murugesan, Yogesh Deshpande
Pages: 794-795
doi>10.1145/337180.337818
Full text: PDFPDF

WEB ENGINEERING is a rapidly emerging new discipline focusing on various aspects of successful development and deployment of large, complex Web sites and Web-based systems. Since 1997, interest in Web Engineering has been growing [1-9] and will continue ...
expand
The First International Workshop on Automated Program Analysis, Testing and Verification (workshop session)
Nigel Tracey, John Penix, Willem C. Visser
Page: 796
doi>10.1145/337180.337819
Full text: PDFPDF

Program analysis, testing and verification are key techniques for building confidence in and increasing the quality of software systems. Such activities typically cost upwards of 50% of total development costs. Automation aims to allow both reduced costs ...
expand
COTS Workshop: continuing collaborations for successful COTS development
John Dean, Tricia Oberndorf, Mark Vigder
Pages: 797-798
doi>10.1145/337180.337821
Full text: PDFPDF
Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering research
Janice Singer, Margaret-Anne Storey, Susan Elliott Sim
Pages: 799-800
doi>10.1145/337180.337823
Full text: PDFPDF

The goal of this workshop is to provide an interactive forum for software engineers and empirical researchers to investigate the feasibility of applying proven methods from other research disciplines to software engineering research. Participants submitted ...
expand
The Second International Symposium on Constructing Software Engineering Tools (CoSET2000) (workshop session)
Jonathan Gray, Louise Scott, Ian Ferguson
Pages: 801-802
doi>10.1145/337180.337822
Full text: PDFPDF
Design, specification, and verification of interactive systems (workshop session)
Philippe Palanque, Fabio Paternò
Pages: 803-804
doi>10.1145/337180.337824
Full text: PDFPDF
Workshop on standard exchange format (WoSEF) (workshop session)
Susan Elliott Sim, Ric Holt, Rainer Koschke
Pages: 805-806
doi>10.1145/337180.337825
Full text: PDFPDF
3rd workshop on software engineering over the Internet (workshop session)
Frank Mauer
Pages: 807-808
doi>10.1145/337180.337826
Full text: PDFPDF
Workshop on multi-dimensional separation of concerns in software engineering (workshop session)
Peri Tarr, William Harrison, Harold Ossher, Anthony Finkelsteiin, Bashar Nuseibeh, Dewayne Perry
Pages: 809-810
doi>10.1145/337180.337827
Full text: PDFPDF

Separation of concerns has been central to software engineering for decades, yet its many advantages are still not fully realized. A key reason is that traditional modularization mechanisms do not allow simultaneous decomposition according to multiple ...
expand
The 2nd International Workshop on Economics-Driven Software Engineering Research (workshop session)
Kevin J. Sullivan
Page: 811
doi>10.1145/337180.337829
Full text: PDFPDF

The need for research in this area is indicated by the serious shortfalls in our understanding of how best to design software for value creation. There are at least two basic dimensions to this shortfall. First, the core competency of software engineers ...
expand
WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session)
Tim Menzies
Pages: 812-813
doi>10.1145/337180.337831
Full text: PDFPDF

There is a growing realization that the design of effective software engineering tools must be smarter. Real world software specs can be very intricate. Manual browsing by a software engineer cannot reveal its subtleties. Automatic tools are required ...
expand
Software product lines (workshop session): economics, architectures, and applications
Peter Knauber, Giancarlo Succi
Pages: 814-815
doi>10.1145/337180.337832
Full text: PDFPDF
Agent-oriented software engineering (workshop session)
Paolo Ciancarini, Michael Wooldridge
Pages: 816-817
doi>10.1145/337180.337833
Full text: PDFPDF
Specifying and measuring quality in use (tutorial session)
Nigel Bevan
Page: 819
doi>10.1145/337180.337834
Full text: PDFPDF

select a product from among alternative products
expand
Designing and analyzing software architectures using ABASs (tutorial session)
Rick Kazman, Mark Klein
Page: 820
doi>10.1145/337180.337836
Full text: PDFPDF

This tutorial will discuss, exemplify, and involve the students in the use of Attribute-Based Architectural Styles (ABASs)—architectural styles accompanied by explicit analysis reasoning frameworks—in both the design and analysis of software ...
expand
Building modular object-oriented systems with reusable collaborations (tutorial session)
Karl J. Lieberherr, David H. Lorenz, Mira Mezini
Page: 821
doi>10.1145/337180.337838
Full text: PDFPDF

New approaches propose to deal with the tangling of logical units by extending the object-oriented language to support module (de)composition along more than one dimension of concern. The tutorial will briefly survey Aspect-Oriented Programming (@@@@ectJ ...
expand
Introduction to CORBA (tutorial session)
Steve Vinoski
Page: 822
doi>10.1145/337180.337839
Full text: PDFPDF

This tutorial provides the basics that developers need to begin understanding the Common Object Request Broker Architecture (CORBA) and using it to write industrial-strength distributed systems. You will learn about the basics of the Object Management ...
expand
Moving from ISO9000 to higher levels of the CMM (tutorial session)
Pankaj Jalote
Page: 823
doi>10.1145/337180.337840
Full text: PDFPDF

Practices in a “general” ISO organizationBrief introduction to CMMLeveraging ISO structures for CMMGaps in an ISO organization with respect to different levels of the CMM.Target maturity ...
expand
Planning realistic schedules using software architecture (tutorial session)
Robert L. Nord, Daniel J. Paulish, Dilip Soni
Page: 824
doi>10.1145/337180.337843
Full text: PDFPDF
Improving design and source code modularity using AspectJ (tutorial session)
Cristina Videira Lopes, Gregor Kiczales
Page: 825
doi>10.1145/337180.337848
Full text: PDFPDF

Using only traditional techniques the implementation of concerns like exception handling, multi-object protocols, synchronization constraints, and security policies tends to be spread out in the code. The lack of modularity for these concerns makes them ...
expand
Scalability issues in CORBA-based systems (tutorial session)
Steve Vinoski
Page: 826
doi>10.1145/337180.337849
Full text: PDFPDF

This tutorial addresses how both the Object Management Group (OMG) specifications and the implementation choices made by middleware providers and application developers affect Common Object Request Broker Architecture (CORBA) application scalability. ...
expand
Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights
Gregory J. Kirsch, Yannis Skulikaris
Page: 827
doi>10.1145/337180.337852
Full text: PDFPDF

This tutorial addresses how both the Object Management Group (OMG) specifications and the implementation choices made by middleware providers and application developers affect Common Object Request Broker Architecture (CORBA) application scalability. ...
expand
Software process improvement (tutorial session): best practices and lessons learned
Bill Curtis
Page: 828
doi>10.1145/337180.337853
Full text: PDFPDF
Designing real-time and distributed applications with the UML (tutorial session)4
Hassan Gomaa
Page: 829
doi>10.1145/337180.337855
Full text: PDFPDF

Object-oriented concepts are crucial in software design because they address fundamental issues of adaptation and evolution. With the proliferation of object-oriented notations and methods, the Unified Modeling Language (UML) has emerged to provide a ...
expand
System development using application services over the Net (tutorial session)
Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelsteiin, Sofia Guerra
Page: 830
doi>10.1145/337180.337856
Full text: PDFPDF
Software reliability (tutorial session): basic concepts and assessment methods
Bev Littlewood, Lorenzo Strigini
Page: 831
doi>10.1145/337180.337858
Full text: PDFPDF
Product-line architectures, aspects, and reuse (tutorial session)
Don Batory
Page: 832
doi>10.1145/337180.337860
Full text: PDFPDF

GenVoca PLA designs have been created for diverse domains: 2-way radios, extensible compilers, communication protocols, command-and-control fire support, avionics, and matrix computation libraries [7]. GenVoca designs are used in industry; its central ...
expand
Advanced visual modeling (tutorial session): beyond UML
Joseph Gil, John Howse, Stuart Kent
Page: 833
doi>10.1145/337180.337861
Full text: PDFPDF

The tutorial is example driven and illustrates how the new notations are combined with those of UML, including OCL. Some of the examples are drawn from industrial contexts, in particular the telecomms sector. Highlights include:A crash critique ...
expand
Understanding code mobility (tutorial session)
Gian Pietro Picco
Page: 834
doi>10.1145/337180.337863
Full text: PDFPDF

The tutorial provides a conceptual framework for code mobility by illustrating a taxonomy of related technologies, architectural paradigms, and applications. As a final case study, the concepts developed in the taxonomy are then applied to a quantitative ...
expand
Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment
Bev Littlewood, Lorenzo Strigini
Page: 835
doi>10.1145/337180.337864
Full text: PDFPDF

Research results indicate that (as usual in software engineering) these question can only be answered with reference to each specific application context and that diversity is no “silver bullet”. But diversity is an attractive option, made ...
expand
Improving software inspections by using reading techniques (tutorial session)
Victor Basili, Oliver Laitenberger, Forrest Shull, Ioana Rus
Page: 836
doi>10.1145/337180.337865
Full text: PDFPDF

Powered by The ACM Guide to Computing Literature


The ACM Digital Library is published by the Association for Computing Machinery. Copyright © 2016 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Reader    QuickTime    Windows Media Player    Real Player
Did you know the ACM DL App is now available?
Did you know your Organization can subscribe to the ACM Digital Library?
The ACM Guide to Computing Literature
All Tags
Export Formats
 
 
Save to Binder