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.
10973.3 The VDM Bibliography - Larsen (1995)(Correct)
This document contains the annotated VDM bibliography with 592 entries related to
VDM. The listed items come from a wide variety of sources, but unfortunately the list is not
yet exhaustive.
This ver... / foundation or the software engineering aspects of the method and br on definitional techniques for software design in Nyborg Denmark but
9193.8 Advanced Languages for Systems Software The Fox Project in 1994 - Harper, Lee (1994)(Correct)
It has been amply demonstrated in recent years that careful attention to the structure of systems
software can lead to greater flexibility, reliability, and ease of implementation, without incurring
a... / a language. The benefits in software engineering must be demonstrated br fresh new perspectives on software design that are difficult or
8969.2 Environment Centered Analysis and Design of Coordination Mechanisms - Decker (1995)(Correct)
Environment Centered Analysis and Design of Coordination Mechanisms
May 1995
KEITH S. DECKER
B.S., Carnegie Mellon University
M.S., Rensselaer Polytechnic Institute
Ph.D., University of Massachusetts... / and in the future to model software engineering activities. . Analyzing br networks concurrent engineering software agents' for information
8084.7 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
7943.9 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
7831.1 Agent-Based Computing - Wooldridge (1997)(Correct)
This article is an introductory survey of agent-based computing. The article begins with an
overview of micro-level issues in agent-based systems: issues related to the design and construction
of indi... / a passing appreciation of software engineering that the design and
7153.1 Formal Engineering of Software Library Systems - Atkinson (1997)(Correct)
The reuse of complete software developments and the processes used to create them has
the potential to significantly ease the process of software engineering, by providing a
source of verified softwar... / ease the process of software engineering by providing a source of br Software Development Engineering Software for Reuse. Van Nostrund
7070.8 Creating and Filtering Structural Data Visualizations using Hygraph.. - Consens (1994)(Correct)
Data visualization plays a fundamental role in helping users solve complex, information intensive problems in scientific, engineering and business applications. This thesis introduces an original fram... / the application of Hy to software engineering and network management to br source code CM a formal software design documentation and object code
6931.7 Safety-Critical Systems, Formal Methods and Standards - Bowen, Stavridou (1993)(Correct)
Standards concerned with the development of safety-critical systems, and the software in such systems in particular, abound today as the software crisis increasingly affects the world of embedded comp... / . To appear in the Software Engineering Journal. br processor and safety related software design'in pp.
6923.8 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
6713.6 Formal Methods: State of the Art and Future Directions - Clarke, Wing (1996)(Correct)
We survey recent progress in the development of mathematical techniques for specifying and verifying complex hardware and software systems. Many of these techniques are capable of handling industrial-... / Government. Keywords Software engineering formal methods formal br methods in a routine software design project within AT T Cha
6518.6 VALIDE -- Formal Methods and Tools for Distributed System Design - Groups (1994)(Correct)
This document describes the research projects of the Formal Methods and Tools research
groups of the department of Tele-Informatics and Open Systems at the Faculty of
Computers Science of the Universi... / Science department of Software Engineering and Theoretical Computer br Cho T.S. Chow. Testing software design modeled by finite-state
6512.8 A High Level Language for Specifying Graph-Based Languages and their.. - Kleyn (1995)(Correct)
This dissertation addresses the problem of creating interactive graphical
programming environments for visual programming languages that are based on
directed graph models of computation. Such program... / IEEE Transactions on Software Engineering - August br product of Scientific and Engineering Software Inc. It is one of the few
6194.3 Hierarchical Modularity And Intermodule Optimization - Blume (1997)(Correct)
Separate compilation is an important tool for coping with design complexity in large
software projects. When done right it can also be used to create software libraries, thus
promoting code reuse. But... / as a key element of modern software engineering Car br hiding helps in the process of software design but at the same time it can
5882.0 Coloured Petri Nets - a Pragmatic Formal Method for Designing and.. - Mortensen(Correct)
The thesis consists of six individual papers, where the present paper contains the mandatory overview, while the remaining five papers are found separately from the overview. The five papers can rough... / Approach to Industrial Software Engineering LOTOS Language of br are two ways of constructing a software design One way is to make it so
5881.4 A Literature Review on the Quantification of Software Change - Powell (1996)(Correct)
A major characteristic of software engineering compared with other
engineering disciplines, is our inability to get the product right first time
around. Change is an intrinsic and essential part of so... / A major characteristic of software engineering compared with other br extract certain properties of software design that form a notion of
5814.3 ZYPHER - Tailorability as a Link from Object-Oriented Software.. - Demeyer (1996)(Correct)
The dissertation concerns a study of state of the art object-oriented software engineering
applied within the domain of open hypermedia systems. The results of this study are
discussed within the cont... / a Link from Object-Oriented Software Engineering to Open Hypermedia Serge br simple problems. However when software designers must incorporate these
5600.6 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
5510.7 Symbolic Analysis for Parallelizing Compilers - Haghighat (1994)(Correct)
Symbolic Domain
The objects in our abstract symbolic domain are canonical symbolic expressions. A
canonical symbolic expression is a lexicographically ordered sequence of symbolic
terms. Each symboli... / processors D. . Software Engineering Programming
5045.6 A Survey of Program Slicing Techniques - Tip (1995)(Correct)
A program slice consists of the parts of a program that (potentially) affect the
values computed at some point of interest, referred to as a slicing criterion. The task
of computing program slices is ... / CR Categories D. . Software engineering Tools and Techniques
5028.9 A Hidden Agenda - Joseph Goguen (1996)(Correct)
This paper publicly reveals, motivates, and surveys the results of an ambitious hidden
agenda for applying algebra to software engineering. The paper reviews selected
literature, introduces a new pers... / for applying algebra to software engineering. The paper reviews selected
4937.0 A Survey of Database Support for Process-Centered Software.. - Tombros, Geppert(Correct)
Database management systems (DBMSs) are a basic component of integrated
project support environments (IPSEs). They are used for the modeling, storage and management
of data produced by various softw... / dependencies exist. Software engineering environments SEEs have
4907.6 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
4871.2 Merging Interactive, Modular, And Object-Oriented Programming - Tung(Correct)
Interactive, modular, and object-oriented programming are three important programming
paradigms. Interactive programming encourages experimental programming
and fast prototyping and is most valuable f... / and CASE Computer-Aided Software Engineering tools are constructed to
4794.3 Code Optimizers and Register Organizations for Vector Architectures - Lee (1992)(Correct)
A major challenge facing computer architects today is designing cost-effective hardware
that executes multiple operations simultaneously. The goal of such designs is to improve
performance by taking a... / IEEE Transactions on Software Engineering - br aspects of both hardware and software design. In the first half of this
4756.3 Software Reliability Engineering: An Evolutionary Neural Network.. - Hochman (1997)(Correct)
Author: Robert Hochman
Title: Software Reliability Engineering:
An Evolutionary
Neural Network Approach
Institution: Florida Atlantic University
Thesis Advisor: Dr. Taghi M. Khoshgoftaar
Degree: Maste... / noted in many writings on software engineering. In many introductions on br belief that large innovative software designs can be completely specified
4717.6 A Classification and Comparison Framework for Software Architecture.. - Medvidovic (1996)(Correct)
Software architectures shift the focus of developers from lines-of-code to coarsergrained
architectural elements and their overall interconnection structure.
Architecture description languages (ADLs) ... / on the Foundations of Software Engineering pages - Los Angeles br The ultimate goal of any software design and modeling endeavor is to
4710.2 Agent-Based Software Engineering - Wooldridge (1997)(Correct)
The technology of intelligent agents and multi-agent systems seems set to radically
alter the way in which complex, distributed, open systems are conceptualized and implemented.
The purpose of this pa... / Agent-Based Software Engineering Michael Wooldridge
4707.6 An Integrated Approach to System Modelling using a Synthesis of.. - Fishwick (1992)(Correct)
Traditional computer simulation terminology includes taxonomic divisions with
terms such as "discrete event," "continuous," and "process oriented." Even though
such terms have become familiar to simul... / of Artificial Intelligence Software Engineering and Simulation
4699.6 Transformations On Dependency Graphs: Formal Specification And.. - Rajan (1995)(Correct)
Dependency graphs are used to model data and control flow in hardware and
software design. In a transformational design approach, optimization and refinement
transformations are used to transform depe... / data-flow languages and software engineering has provided rigor for br control flow in hardware and software design. In a transformational design
4678.0 Specification and Design of Embedded Software/Hardware Systems - Gajski, Vahid (1995)(Correct)
System specification and design consists of describing a system's desired functionality,
and of mapping that functionality for implementation on a set of system
components, such as processors, ASIC's,... / Hall . D. Gabel Software engineering IEEE Spectrum pp. br refinement and hardware software design. As such most system design
4674.8 Network Related Performance Issues and Techniques for MPPs - Johnsson (1995)(Correct)
In this paper we review network related performance issues for current
Massively Parallel Processors (MPPs) in the context of some
important basic operations in scientific and engineering computation.... / have taken place are in the software engineering domain. Many application
4173.6 On Formal Requirements Modeling Languages: RML Revisited - Greenspan, Mylopoulos, Borgida (1994)(Correct)
Research issues related to requirements modeling are
introduced and discussed through a review of the
requirements modeling language RML, its peers and its
successors from the time it was first propos... / International Conference on Software Engineering ICSE- to the br The stage preceding software design has been frequently called
4146.5 Deja-Vu - Distributed Hypermedia Application Framework - Eliëns(Correct)
The project Deja-Vu aims at providing a framework for the development of open heterogeneous
distributed object oriented intelligent hypermedia systems. It serves as a vehicle for research in
hypermedi... / information systems and software engineering. The Deja-Vu framework has
4097.9 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
4055.3 An Agent-Based Approach to the Design of Rapidly Deployable Fault.. - Paredis (1996)(Correct)
There exists a need for manipulators that are more flexible and reliable than the current fixed
configuration manipulators. Indeed, robot manipulators can be easily reprogrammed to perform
different t... / Stewart D. B. . Real-Time Software Design and Analysis of br in the task based design software that determines the
4036.0 Business Suitability Principles for Workflow Modelling - Barros, Hofstede, Proper, Creasy (1996)(Correct)
By incorporating aspects of coordination and collaboration, workflow implementations
of information systems require a sound conceptualisation of business processing semantics.
Traditionally, the succe... / This problem is known in software engineering jargon as the waterfall. br top-down process analysis and software design mapping. With the prevalence
4030.1 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
4008.0 Applying formal methods to software testing - Stocks (1993)(Correct)
This thesis examines applying formal methods to software testing. Software testing
is a critical phase of the software life-cycle which can be very effective if performed
rigorously. Formal specificat... / and Motivation The software engineering community is well-aware of br corresponds closely. Software design Components Cox describes
3890.7 Elaborating Analogies from Conceptual Models - Spanoudakis, Constantopoulos (1996)(Correct)
This paper defines and analyses a computational model of similarity which detects analogies between objects
based on conceptual descriptions of them, constructed from classification, generalization ... / applied in the domain of software engineering. First to support the br including programming software design and cultural information
3887.6 Formal Methods for Broadband and Multimedia Systems - Fischer, Leue (1997)(Correct)
this paper to exemplify steps that need to be taken in
order to overcome this deficit.
We first discuss choices that need to be made when designing a suitable
real-time execution model for SDL and Est... / QoS requirements define the software engineering aspect of QoS they are
3887.4 Object-Oriented Programming: Inheritance To Adoption - Dinesh (1992)(Correct)
Of a thesis submitted in partial fulfillment of the
requirements for the Doctor of Philosophy
degree in Computer Science in the
Graduate College of The
University of Iowa
May 1992
Thesis supervisors: ... / experience the problems of software engineering G. Steve Hirst and
3809.7 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
3801.7 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
3772.3 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
3708.7 Object-Oriented Parallel Programming with Objective Linda - Freisleben, Kielmann(Correct)
In this paper we present Objective Linda, a coordination model in which objectorientation
is combined with uncoupled, generative communication in order to enable
object-oriented parallel programming i... / for achieving modularity in software design. Linda The Linda
3698.8 Meta-Environments For Software Production - Karrer, Scacchi (1994)(Correct)
this paper, we attempt
to categorize more than 60 meta-environment efforts. For each of the categories, we
review research efforts which illustrate different approaches within that category. We conclu... / Department and Center for Software Engineering University of Southern br customized environments for engineering software applications. Clearly no
3695.0 State of Art and Open Issues on Graphical User Interfaces for.. - Kappel, Tjoa(Correct)
Graphical user interfaces have become very popular for database systems since they increase
the usability of these applications. The functionality and ease- of-use of the graphical
user interface, how... / like CAD and CIM systems software engineering environments and office
3667.7 Logic Program Schemata: Synthesis and Analysis - Flener (1995)(Correct)
A program schema is a template program with a fixed control and data flow, but without specific indications
about the actual parameters or the actual computations. A program schema and the constraints... / means of guiding many software engineering tasks. First I propose a
3556.8 Postmodern Software Design with NYAM: Not Yet Another Method - Wieringa(Correct)
This paper presents a conceptual toolbox for software specification
and design that contains techniques from structured and objectoriented
specification and design methods. The toolbox is called TRA... / may be of use to practicing software engineers as well. The conceptual br Postmodern Software Design with NYAM Not Yet Another
3547.7 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
3455.1 Toward a Convergence of Systems and Software Engineering - Paul A. Fishwick (1996)(Correct)
Recent trends in software engineering, especially within the object-oriented community, reflect
a clear trend toward systems engineering methods. Object oriented designs, meant for
programming design,... / a Convergence of Systems and Software Engineering Paul A. Fishwick br sample of recent literature on software design using OO principles
3455.0 Formal Specification of Object Systems - Jungclaus, Saake, Sernadas (1991)(Correct)
The conceptual modeling of the Universe of Discourse (UoD) is an important
phase for the development of information systems because the conceptual model is
the basis for system development. Conceptual... / UD HK PM and the software engineering community CHJ Par
3423.5 Indirect adaptive fuzzy controllers - Moore (1992)(Correct)
FACULTY OF ENGINEERING & APPLIED SCIENCE
DEPARTMENT OF AERONAUTICS AND ASTRONAUTICS
Doctor of Philosophy
INDIRECT ADAPTIVE FUZZY CONTROLLERS
by Christopher G. Moore
Many classical control methods are ... / B Documentation for software design tools C Piloting rules
3416.0 Objects and Their Specification - Ehrich, Gogolla, Sernadas (1992)(Correct)
Object--oriented concepts and constructions are explained in an informal
and language--independent way. Various algebraic approaches for dealing with
objects and their specification are examined, ADT-... / techniques for software engineering. Evidently there is much
3367.1 Developing Correct and Efficient Logic Programs by Transformation - Pettorossi, Proietti (1996)(Correct)
this paper, from formal specifications one may obtain executable,
efficient programs by using techniques for transforming logic programs. This is, indeed, one of
the reasons that makes logic programmi... / as a tool for logic-based software engineering. For simplicity reasons in br of the Workshop on Automating Software Design Detroit MI pages
3334.1 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
3324.1 Basic Principles and Concepts of Object-Orientation - Ellmer (1993)(Correct)
This paper deals with basic principles and concepts of object-orientation.
We try to give a survey independent of applicaiton areas like programming
languages, software engineering, and database syste... / like programming languages software engineering and database systems. In
3313.9 Compiler Generation for Interactive Graphics using Intermediate Code - Draves (1996)(Correct)
This paper describes a compiler generator (cogen) designed for interactive
graphics, and presents preliminary results of its application to pixel-level
code. The cogen accepts and produces a reflect... / of latency bandwidth and software engineering collide. The state of the
3311.0 A Framework for Classifying and Comparing Architecture Description.. - Medvidovic (1997)(Correct)
Software architectures shift developers' focus from lines-of-code to
coarser-grained architectural elements and their interconnection structure. Architecture
description languages (ADLs) have been p... / on the Foundations of Software Engineering pages - Los Angeles br The ultimate goal of software design and modeling is to produce
3300.7 ROSA = Reuse of Object-oriented Specifications through Analogy: A.. - Tessem, Bjørnestad, Tornes.. (1994)(Correct)
Reuse of software components is a must to enhance productivity in software
engineering. Object-oriented techniques help to produce reuseable components.
However, the problem of retrieval from a reposi... / to enhance productivity in software engineering. Object-oriented br Computer-Aided Software Engineering Software engineering is a
3294.7 Darwin-E: An Environment For Imposing Regularity On Object-Oriented.. - Pal (1996)(Correct)
OF THE DISSERTATION
Darwin-E: An Environment For Imposing Regularity on
Object-Oriented Software
by Partha pratim Pal
Dissertation Director: Naftaly H. Minsky
Regularity in this dissertation means con... / behavior of its components. Software engineering the discipline that aims br D. Lamb editor Studies of Software Design. Springer-Verlag . To
3289.0 Reverse-Engineering Distributed Applications to Understand their.. - Kunz (1994)(Correct)
Understanding the behaviour of distributed applications is a very challenging task, due
to their complexity. To manage this complexity, the top-down use of suitable abstraction
hierarchies is frequent... / IEEE Transactions on Software Engineering - March br from to . According to the software design criteria high cohesion low
3275.7 An Initial Theoretical Foundation For Object-Oriented Systems.. - Clyde (1993)(Correct)
Industry and academia are embracing the object-oriented paradigm for software development with considerable energy and enthusiasm [23,49]. Its appeal comes from its ability to manage complexity [4], m... / his valuable insight into software engineering as well as his moral br Design in Tutorial on Software Design Techniques th Edition P.
3257.6 Routing And End-To-End Quality Of Service In Multimedia Networks - Rampal (1995)(Correct)
Sanjeev Rampal was born in New Delhi, India. He obtained Bachelor's and Master's degrees
in Electrical Engineering (in 1988 and 1991 respectively), both from the Indian Institute
of Technology, Bombay... / involved in hardware and software design. Since October he has
3238.2 A Concurrent, Distributed Model for Hypermedia-based Information.. - Dattolo, Loia(Correct)
The market for parallel and distributed computing systems keeps growing.
Technological advances in processor power, networking, telecommunication and
multimedia are stimulating the development of appl... / important to also change the software engineering perspective in interface br enables to formulate new software design approaches but it raises
3234.4 People-oriented Software Reuse: the Very Thought - Maiden, Sutcliffe (1993)(Correct)
Most software reuse research has ignored the role of the
software engineer. However, software engineers tend to be
better reasoners and have more experiences to recall than
tool-based reuse mechanisms... / has ignored the role of the software engineer. However software engineers br in inferior or incorrect software designs. Studies have also revealed
3234.0 The Model Checker SPIN - Holzmann (1997)(Correct)
SPIN is an efficient verification system for models of distributed software systems. It has been used to detect design
errors in applications ranging from high-level descriptions of distributed algori... / Ieee Transactions On Software Engineering Vol. No. May
3187.5 The Software Information Base: A Server for Reuse - Constantopoulos, Jarke, Mylopoulos.. (1995)(Correct)
We present an experimental software repository system which provides organization,
storage, management, and access facilities for reusable software components. The system,
intended as part of an appli... / a technology integration software engineering project sponsored by the br An Intelligent Tool for Re-Engineering Software Modularity
3179.3 Practical Use of Graph Rewriting - Dorothea Blostein, Hoda Fahmy, Ann.. (1995)(Correct)
graphs (in which subgraphs are represented by a single node, and groups of edges are bundled into a
single edge) are supported in the prototype algebraic-rewrite environment of [LöBe93]. This graph st... / . Software Engineering br However it is difficult for software designers to evaluate the merits of
3171.8 What is Hybrid in Hybrid Representation and Reasoning Systems? - Nebel (1989)(Correct)
Hybrid knowledge representation and reasoning
systems have received a lot of interest
in recent years. In this paper, we
will give a brief survey of the principles and
ideas behind these systems and w... / integration is a matter of software engineering and driven by the domain
3158.4 The Role of the Software Engineer in Real-Time Software Development.. - Hoover (1995)(Correct)
A noteworthy feature of the computing industry is the
increasing demand for application-specific software. For example,
software to control a factory in real-time involves timing, faulttolerance,
an... / The Role of the Software Engineer in Real-Time Software br on the practice of realtime software design. Introduction to Real-Time
3150.4 Concepts of Object-Orientation - Ehrich, Saake, Sernadas (1992)(Correct)
An object is a unit of structure and behavior; it has an identity which persists
through change; objects communicate with each other; they are classified by object
types, collected into object classes... / techniques for software engineering. Evidently there is much
3133.8 Requirements Analysis for the graphical specification of SPMD - Ferscha, Gruber, Johnson, Pigel (1994)(Correct)
This report systematically surveys issues in graphical and visual programming, as
well as development approaches for parallel programs in general. Three approaches that
have been followed so far in or... / for PhD dissertations in software engineering is graphical or visual br of computer graphics to software design Nothing even
3099.1 Massively Parallel Programming Languages - A Classification of Design .. - Gellerich, Gutzmann(Correct)
This paper presents the results of a study in which
we examined about 50 parallel programming languages
in order to detect typical approaches towards supporting
massive parallelism. Based on a classif... / of programming languages in software engineering we derive basic br of a given problem. . During software design this description is used to
3098.8 Extending Object-Oriented Design for Physical Modeling - Fishwick (1996)(Correct)
When we build simulation models and construct dynamical models for physical systems,
we often do not do so using a clear overall framework that organizes our geometry, dynamics
and models. How do geom... / design as it is practiced in software engineering and simulation. Since
3097.9 Software Design - Demurjian(Correct)
ion and Representation Independence: Through abstraction, the details of an application
's components can be hidden, providing a broad perspective on the design. This in
turn allows changes to be made... / a client even working with a software engineer to specify completely br Software Design Steven A. Demurjian
3084.7 Coupling and Cohesion in Object-Oriented Systems - Eder, Kappel, Schrefl (1992)(Correct)
Object-oriented system development is gaining wide attention both in research
environments and in industry. A severe problem encountered, however, is the quickly
increasing complexity of such systems ... / been the driving goal of all software engineering efforts within the last br assurance D. . Software Design -methodologies
3083.3 A Framework for Dynamic Graph Drawing - Cohen, Di Battista, Tamassia, Tollis (1992)(Correct)
Drawing graphs is an important problem that combines flavors of computational
geometry and graph theory. Applications can be found in a variety of areas including
circuit layout, network management, s... / layout network management software engineering and graphics. The main
3028.5 An Overview of Production Rules in Database Systems - Hanson, Widom (1993)(Correct)
Database researchers have recognized that integrating a production rules facility into a database system provides a uniform mechanism for a number of advanced database features including integrity con... / is a poor approach from the software engineering perspective. Integrating a
3018.6 MetaML: Multi-Stage Programming with Explicit Annotations - Taha, Sheard(Correct)
We introduce MetaML, a practically-motivated, staticallytyped
multi-stage programming language. MetaML allows
the programmer to construct, combine, and execute code
fragments in a type-safe manner. Co... / of the first stage. From a software engineering point of view this means
2992.3 The ADAPTIVE Communication Environment: An Object-Oriented Network.. - Schmidt (1993)(Correct)
The ADAPTIVE Communication Environment (ACE) implements a set of fundamental design patterns that simplify the development of concurrent event-driven communication software. ACE provides a rich set of... / ACM Transactions on Software Engineering and Methodology vol. br on fundamental communication software design patterns .
2970.9 Developing A Reflective Model of Collaborative Systems - Dourish (1995)(Correct)
Recent years have seen a shift in perception of the nature of HCI and interactive systems. As interface work
has increasingly become a focus of attention for the social sciences, we have expanded our ... / applications D. . Software Engineering Tools and br from the traditional focus of software design a focus on developing fixed
2970.4 A Graph-Based Data Model and its Ramifications - Levene, Loizou (1995)(Correct)
Currently database researchers are investigating new data models in order to remedy the deficiences of the flat relational model when applied to non-business applications. Herein we concentrate on a r... / such as Computer Aided Software Engineering CASE hypertext
2894.2 Heterogeneous Notations for Formal Method Integration - Paige (1997)(Correct)
We describe an approach for defining and making use of compositions
of partial specifications written in different formal languages. The technique provides
a first step towards integrating formal me... / Method integration in a software engineering context is a problem of
2867.5 L-ALLIANCE: A Mechanism for Adaptive Action Selection in.. - Parker(Correct)
In practical applications of robotics, it is usually quite difficult, if not impossible, for
the system designer to fully predict the environmental states in which the robots will
operate. The complex... / . Robot Software Design
2858.1 The Next Big Thing: Position Statements - Singh, Bobrow, al.(Correct)
This panel is a celebration of artificial intelligence
(AI). Basing its claims to interest on the
past accomplishments of AI, it highlights some
of the new exciting concepts and technologies
that comp... / Paradigm The field of software engineering has exhibited almost
2838.8 Advances in Graph Drawing - Garg, Tamassia (1994)(Correct)
Graph drawing addresses the problem of constructing geometric
representations of abstract graphs and networks. It is an emerging area
of research that combines flavors of topological graph theory an... / technologies such as software engineering database design visual
2785.1 Introducing CLOVER: an Object-Oriented Functional Language - Lee Braine (1996)(Correct)
The search for a language which combines both functional
and object-oriented features has a long and distinguished history [Can82,
Car84, BK86, BD88, BGW91, MHH91, AP93, CL91, MMH91, Sar93,
CL96]. T... / programming with the software engineering benefits of both paradigms.
2784.9 Exploiting Style in Architectural Design Environments - Garlan, Allen, Ockerbloom (1994)(Correct)
As the design of software architectures emerges as a discipline
within software engineering, it will become increasingly important
to support architectural description and analysis with tools and
envi... / as a discipline within software engineering it will become br Foundationsof Software Engineering Software Engineering Notes
2666.5 Gamma And The Chemical Reaction Model: Ten Years After - Banâtre, Métayer (1996)(Correct)
This paper reviews most of the work done by various groups along these lines and the current perspectives of our own research on Gamma. For the sake of clarity we separate the contributions in three c... / chemical reaction model for software engineering extensions of the
2658.6 Application Generators - Smaragdakis, Batory(Correct)
Introduction
When a programming activity is well-understood, it can be automated. Automation transforms software development from
activities like rote coding and tedious debugging to that of specific... / compiler technology and software engineering to name a few. An br eds.Automating Software Design AAAI Press MIT Press .
2658.4 Fundamentals Of Deductive Program Synthesis - Manna, Waldinger (1992)(Correct)
An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence... / that are specialized to software-engineering applications we can make
2601.9 The GOODSTEP Project Final Report - The Goodstep(Correct)
The goal of the GOODSTEP project was to enhance and improve the functionality of a fully objectoriented
database management system to yield a platform suited to applications such as Software
Engineeri... / to applications such as Software Engineering Environments SEEs The
2575.6 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
2550.9 Formal Refinement Patterns for Goal-Driven Requirements Elaboration - Darimont, van Lamsweerde (1996)(Correct)
Requirements engineering is concerned with
the identification of high-level goals to be achieved by the
system envisioned, the refinement of such goals, the operationalization
of goals into services... / engineering is the branch of software engineering concerned with the br of Style Analyzing a Software Design Feature with a Counterexample
2525.5 Implementation of the TIGUKAT Object Model - Irani (1993)(Correct)
The object-oriented paradigm of computing has started to have a significant influence on
many areas of information and data processing, including database systems. This thesis
focuses on the various i... / systems GIS CAD CAM CAE software engineering expert systems and office
2524.7 Standard ML of New Jersey - Appel, MacQueen (1991)(Correct)
The Standard ML of New Jersey compiler has been under development for five years now. We have developed a robust and complete environment for Standard ML that supports the implementation of large soft... / and e cient tools for software engineering. Along the way we have
2520.0 Interval Computation as Deduction in CHIP - Lee, van Emden (1993)(Correct)
Logic programming realizes the ideal of "computation is deduction," but not when
floating-point numbers are involved. In that respect logic programming languages are
as careless as conventional comput... / leaves much to be desired. Software engineering can increase our
2509.9 Object Discovery from Design Abstraction of Legacy Systems - Postema, Schmidt (1997)(Correct)
ion
of Legacy Systems
Margot Postema, and Heinz. W. Schmidt
Department of Software Development
Monash University
900 Dandenong Road
Caulfield East, VIC 3145, Australia
Email: fmargot, hwsg@insect.sd.m... / further describes how software engineers study program code. Two br to aid the reverse engineer. Software engineering knowledge
2475.2 Model Checking Complete Requirements Specifications Using Abstraction - Bharadwaj, Heitmeyer (1997)(Correct)
ion
Memorandum Report NRL/MR/5540--97--7999,
Naval Research Laboratory, Washington, DC 20375. Nov. 10, 1997
Ramesh Bharadwaj and Constance Heitmeyer
Center for High Assurance Computer Systems (Cod... / Symp. on Foundations of Software Engineering October . J. M. br Utter. Using documentation as a software design medium. Bell System Tech.
2471.3 The cambridge ring distributed system - Herbert (1982)(Correct)
In this paper we demonstrate the effectiveness of data
flow analysis for verifying requirements of communication
protocols. Data flow analysis is a static analysis
method for increasing confidence in ... / Laboratory for Advanced Software Engineering Research Computer
2464.6 Adaptable Pointer Swizzling Strategies in Object Bases: Design.. - Kemper, Kossmann (1993)(Correct)
In this paper, different approaches are classified and evaluated for optimizing
the access to main-memory resident persistent objects---techniques which are commonly
referred to as "pointer swizzling ... / CAD CAM VLSI design and software engineering. Despite their superior br as mechanical CAD CAM VLSI design and software engineering. Despite their
2444.7 Efficient Specification-Based Component Retrieval - Penix, Alexander (1996)(Correct)
In this paper we present a mechanism for making specification-based component retrieval more efficient by limiting
the amount of theorem proving required at query time. This is done by using a class... / complex systems. Software Engineering is no exception where a br and methodologies to help software designers create useful and
2434.6 Managing Requirements Inconsistency with Development Goal Monitors - Robinson, al. (1997)(Correct)
Managing software requirements during their development can be a complex
and difficult task. The requirements can be voluminous, complex, and changing. The analysts,
who develop the requirements, can ... / some degree Computer Aided Software Engineering tools have been successful br Iscoe N.A field study of the software design process for large systems
2430.8 A Field Guide to Boxology: Preliminary Classification of.. - Shaw, Clements (1996)(Correct)
Software architects use a number of commonly-recognized "styles" to guide their design of system structures. Each of these is appropriate for some classes of problems, but none is suitable for all p... / Science Department and Software Engineering Institute Carnegie Mellon br problems. How then does a software designer choose an architecture
2427.1 Security Models - McLean (1994)(Correct)
this article we focus on the primary
use of security models, which has been to describe general confidentiality requirements. We
then give pointers to security model work in other areas.
2 Models of C... / From Encyclopedia of Software Engineering ed. John Marciniak
2418.7 The Nachos Instructional Operating System - Christopher, Procter, Anderson (1993)(Correct)
In teaching operating systems at an undergraduate level, we believe that it is important
to provide a project that is realistic enough to show how real operating systems work, yet is
simple enough tha... / hardware architecture and software engineering have left many operating br advances in hardware and software design along with the increasing
2397.0 Data Structures for Multilevel Adaptive Methods and Iterative Solvers - Rüde (1992)(Correct)
The adaptive solution of partial differential equations by finite elements
must be supported by suitable data structures. Besides an overview
of existing adaptive mesh techniques, our analysis provide... / this functionality. This software engineering approach is also related to br in our object oriented software design. The topology corresponds to
2393.5 Compiler-Integrated Software Testing - Krauser, Jr. (1991)(Correct)
xiii
1. INTRODUCTION : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1
1.1 An Example : : : : : : : : : : : : :... / in part by grants from the Software Engineering Research Center at Purdue
2382.5 Genetic Programming and Data Structures - William Benjamin Langdon (1996)(Correct)
This thesis investigates the evolution and use of abstract data types within Genetic Programming
(GP). In genetic programming the principles of natural evolution (fitness based
selection and recombina... / by the observation from software engineering that data abstraction
2371.7 End User Controlled Visualization of Large Graphs - Henry, Hudson(Correct)
Directed and undirected graphs provide a natural notation for describing many fundamental
structures of computer science. Unfortunately, graphs are hard to draw in an easy to read
fashion. Traditional... / Visual Programming D. . Software Engineering Tools and
2362.3 RAIDframe: Rapid prototyping for disk arrays - Gibson, al. (1996)(Correct)
The complexity of advanced disk array architectures makes accurate representation necessary, arduous,
and error-prone. In this paper, we present RAIDframe, an array framework that separates architectu... / simulation modeling software engineering directed acyclic graphs
2357.3 Object Database Support for Digital Libraries - Abiteboul (1997)(Correct)
In this paper, we discuss some aspects of database support
for digital libraries.
From a DL perspective, database systems, and in particular, object
database systems provide a nice basis for future ... / and object repositories for software engineering or for the Web. All these
2351.7 Operational Profile Specification, Test Case Generation, and.. - Woit (1994)(Correct)
As our dependence on software grows, the need for reliable software, and the need
to be able to quantify this reliability, increases. Not only are models for estimating
reliability important, so are t... / Dr. James Whittaker of Software Engineering Technology Inc.and Dr.
2331.8 Formulations and Formalisms in Software Architecture - Shaw (1995)(Correct)
Software architecture is the level of software design that addresses the overall structure and properties of software systems. It provides a focus for certain aspects of design and development that ... / little substantive value for software engineers. But there are two reasons br Foundations of Software Engineering Software Engineering Notes
2326.6 Supporting the Restructuring of Data Abstractions through.. - Bowdidge, Griswold (1995)(Correct)
ions
through Manipulation of a Program Visualization
Robert W. Bowdidge
IBM T. J. Watson Research Center
P.O. Box 704, Yorktown Heights NY 10598
bowdidge@watson.ibm.com
William G. Griswold
Departm... / restructuring tool a software engineer can change a program's br An intelligent tool for re-engineering software modularity. In th
2323.8 Understanding and Using Patterns in Software Development - Riehle, Züllighoven (1996)(Correct)
Patterns have shown to be an effective means of capturing and communicating software design experience.
However, there is more to patterns than software design patterns: We believe that patterns
work ... / software development. Software engineering distinguishes between three br of capturing and communicating software design experience. However there
2312.1 Coordinated Atomic Actions: from Concept to Implementation - Randell, Romanovsky, Stroud, Xu.. (1997)(Correct)
The Coordinated Atomic Action (or CA action) concept is a unified
scheme for coordinating complex concurrent activities and supporting
error recovery between multiple interacting objects in a distribu... / some residual typically software design faults or bugs Approaches br structuring simplicity of design and software reuse. If used correctly
2310.6 PrT-net Based Analysis of Information Flow Security Nets - Juopperi (1995)(Correct)
Information Flow Security Nets (IFS-nets) provide a framework for the
definition of security models. IFS-nets employ a class of low-level Petri nets as
their model of computation while the notion of... / standard formalisms used in software engineering. Furthermore there should
2283.7 Effective Heterogenous Design And Co-Simulation - Chang Kalavade (1995)(Correct)
modeling of the software alone is too incomplete for accurate feedback
on the cost and performance of a particular design. The situation is further
complicated by the observation that high-level synth... / Systems IEEE Tr. on Software Engineering Vol. No. April br mixes hardware design with software design but also mixes design styles
2282.0 Views of Objects and Rules - Topor(Correct)
Object-oriented database systems provide expressive power and the potential for reuse,
extensibility and modifiability. Relational and deductive database systems provide a
simple logical semantics and... / in computer-aided design software engineering office automation and br that arise in computer-aided design software engineering office
2281.5 OZ: A Decentralized Process Centered Environment - Ben-Shaul (1993)(Correct)
This is a proposal for a model and an architecture for decentralized process centered
environments, supporting collaboration and concerted efforts among geographicallydispersed
teams -- each team with... / attracted attention in the software engineering community as evidenced by
2281.2 Issues in the Design of Distributed Shared Memory Systems - Mohindra (1993)(Correct)
This thesis examines the various system issues that arises in the design of distributed shared memory systems. ion : : : : : : : : : : : : : : : 2 2 Memnet Architecture : : : : : : : : : : : : : : : :... / C. Software Design for the Controller Board