Papers by Dewayne E Perry
5 References 4 Current Work 3 the Genvoca Model of Software System Generators
7 A major goal of software engineering is to increase programmer productivity and improve the per... more 7 A major goal of software engineering is to increase programmer productivity and improve the performance of software. Generators achieve both goals through automation. Generators will play an increasingly important role in software system development because (a) there will always be the need for new software systems that are variations of existing systems, (b) existing systems will need to evolve to encompass new designs and features, and (c) there will always be the demand to produce software faster, cheaper, and better. Our current research is developing tools, not unlike compiler-compilers, to build generators. Our focus is on a programming language for generators, called P++, which is a superset of C++ that supports GenVoca [Bat95a]. The need for P++ (and its supporting toolset) stems from the observation that over 80% of the effort currently expended in building generators is on their infrastructure (e.g., writing MILs and their compilers, developing graphical tools to compose...
Comparison Specifications for Repeatable Comparison of Architecting Processes
We describe experimentation aimed at making the comparison of processes and process specification... more We describe experimentation aimed at making the comparison of processes and process specification formalisms more of an exact science. Our aim is to lay the foundations for this more exact science by establishing fixed methods and conceptual frameworks that are able to assure that comparisons will yield predictable, reproducible results. The focus is on the comparison of architecture description languages (ADLs) by comparing architecting processes. Earlier work on comparing ADLs ([6], [2]) did not use a systematic comparison process. Nor did they take into account the context in which ADLs are used. This work-in-progress paper concentrates on the comparison process and the design of the experiments. In the first experiment two architecting processes are modeled and executed with the same ADL. The other related experiment uses two ADLs for the same process. Then we intend to compare the product artifacts and particular paths traversed.
COMP 4600 / 7600 : Software Specification and Testing Object-Oriented Testing : Annotated Bibliography
[3] M.J. Harrold, J.D. McGregor, and K.J. Fitzpatrick. Incremental Testing of Object-Oriented Cla... more [3] M.J. Harrold, J.D. McGregor, and K.J. Fitzpatrick. Incremental Testing of Object-Oriented Class Structures. In 14th Int. Conf. on Software Engineering, IEEE Computer Press, pages 68-80, 1992. Describes a method for testing subclasses based on the way in which the class is inherited from the parent class. The method determines when new test cases have to be defined, when the test cases from the parent class have to be rerun on the subclass, and when the testing for the parent class suffices.
ACM SIGSOFT Software Engineering Notes
Software engineering needs a general theory, i.e., a theory that applies across the field and uni... more Software engineering needs a general theory, i.e., a theory that applies across the field and unifies existing empirical and theoretical work. General theories are common in other domains, such as physics. While many software engineering theories exist, no general theory of software engineering is evident. Consequently, this report reviews the emerging consensus on a general theory in software engineering from the Second SEMAT General Theory of Software Engineering workshop co-located with the International Conference on Software Engineering in 2013. Participants agreed that a general theory is possible and needed, should explain and predict software engineering phenomena at multiple levels, including social processes and technical artifacts, should synthesize existing theories from software engineering and reference disciplines, should be developed iteratively, should avoid common misconceptions and atheoretical concepts, and should respect the complexity of software engineering phenomena. However, several disputes remain, including concerns regarding ontology, epistemology, level of formality, and how exactly to proceed with formulating a general theory.
ACM SIGSOFT Software Engineering Notes
Human Aspects Of Process Design
Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process'
Policy-directed Coordination And Cooperation
Proceedings of the 7th International Software Process Workshop, Communication and Coordination in the Software Process'
and · the model of the product state induces a partial order on the possible process activities. ... more and · the model of the product state induces a partial order on the possible process activities. Modeling such a process requires design decisions about the granularity of the process activities, about the degree of prescription defined within those activities, and about the policies that govern the triggering and termination of the activities and that define the nature of interaction
ACM SIGSOFT Software Engineering Notes
The Inscape Environment research project addresses issues in supporting the development of large ... more The Inscape Environment research project addresses issues in supporting the development of large systems by large numbers of programmers. One aspect of this research is the “constructive use” of formal module interface specifications - that is, given that you have formal specifications, what can you do with them. In Inscape, the specifications form the basis for providing an environment that is knowledgeable about the process of developing and evolving software systems, an environment that works in symbiosis with the programmer to develop and evolve a software system. In this discussion, I present how Inscape uses operation specifications (based on Hoare's input/output predicate approach) as the basis for synthesizing the interfaces for such complex languages statements as sequence, selection and iteration. In each of these statements, the synthesized interface is a function of the component interfaces. I first present the basic rules for interface specification use and the logi...
Probing limits to automation: towards deeper process models
ACM SIGSOFT Software Engineering Notes
Page 1. Probing Limits to Automation: Towards Deeper Process Models Karen E. Huff Computer and In... more Page 1. Probing Limits to Automation: Towards Deeper Process Models Karen E. Huff Computer and Information Science Department University of Massachusetts Amherst., MA. 01003 1.0 Introduction Recent progress in specifying ...
Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems (ICCBSS'05), 2006
Architecture and design intent are critical elements in the development and evolution of software... more Architecture and design intent are critical elements in the development and evolution of software systems. They are critical in two ways. First, there must be a shared understanding of them to adequately and effectively build and evolve our systems. Second, this shared understanding is needed to coordinate the various developers and teams of developers, especially in evolving our systems. The lack of access to internal implementation details makes the issue of architecture and design intent even more critical in COTS and component based systems. We explore the issues involved in supporting the reification and use of architecture and design intent, discuss a selection of approaches, and present some ideas we have about its use in both planned and agile contexts.
Exploiting architectural prescriptions for self-managing, self-adaptive systems
Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems - WOSS '04, 2004
ABSTRACT
It is common in client/server architectures for components to have SQL statements embedded in the... more It is common in client/server architectures for components to have SQL statements embedded in their source code. Components submit queries to relational databases using such standards as Universal Data Access (UDA) and Open Database Connectivity (ODBC). The API that implements these standards is complex and requires the embedding of SQL statements in the language that is used to write the components. Such programming practices are widespread and result in increased complexity in maintaining systems. We propose an approach that eliminates the embedding of SQL in programming languages, thereby enabling the automation of important software maintenance tasks.
Using Selected Features of Ada: A Collection of Papers
Agent Software Comprehension: Explaining Agent Behavior
CiteSeerX - Document Details (Isaac Councill, Lee Giles): I wish to thank the numerous people who... more CiteSeerX - Document Details (Isaac Councill, Lee Giles): I wish to thank the numerous people who helped me to complete this great achievement. I begin with my Supervisor, Dr. Suzanne Barber, who has been a constant and prominent pedestal for my research and who has ...
Role Distribution and Transformation in Open Source Software Project Teams
2015 Asia-Pacific Software Engineering Conference (APSEC), 2015
Transforming Goal Oriented requirements specifications into Architectural Prescriptions
Context Analysis of Historical Process Data with the Project Replayer
ABSTRACT In many software projects, mistakes are often repeated due to knowledge that has been fo... more ABSTRACT In many software projects, mistakes are often repeated due to knowledge that has been forgotten from past practice. In order to capture such knowledge, recording, visualizing and identifying underlying contexts and process phenomena in project data is very important. However, directly inferring such contexts from software documents or formal reports and extracting relevant process phenomena from archives of raw process data is very difficult. To assist in understanding development projects, we use the Project Replayer, a tool for visualizing many types of historical process data using natural language processing techniques and cluster analysis on project communication, e.g., email records. To validate the utility of Project Replayer, we attempted to visualize data from the Bell Labs 5ESS project. This paper presents our early experiences in using Project Replayer to understand a large, historical development project.
Technique for efficiently maintaining system configuration
Artifact-based functional comparison of software processes
Page 1. Artifact-based functional comparison of software processes Rodion M. Podorozhny UT Advanc... more Page 1. Artifact-based functional comparison of software processes Rodion M. Podorozhny UT Advanced Research In Software Engineering (UT ARISE) University of Texas Austin, Texas 78712 [email protected] Dewayne ...
Automatically Managing and Coordinating Sources Changes in Large Systems
Uploads
Papers by Dewayne E Perry