This directory is created automatically and some papers may be mislabeled. Only document within the CiteSeer database are listed. The directory is intended to provide entry points for browsing the database and is not intended to be authoritative. Papers may not appear in all relevant categories. For example, papers in a sub-category may not appear in higher level categories.
Autonomous Agents for Business Process Management - Jennings, Norman, Faratin, O'Brien.. (2000)(Correct)
Traditional approaches to managing business processes are often inadequate for large-scale, organisation
-wide, dynamic settings. However since Internet and Intranet technologies have become widespr... / M. Wooldridge Agent-based software engineering. IEE Proceedings on br e.g. databases spreadsheets design software etc.required to complete
Investigating research issues in ubiquitous computing: The capture.. - Abowd (2000)(Correct)
te and access the rich interaction of the
classroom experience. This effort will grow to support a wide variety of classes and assist students throughout
their educational career and beyond. We will i... / efforts in the areas of Software Engineering and Human-Computer br individual tourist and for a software design team wanting to preserve
Tossing Algebraic Flowers down the Great Divide - Goguen (1999)(Correct)
Data Types and Algebraic Semantics The history of programming languages, and to a large extent of software engineering as a whole, can be seen as a succession of ever more powerful abstraction mechani... / know. . Computer software Software engineers have been less fortunate br OBJ and CafeOBJ to verify software designs it is especially suitable
A Framework for Managing Models in Nonlinear Optimization of.. - Serafini (1999)(Correct)
A Framework for Managing Models in Nonlinear
Optimization of Computationally Expensive
Functions
by
David B. Serafini
One of the most significant problems in the application of standard optimization
m... / . Discussion . Software design and implementation . br practical issues of algorithm design and software implementation and present
Hidden Algebra for Software Engineering - Goguen (1999)(Correct)
This paper is an introduction to recent research on hidden algebra and its application
to software engineering; it is intended to be informal and friendly, but still precise. We first review
classic... / Hidden Algebra for Software Engineering Joseph A. Goguen
Automatic Verification of Real-Time Designs - Felder (1999)(Correct)
We present an automatic approach to verify real-time distributed designs for complex timing requirements. We focus our analysis on designs which adhere to the hypothesis of known analytical theory for... / Preemptive Scheduling Software Engineering Journal vol. no.
A Survey of Agent-Oriented Methodologies - Iglesias, Garijo, Gonzalez (1999)(Correct)
This article introduces the current agent-oriented methodologies. It discusseswhat approacheshave been followed (mainly extending existing objectoriented and knowledge engineering methodologies), th... / approaches Section and software-engineering techniques proposed by
A Theory of Type Qualifiers - Foster, Fähndrich, Aiken (1999)(Correct)
We describe a framework for adding type qualifiers to a language. Type qualifiers encode a simple but highly useful form of subtyping. Our framework extends standard type rules to model the flow of qu... / our proposal into software engineering tools for any typed
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999)(Correct)
We present a family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that perform destructive updating on dynamically allocated storage. The main id... / Subject Descriptors D. . Software Engineering Testing and Debugging-
An Approach to Animating Model-Based Object-Oriented Formal.. - Czarnecki, Zhang, Lano (1999)(Correct)
One of the important issues in the application
of formal notations in software development is the validation
of formal specifications against the informal customer
requirements. Animation has been pro... / Ieee Transactions On Software Engineering Vol. Xx No. Y Month br reuse and evolution in software design in IEEE Trans. Software
Physical Type Checking for C - Chandra, Reps (1999)(Correct)
The effectiveness of traditional type checking in C is limited by the presence of type conversions
using type casts. Because the C standard allows arbitrary type conversions between pointer types,
nei... / useful information for software engineering applications.
Multithreaded Dependence Graphs for Concurrent Java Programs - Zhao (1999)(Correct)
Understanding program dependencies in a computer program is essential for many software engineering activities including program slicing, testing, debugging, reverse engineering, and maintenance. In t... / is essential for many software engineering activities including
The Application of Program Slicing to Regression Testing - Binkley (1999)(Correct)
Software maintainers are faced with the task of regression testing: retesting a program after a modification.
The goal of regression testing is to ensure that bug fixes and new functionality do not ad... / is an important part of software engineering as it consumes at least
Matchmaking among Heterogeneous Agents on the Internet - Sycara (1999)(Correct)
The Internet is not only providing data for users to browse, but also databases to query, and software agents to run. Due to the exponential increase of deployed agents on the Internet, automating the... / problems in the area of software engineering and AI. Some of the main
Towards Reusable Real-Time Objects - Nielsen, Agha (1999)(Correct)
Large and complex real-time systems can benefit significantly from a component
based development approach where new systems are constructed by composing
reusable, documented and previously tested conc... / IEEE Transactions on Software Engineering -
A Highly Available Local Leader Election Service - Fetzer, Cristian (1999)(Correct)
We define the highly available local leader election
problem, a generalization of the leader election problem
for partitionable systems. We propose a protocol that solves
the problem efficiently and g... / Ieee Transactions On Software Engineering To Appear In A
Processes in Electronic Commerce - Alonso, Hagen, Lazcano (1999)(Correct)
Trading communities, virtual business processes and virtual
enterprises are key elements in today's Electronic Commerce.
In this paper, we argue that supporting these notions
is similar to supporting ... / process centered software engineering business processes or
Slicing Concurrent Java Programs - Zhao (1999)(Correct)
Although many slicing algorithms have been proposed for object-oriented programs, no slicing algorithm has been proposed which can be used to handle the problem of slicing concurrent Java programs cor... / applications in software engineering activities such as program
Quantitative Analysis of Faults and Failures in a Complex Software.. - Fenton (1999)(Correct)
We describe a number of results from a quantitative study of faults and failures in two releases of a major commercial system. We tested a range of basic software engineering hypotheses relating to: t... / We tested a range of basic software engineering hypotheses relating to the
Testing For Fault Tolerance - Ghosh, Mathur (1999)(Correct)
Software is being used for building applications requiring extreme dependability. In many
cases, systems must have high availability and fault tolerance. With the increasing complexity
of software, te... / Aditya P. Mathur y Software Engineering Research Center
The Amulet Prototype-Instance Framework - Myers, McDaniel, Miller (1999)(Correct)
Amulet is a new kind of object-oriented framework for user interface development that is
based on a prototype-instance object system instead of the conventional class-instance
object system. In a prot... / IEEE Transactions on Software Engineering. vol. no. . June
Distributed Object-Based Control Systems - Petre, Qvist, al. (1999)(Correct)
We show how to specify distributed control systems within the object-based
OO-action systems framework by combining informal and formal specification
methods in a novel way. UML diagrams serve partly ... / of them into the software engineering practice To
Coping with Type Casts in C - Siff, Chandra, Kunchithapadam, Reps (1999)(Correct)
The use of type casts is pervasive in C. Although casts provide great flexibility in writing
code, their use obscures the meaning of a piece of code, and can present obstacles during maintenance.
Cast... / point the way to several software engineering applications of these
Using a Goal-driven Approach to Generate Test Cases for GUIs - Memon (1999)(Correct)
The widespread use of GUIs for interacting with software
is leading to the construction of more and more
complex GUIs. With the growing complexity comes
challenges in testing the correctness of a GUI ... / International Conference on Software Engineering held in Los
Transformation Systems at NASA Ames - Wray Buntine (1999)(Correct)
In this paper, we describe the experiences of the Automated
Software Engineering Group at the NASA Ames
Research Center in the development and application
of of three different transformation systems.... / of the Automated Software Engineering Group at the NASA Ames br approach to domainoriented software design environments. In Proc. th
A Distributed Spatial Architecture For Bush Fire Simulation - Peter Eklund (1999)(Correct)
This paper describes a spatial systems architecture allowing clients
to modify parameters and run their own bush fire simulations via map
data provided by a world wide web server. The simulations conf... / Java virtual machine. The software engineering principles of Java derive
A Parallel Multiblock/Multidomain. . . - Wheeler, al. (1999)(Correct)
Our approach for parallel multiphysics and multiscale
simulation uses two levels of domain decomposition: physical
and computational. First, the physical domain is decomposed
into subdomains or blocks... / formulate numerical models and design software for multiblock domains
LIME: Linda Meets Mobility - Picco, Murphy, Roman (1999)(Correct)
Lime is a system designed to assist in the rapid development of dependable mobile applications over both wired and ad hoc networks. Mobile agents reside on mobile hosts and all communication takes pla... / Mobility. IEEE Trans. on Software Engineering May . D. Garlan
Text Classification by Bootstrapping with Keywords, EM and Shrinkage - McCallum, Nigam (1999)(Correct)
When applying text classification to complex
tasks, it is tedious and expensive
to hand-label the large amounts of training
data necessary for good performance.
This paper presents an alternative appr... / design engineering Software Engineering programming br software design engineering Software Engineering programming
Myths and Methods: Is There a Scientific Basis for Y2K Inspections? - Parnas (1999)(Correct)
Although it is possible to use scientifically based mathematical models in the analysis
of software, most programmers rely on their intuitive understanding instead. With
complex programs, our intuitio... / Industrial Research Chair in Software Engineering Director of the Software
Formal Development of Secure Email - Zhou, Kuo, Older, Chin (1999)(Correct)
Developing systems that are assured to be secure requires
precise and accurate descriptions of specifications, designs,
implementations, and security properties. Formal specification
and verification ... / process acceptable to software engineers. In this paper we address
Experience with EMERALD to Date - Neumann (1999)(Correct)
After summarizing the EMERALD architecture and the evolutionary process from which EMERALD has evolved, this paper focuses on our experience to date in designing, implementing, and applying EMERALD to... / importance of good software engineering practice and the
Model-Based Testing in Practice - Dalal, Jain, Karunanithi, Leaton.. (1999)(Correct)
Model-based testing is a new and evolving technique for generating
a suite of test cases from requirements. Testers using
this approach concentrate on a data model and generation
infrastructure instea... / IEEE Transactions on Software Engineering - July
Bayesian Analysis of Empirical Software Engineering Cost Models - Sunita Chulani (1999)(Correct)
To date many software engineering cost models have been developed to predict the cost, schedule and
quality of the software under development. But, the rapidly changing nature of software development ... / Analysis of Empirical Software Engineering Cost Models Sunita br estimation models enable the engineering software community to more
A Combinatorial Problem in Database Security - Peter Horak (1999)(Correct)
Let A be a k-dimensional matrix of size d 1 \Theta:::\Thetad k : By a contiguous
submatrix B of A we understand the matrix B = fa i 1 :::i k g; i 1 :::i k 2
I 1 \Theta ::: \Theta I k ;where I s is an... / of Computer Science and Software Engineering The University of
Practical Architectures for Survivable Systems and Networks.. - Neumann (1999)(Correct)
This report summarizes the analysis of survivability-related requirements
and their interdependence. It also identifies inadequacies in existing commercial
systems and the absence of components that... / . . Software Engineering Practice . br highly disciplined system-engineering and software-engineering concepts that
Design Issues for Mixed-Initiative Agent Systems - Hartrum, DeLoach (1999)(Correct)
This paper addresses the effect of mixed-initiative systems
on multiagent systems design. A mixed-initiative system is
one in which humans interact directly with software agents
in a collaborative app... / is similar to traditional software engineering methodologies but
Information Survivability Control Systems - Kevin Sullivan (1999)(Correct)
We address the dependence of critical infrastructures---
including electric power, telecommunications, finance and
transportation---on vulnerable information systems. Our
approach is based on the noti... / creates new challenges for software engineering research as well as br to pursue connections between software design for survivable
Technology guidelines for implementing a Multi-Agent Architecture for .. - Wang, Conradi (1999)(Correct)
This paper looks at the technology decision and considerations we must make
in order to design and implement multi-agent system to support Cooperative Software
Engineering (CSE). The first part of thi... / for Cooperative Software Engineering Alf Inge Wang and Reidar br CSE CooperativeSoftware Engineering software components agents
PVS Bibliography - Rushby (1998)(Correct)
this report, including the BibT
E
X bibliography, are available
at http://www.csl.sri.com/pvs-bib.html. PVS users are encouraged to use the
BibT
E
X entries from these files, which are as accurate, co... / . Published as ACM Software Engineering Notes Vol. No. br to software requirements and software design for aircraft - and
A Programming Model for Block-Structured Scientific Calculations on.. - Fink (1998)(Correct)
None] unknown UNIVERSITY OF CALIFORNIA, SAN DIEGO
A Programming Model for Block-Structured
Scientific Calculations on SMP Clusters
requirements for the degree Doctor of Philosophy
in the Department ... / . . Software Engineering Issues . br domain-specific library software design for adaptive finite
The Omnipresence of Case-Based Reasoning in Science and Application - Aha (1998)(Correct)
A surprisingly large number of research disciplines have contributed towards the
development of knowledge on lazy problem solving, which is characterized by its storage
of ground cases and its demand ... / variants on k-d trees Software Engineering Software reuse Process br on k-d trees Software Engineering Software reuse Process Planning
Colimit Library for Graph Transformations and Algebraic Development.. - Dietmar Wolz (1998)(Correct)
ions are defined both for objects and layers. There are several compatibility
requirements for the definition of these functions. The set of objects contains a specific
?-element which allows the sou... / design tool could support the software engineer in following these br . Motivation Software design always involves structuring
Inferring Declarative Requirements Specifications from Operational.. - van Lamsweerde, Willemet (1998)(Correct)
Scenarios are increasingly recognized as an effective means for eliciting, validating, and documenting
software requirements. This paper concentrates on the use of scenarios for requirements elicitati... / from IEEE Transactions on Software Engineering Special Issue on Scenario br of Style Analyzing a Software Design Feature with a Counterexample
Models of Computation for Embedded System Design - Lavagno, Sangiovanni-Vincentelli.. (1998)(Correct)
In the near future, most objects of common use will contain electronics
to augment their functionality, performance, and safety. Hence, time-tomarket,
safety, low-cost, and reliability will have to be... / systems. IEEE Trans. on Software Engineering April . br hardware parts leaving the software design to be done afterwards as an
Self-Organizing Maps And Software Reuse - Merkl (1998)(Correct)
Software reuse is the process of building new systems from existing
components instead of developing these systems from scratch. For a long
time now software reuse is repeatedly acknowledged for playi... / Intelligence in Software Engineering. World Scientific
Analysis of Scalable Algorithms for Dynamic Load Balancing and.. - Heirich (1998)(Correct)
This thesis presents and analyzes scalable algorithms for dynamic load balancing and mapping
in distributed computer systems. The algorithms are distributed and concurrent, have
no central thread of c... / IEEE Transactions on Software Engineering vol. SE- pp. br Journal of Advances in Engineering Software and proceedings of the
Coordination Models and Languages - Papadopoulos, ARBAB (1998)(Correct)
A new class of models, formalisms and mechanisms has recently evolved for describing concurrent and distributed computations based on the concept of "coordination". The purpose of a coordination model... / Farhad Arbab Department Of Software Engineering Cwi Amsterdam The
Stack-Based Typed Assembly Language - Morrisett, Crary, Walker, Glew (1998)(Correct)
In previous work, we presented Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. That work assumed such a co... / have efficiency and software engineering advantages over their
Coordinating Human and Computer Agents - Decker (1998)(Correct)
In many application areas individuals are responsible for an
agenda of tasks and face choices about the best way to locally handle
each task, in what order to do tasks, and when to do them. Such dec... / engineering simulations or software design programs leading to the
Typability and Type Checking in System F Are Equivalent and.. - Wells (1998)(Correct)
Girard and Reynolds independently invented System F (a.k.a. the second-order polymorphically
typed lambda calculus) to handle problems in logic and computer programming
language design, respectively. ... / other considerations. From a software engineering viewpoint programmers
Modeling Distributed Software Systems with Object Coordination Nets - Giese, Graf, Wirtz (1998)(Correct)
A dedicated approach for the design and development
of distributed software systems is outlined. The method
may be used in combination with any standard objectoriented
analysis and design method as fa... / International Symposium on Software Engineering for Parallel and br discuss the requirements for software design and development targeted to
Executing Formal Specifications with Constraint Programming - Wahls, Leavens, Baker (1998)(Correct)
We have implemented a technique for execution of formal, model-based specifications. The specifications
we can execute are written at a level of abstraction that has not previously been supported in
e... / CR Categories D. . Software Engineering br Elements of style Analyzing a software design feature with a counterexample
Behaviour Specification of Parallel Active Objects - Holvoet, Kielmann (1998)(Correct)
The development of parallel programs is primarily concerned with application speed.
This has led to the development of parallel applications in which software engineering
aspects play only subordinate... / applications in which software engineering aspects play only br quality such as structured design software extendibility reusability
Formalizing the UML in a Systems Engineering Approach - Wieringa (1998)(Correct)
This discussion note argues for embedding any formalization of semiformal notations
in a methodology. I present a methodological framework for software specification
based on systems engineering and s... / is a neglected aspect in software engineering but in other branches of br . H. Gomaa. Software Design Methods for Concurrent and
Integrating Database and World Wide Web Technologies - Feng (1998)(Correct)
Integrating database and World Wide Web technologies is another topic where industrial and practical
activities lead ahead of academic ones. The purpose of this article is to survey the related activi... / the RBSE Repository Based Software Engineering Spider Eichmann
Integrating Obstacles in Goal-Driven Requirements Engineering - van Lamsweerde, Letier (1998)(Correct)
Requirements engineering is concerned with the elicitation
of high-level goals to be achieved by the system envisioned,
the refinement of such goals and their operationalization
into services and cons... / International Conference on Software Engineering Kyoto ACM-IEEE April br of Style Analyzing a Software Design Feature with a Counterexample
The Generic Consensus Service - Guerraoui, Schiper (1998)(Correct)
This paper describes a modular approach for the construction of fault-tolerant
agreement protocols. The approach is based on a generic consensus service. Faulttolerant
agreement protocols are built us... /
Attributed Context-Free Hypergraph Grammars - Maneth, Vogler (1998)(Correct)
The concept of context-free hypergraph grammars (cfhg grammars) has been studied
extensively over the past decade. In this paper we introduce attributed context-free
hypergraph grammars (acfhg grammar... / every part of the software engineering life cycle by means of br can be used in the field of software design and engineering as a general
Agents And Software Engineering - Wooldridge (1998)(Correct)
Software engineers continually strive to develop tools
and techniques to manage the complexity that is inherent
in software systems. In this article, we argue
that intelligent agents and agent-based s... / Agents And Software Engineering Michael Wooldridge Queen
A Study of Semi-Automated Program Construction - Dayani-Fard, Glasgow, Lamb (1998)(Correct)
this paper, there has not been any comparative study
of the applications of AI techniques to software engineering with emphasis on
semi-automated program synthesis.
The AI techniques used in softwar... / Introduction The term Software Engineering was supposedly first br a crucial issue in software engineering software systems increasingly
Software Configuration Management and Engineering Data Management.. - Westfechtel, Conradi (1998)(Correct)
Engineering data management and software configuration
management have been evolving fairly independently. On the other hand,
it has been observed earlier that many parallels exist [10]. In this pap... / itself. Since the term software engineering was coined in the late br Bobrow. A Layered Approach to Software Design. Technical Report CSL- -
Dowsing: A Tool Framework for Domain-Oriented Browsing of Software.. - Clayton, Rugaber, Wills (1998)(Correct)
Program understanding is an essential part of software maintenance and enhancement activities that
relates a computer program to the goals and requirements it is designed to accomplish. Understanding
... / browsing is often used when a software engineer visually examines existing br Domain Analysis and Reverse Engineering.Software Engineering Techniques
Reasoning about implicit invocation - Dingel, Garlan, Jha, Notkin (1998)(Correct)
Implicit invocation [SN92, GN91] has become an important
architectural style for large-scale system design and evolution.
This paper addresses the lack of specification and verification
formalisms for... / on the Foundations of Software Engineering FSE- Lake Buena Vista
Property Specification Patterns for Finite-State Verification - Matthew Dwyer (1998)(Correct)
Finite-state verification (e.g., model checking)
provides a powerful means to detect errors that
are often subtle and difficult to reproduce. Nevertheless,
the transition of this technology from
resea... / a component of a Masters of Software Engineering curriculum. The students br of recurring solutions to software design problems but also the
Generic Completion (Version 1) - Bündgen (1998)(Correct)
Abstract rewrite systems define a reduction relation by a set of rules. An important
aspect of such rewrite relations is their behavior in an arbitrary context
associated with the underlying congruenc... / as possible. From the software engineering point of view there is
Tracing and Characterization of NT-based System Workloads - Jason Casmira (1998)(Correct)
Trace-driven simulation is commonly used by the computer architecture research community to pursue
answers to a wide variety of architectural design issues. Traces taken from benchmark execution (e.g.... / IEEE Transactions on Software Engineering Vol. SE- No. January br of Electrical and Computer Engineering Software Partner Engineering Group
Performance Analysis of Communication Systems Formally Specified in.. - Steppler (1998)(Correct)
This paper first presents the SDL--oriented method of
software design and then points out how to handle the
non--functional, quantitative design of an SDL--system using
performance analysis. Finally, ... / a new Computer Aided Software Engineering CASE oriented solution br the SDL-oriented method of software design and then points out how to
Design Recovery Through Formal Specification - Lim, Harrison, Bailes, Berglas (1998)(Correct)
The benefits of formal methods in software
development are well recognised and well documented.
Design recovery involves analysing the source code and
recovers the desired design elements based on des... / approach to software engineering is now widely br H. Reverse Engineering And Software Maintenance A Practical
Applying Slicing Technique to Software Architectures - Zhao (1998)(Correct)
Software architecture is receiving increasingly attention as a critical design level for software systems. As software architecture design resources (in the form of architectural specifications) are g... / has many applications in software engineering activities including br and quality reuse of software designs and patterns may offer the
A Generic Tool for Modelling and Simulating the Behaviour of.. - Tatyana Valkevych (1998)(Correct)
This report summarises the development of a portable, persistent and generic tool for modelling,
exploring and analysing the behaviour of concurrent systems. The design is based on the
general Action ... / to be integrated into the software engineering life-cycle of real systems br is continuing towards applied software design based on algebraic and logic
A Framework and Toolkit for the Construction of Multimodal Learning.. - Vo (1998)(Correct)
Multimodal human-computer interaction, in which the computer accepts input from multiple channels or modalities, is more flexible, natural, and powerful than unimodal interaction with input from a sin... / me to object-oriented software engineering Cindy Wood who helped me br platform applicable to the software design and implementation of
Timing Issues in System-Level Design - Dasdan, Gupta (1998)(Correct)
We present our view of the high-level timing issues
in the design and validation of embedded real-time
systems. We first define the derivation problem: the
problem of deriving internal timing constrai... / and limitation of most software design methods for real-time
Applying Agent Technology - Jennings, Wooldridge (1998)(Correct)
sked, whenever it is deemed to be appropriate (e.g., an agent may monitor news groups on the
Internet and return discussions that it believes to be of interest to the user).
Given this obvious diversi... / methodology of traditional software engineering in that the agents must be
Sirocco: Cost-Effective Fine-Grain Distributed . . . - Schoinas, al. (1998)(Correct)
Software fine-grain distributed shared memory
(FGDSM) provides a simplified shared-memory programming
interface with minimal or no hardware support. Originally
software FGDSMs targeted uniprocessor-no... / systems range from an all-software design to a design with minimal
Automating UI Generation by Model Composition - Stirewalt (1998)(Correct)
Automated user-interface generation environments have been criticized for their failure to deliver rich and powerful interactive applications[24]. To specify more powerful systems, designers need mult... / Submitted to Automated Software Engineering ASE' th IEEE
Evaluating Emerging Software Development Technologies: Lessons.. - Murphy, Walker, Baniassad (1998)(Correct)
Two of the most important and most difficult questions one can ask about a new
software development technique are whether the technique is useful and whether the
technique is usable. Various flavours ... / A growing number of software engineering researchers are using br assess the usefulness of a new software design and programming technique
Time Petri net unfoldings and hardware verification - Semenov, Yakovlev, Koelmans (1998)(Correct)
Real-time applications require hardware components to be predictable
in terms of their temporal characteristics. For this reason synchronous (clocked)
circuits have traditionally been used in real-tim... / nets. IEEE Transactions on Software Engineering - . br is now changing rapidly. Software design technologies have moved into
Rapid Prototyping of Specification Language Implementations - Leucker, Noll (1998)(Correct)
Specification languages such as LOTOS
and SDL play an important role in the design and
implementation of distributed systems. Their formal
syntax and semantics supports the development
of compilers an... / an ad hoc or conventional software engineering approach is not reasonable.
A Stakeholder Win-Win Approach to Software Engineering Education - Boehm, Egyed, Port, Shah, al. (1998)(Correct)
We are applying the stakeholder win-win approach to software engineering education. The
key stakeholders we are trying to simultaneously satisfy are the students; the industry recipients
of our gradua... / Win-Win Approach to Software Engineering Education Barry Boehm br in the Annals of Software Engineering -Software Engineering Education
Component Based Design of Multitolerance - Arora, Kulkarni (1998)(Correct)
The concept of multitolerance abstracts problems in system dependability and provides
a basis for improved design of dependable systems. In the abstraction, each source
of undependability in the syste... / method. In terms of software engineering practice however the two
A C++ Data Model Supporting Reachability Analysis and Dead Code.. - Chen, Gansner, Koutsofios (1998)(Correct)
A software repository provides a central information
source for understanding and reengineering code in
a software project. Complex reverse engineering tools can
be built by analyzing information stor... / Ieee Transactions On Software Engineering Vol. No. September br data modeling reverse engineering software reuse database
An Approach to Large-Scale Collection of Application Usage Data Over.. - Hilbert, Redmiles (1998)(Correct)
Empirical evaluation of software systems in actual usage
situations is critical in software engineering. Prototyping,
beta testing, and usability testing are widely used to refine
system requirements,... / situations is critical in software engineering. Prototyping beta br Developers and Users in Software Design. In Proceedings of the
Achieving Convergence, Causality-preservation, and.. - Chengzheng Sun (1998)(Correct)
ing with credit is permitted. To copy otherwise, to republish, to post on
servers, to redistribute to lists, or to use any component of this work in other works, requires prior
specific permission and... / Applications D. . Software Engineering Tools and br such as real-time cooperative software design and documentation systems.
Introducing Design Patterns for Petri Nets - Janneck, Naedele (1998)(Correct)
Petri nets are an established and well researched means for systems
modeling and simulation, but its use in the engineering community is not
as widespread as the applicability of the formalism would s... / being used in the software engineering domain see section br Magnani and Mauro Pezze. Software design of robot controllers with
Component Coordination in Middleware Systems - Radestock, Eisenbach (1998)(Correct)
Configuration and coordination are central issues in the design and implementation of
middleware systems and are one of the reasons why building such systems is more difficult
and complex than constru... / cf. Fig. From a software engineering viewpoint lower layers
Evaluating Testing Methods by Delivered Reliability - Frankl, Hamlet, Littlewood, Strigini (1998)(Correct)
There are two main goals in testing software: (1) To achieve adequate quality (debug testing);
the objective is to probe the software for defects so that these can be removed. (2) To assess
existing ... / International Conference on Software Engineering pages - br R. H. Cobb and H. D. Mills. Engineering software under statistical quality
On the Need for Practical Formal Methods - Heitmeyer (1998)(Correct)
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fundamental assumption ... / of commercial Computer-Aided Software Engineering CASE tools have become br methods in object-oriented software design and in software development
Pitfalls of Agent-Oriented Development - Wooldridge, Jennings (1998)(Correct)
While the theoretical and experimental foundations of agent-based
systems are becoming increasingly well understood, comparatively
little effort has been devoted to understanding the pragmatics of
(mu... / most influential work on software engineering and software project br work on software engineering and software project management yet
Statistical Analysis of Two Experimental Studies - Miller, Macdonald (1998)(Correct)
Software inspection is well-known as an effective defect finding process.
One avenue of inspection research concerns tool support, with the aim of
further increasing its efficiency and effectiveness. ... / out as part of a team-based Software Engineering course run by Strathclyde
Co-evolutionary Learning: Machines and Humans Schooling Together - Sklar (1998)(Correct)
We consider a new form of co-evolutionary learning in which human students and software tutors become partners in a cooperative learning process. While the students are learning from the tutors, the t... / machine learning ML is to design software systems that can learn
Elements of a Theory of Design Artefacts - a contribution to critical .. - Bertelsen (1998)(Correct)
System development is studied from the viewpoint of artefacts
utilised during the design process. Different aspects of design artefacts are
discussed based on a pragmatic classification of design ac... / -Essence and Accident in Software Engineering. In H.J. Kugler ed. br A Paradigm Case of Theory in Software
Specification-Based Browsing of Software Component Libraries - Fischer (1998)(Correct)
Specification-based retrieval provides exact content-oriented access to component libraries but requires too much deductive power. Specification-based browsing evades this bottleneck by moving any ded... / manually. As in other software engineering applications a fully
Inferring Function Semantics to Optimize Queries - Cherniack, Zdonik (1998)(Correct)
The goal of the COKO-KOLA project [10, 9] is to express
rules of rule-based optimizers in a manner permitting
verification with a theorem prover. In [10], we
considered query transformations that were... / now accepted practice to use software engineering techniques when building
Automated Component Retrieval and Adaptation Using Formal.. - John Penix (1998)(Correct)
This paper describes a method for applying formal specifications
to automate a system design process based on reusable
components and architectures. The focus is on identification
and retrieval of com... / reuse are two areas of software engineering research that show high
Modelling of an ATM Multiplexer in a Network Terminal for a Mixed.. - Horn (1998)(Correct)
Asynchronous Transfer Mode (ATM) is one of the keywords in modern
telecommunication. It is believed to become the most common and widespread
network in the near future due to its unique capability to ... / established in the area of software design. Recent research however
Making UML Precise - Evans, Bruel, France, Lano, Rumpe (1998)(Correct)
This paper aims to briefly present some of the issues its members
have considered with regards to making UML precise and to describe progress that has been made
over the last 12 months.
2 Formalizatio... / and design. Like other software engineering methods' UML provides a