default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGSOFT Software Engineering Notes, Volume 25
Volume 25, Number 1, January 2000
- Peter G. Neumann:
Risks to the public in computers and related systems. 22-26 - Serge Demeyer, Harald C. Gall
:
Workshop on object-oriented reengineering (WOOR'99). 27 - Václav Rajlich, Stephen Rank, Norman Wilde, Keith H. Bennett:
Report on a workshop on software change and evolution. 28-29 - Michael Evangelist:
The NSF information technology research program. 30 - Will Tracz, Wayne Stidolph:
NSF software engineering and lanuage program summaries. 30-32 - Rajeev Alur:
Computer-aided verification of reactive systems. 32-33 - Paul Ammann:
System testing via mutation analysis of model checking specifications. 33 - Paul C. Attie:
Efficient formal methods for the synthesis of concurrent programs. 34 - Farokh B. Bastani:
Relational programs. 34-35 - David W. Binkley:
Reducing the cost of regression testing. 35-36 - Bob Boothe:
A fully capable bidirectional debugger. 36-37 - Tevfik Bultan:
A composite model checking toolset for analyzing software systems. 37-38 - Margaret M. Burnett:
NYI award: visual programming languages. 38 - Larry Carter, Jeanne Ferrante:
CROPS: coordinated restructuring of programs and storage. 38-39 - Richard H. Carver:
Specification-based testing of concurrent programs. 39-40 - Betty H. C. Cheng:
Integrating object-oriented analysis and formal specifications. 40-41 - Edmund M. Clarke:
Automatic verification of hardware and software systems. 41-42 - Rance Cleaveland:
Specification formalisms for component-based concurrent systems. 42-43 - Rance Cleaveland, Philip M. Lewis, Scott A. Smolka:
Practical techniques for the design, specification, verification, and implementation of concurrent systems. 43-44 - Jonathan E. Cook:
Software process analysis: integrating models and data. 44 - Laura K. Dillon:
Automated support for testing and debugging of real-time programs using oracles. 45-46 - Premkumar T. Devanbu:
Framework for debugging domain-specific languages. 45 - Matthew B. Dwyer, John Hatcliff:
Adapting programming languages technologies for finite-state verification. 46-49 - E. Allen Emerson:
Automated formal methods: model checking and beyond. 49 - Matthias Felleisen:
Components and program analyses. 49-50 - Phyllis G. Frankl:
Assessing and enhancing software testing effectiveness. 50-51 - Joseph A. Goguen:
Hidden algebra and concurrent distributed software. 51-52 - Deepak Goyal, Y. Annie Liu:
Automated development of software for program analysis and transformation. 52-53 - Carl A. Gunter:
Automated analysis of standard ML. 53 - Gopal Gupta:
Parallel implementation of Prolog: the ACE project. 54-55 - Carl A. Gunter, Elsa L. Gunter, Pamela Zave:
Formal software engineering. 54 - George T. Heineman:
A model for designing adaptable software components. 55-56 - Thomas A. Henzinger:
New directions in computer-aided verification. 56-57 - Michael Hind:
NPIC - New Paltz interprocedural compiler. 57-58 - Susan Horwitz:
Debugging via run-time type checking. 58 - Paul Hudak:
Principles of functional reactive programming. 59 - Radha Jagadeesan, Konstantin Läufer, Vineet Gupta:
The Triveni project. 59 - Patricia Johann:
Testing and enhancing a prototype program fusion engine. 60-61 - Bharat Jayaraman:
Research on sets, constraints, and preferences. 60 - A. J. Kfoury:
Type theory and rewriting theory for expressive, efficient and reliable programming languages. 61-62 - Philip M. Johnson:
Project LEAP: lightweight, empirical, anti-measurement dysfunction, and portable software developer improvement. 61 - Gary T. Leavens:
Formal methods for multimethod software components. 62-63 - Spiros Mancoridis:
Toward a design environment for recovering and maintaining the structure of software systems. 63-64 - Harry G. Mairson:
Programming language foundations of computation theory. 63 - José Meseguer, Carolyn L. Talcott:
Semantic interoperation of open systems. 64-65 - Naftaly H. Minsky:
Towards architectural invariants of evolving systems. 65 - Michael W. Mislove:
Semantic models for concurrency. 65-66 - Gopalan Nadathur:
A framework for realizing derivation systems. 66-67 - George C. Necula, Shree Prakash Rahul:
A logic-based approach to software system safety and security. 67-68 - Ronald A. Olsson:
Concurrent programming language support for invocation handling: design and implementation. 68-69 - Jeff Offutt:
Software testing and analysis of object-oriented software. 68 - Benjamin C. Pierce:
The essence of objects. 69-71 - Enrico Pontelli:
Parallel and distributed execution of constraint programs. 71-72 - Václav Rajlich:
A model and a tool for change propagation in software. 72 - C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren:
Specification and evaluation of logic-based model checking. 73-74 - C. R. Ramakrishnan:
Tabled logic programming for verification and program analysis. 73 - David F. Redmiles:
Improving the design of interactive software. 74-75 - John C. Reynolds:
The design, definition and implementation of programming languages. 75 - Gruia-Catalin Roman, Delbert Hart, Eileen T. Kraemer:
Exploratory visualization. 76-77 - David C. Rine, Nader Nada:
Public case-base and tool kit using a validated RRM. 76 - Gruia-Catalin Roman, Amy L. Murphy:
Rapid development of dependable applications over Ad hoc networks. 77-78 - David S. Rosenblum:
CAREER: mechanisms for ensuring the integrity of distributed object systems. 78-79 - Gregg Rothermel:
Testing and maintaining evolving software systems. 79-80 - Andre Scedrov:
A language-based security analysis. 80-81 - Spencer Rugaber, Linda M. Wills:
Software evolution and interleaving. 80 - David Schmidt:
Abstract interpretation and program modelling. 81-82 - Forrest Shull, Victor R. Basili, Marvin V. Zelkowitz:
The experimental validation and packaging of software technologies. 82-83 - Zhong Shao:
Typed common intermediate format. 82 - Carol S. Smidts:
An approach to the automatic generation of software functional architecture. 84-85 - A. Prasad Sistla:
Formal methods in concurrent and distributed systems. 84 - Geoffrey Smith, Dennis M. Volpano:
Basic research in information privacy. 86 - David B. Stewart:
Automated analysis and fine-tuning of timing properties in embedded real-time systems. 86-87 - Terrance Swift:
Principles, practice, and applications of tabled logic programming. 87-88 - Kuo-Chung Tai:
Analysis and testing of concurrent object-oriented software. 88 - Jeff Tian:
Early measurement and improvement of software reliability. 89 - Pascal Van Hentenryck:
Constraint programming. 89-90 - Bradley T. Vander Zanden:
New visualization and debugging technology for one-way dataflow constraints. 90-91 - Mitchell Wand:
Analysis-based program transformations. 91-92 - Mitchell Wand, William D. Clinger:
Optimizing memory usage in higher-order programming languages: theoretical and experimental studies. 92 - Elizabeth L. White:
General strategies for dynamic reconfiguration. 93 - Steven J. Zeil:
Reliability growth modeling from fault failure rates. 94 - Wayne Stidolph:
Evolutionary design of complex software (EDCS) demonstration days 1999. 95 - Acme and AcmeStudio. 96
- Victoria Stavridou:
Architectural analysis of component-based systems. 96-97 - William L. Scherlis:
Adaptation and commitment technology (ACT). 96 - Richard N. Taylor, David F. Redmiles:
Arabica. 96 - Richard N. Taylor, David F. Redmiles:
ArchStudio. 97 - Richard N. Taylor, David F. Redmiles:
Argo/UML. 97 - ARGUS-1: "All-Seeing" architectural analysis. 97
- Richard N. Taylor, David F. Redmiles:
Chimera. 98 - Gail E. Kaiser:
Internet-based information management technology. 98 - Bill Carlson, Chris Garrity:
Ewatch. 98 - Garry Brannum:
Capability packages for avionics software (CPAS). 98 - Tim Teitelbaum:
CodeSurfer. 99 - Dennis Heimbigner, Alexander L. Wolf:
Distributed software engineering. 99 - Gio Wiederhold, Dorothea Beringer, Neal Sample, Laurence Melloul:
Composition of multi-site software (CHAIMS). 99-100 - David C. Luckham:
Complex event processing (CEP). 99 - Karl J. Lieberherr:
Demeter/adaptive programming. 100-101 - Bob Blazer:
A COTS-based design editor for user specified domains. 100 - Debra J. Richardson:
DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing. 100 - Leon J. Osterweil, Lori A. Clarke:
FLAVERS. 101-102 - Spencer Rugaber:
Esprit de Corps Suite. 101 - Richard N. Taylor, David F. Redmiles:
Expectation-driven event monitoring. 101 - Richard Taylor, David F. Redmiles:
Endeavors. 101 - Steve Vestal:
DoME. 101 - Steve Vestal:
Incremental constraint engine. 102-103 - Sidney C. Bailin, Dean Allemang:
Formal alternative management integrating logical inference and rationals (FAMILIAR). 102 - Gail E. Kaiser:
Internet-based information management technology. 103 - Don S. Batory:
Jakarta Tool Suite (JTS). 103-104 - John P. Lehoczky:
INSERT - incremental software evolution for real-time systems. 103 - Barry W. Boehm, Nenad Medvidovic:
Model-based (systems) architecting and software engineering (MBASE). 104-105 - Leon J. Osterweil, Lori A. Clarke:
Little-JIL. 104 - Richard N. Taylor, David F. Redmiles:
Knowledge depot. 104 - José Meseguer, Carolyn L. Talcott:
Maude. 104 - Steve Vestal:
MetaH. 105 - Daniel A. Reed, Simon M. Kaplan:
ORBIT/VIRTUE - collaboration and visualization support for complex systems evolution. 105-106 - Gabor Karsai:
Model integrated computing (MIC). 105 - W. Lewis Johnson, Stacy C. Marsella:
MediaDoc: automated generation of multimedia explanatory presentations. 105 - Debra J. Richardson:
Siddhartha - automated test driver-oracle synthesis. 106-107 - Bob Balzer:
Securely wrapping COTS products. 106-107 - Michal Young:
High assurance technologies. 106 - Barry W. Boehm, Nenad Medvidovic:
Software architecture, analysis, generation, and evolution (SAAGE). 106 - Debra J. Richardson:
SoBelt: structural and behavioral execution instrumentation tool. 107 - Jim McDonald:
Specware. 107 - Alexander Egyed:
UML/Analyzer - a system for defining and analyzing the conceptual integrity of UML models. 108 - Richard N. Taylor, David F. Redmiles:
WebDAV. 108 - Debra J. Richardson:
TestTalk: software test description language. 108 - L. B. S. Raccoon:
A whole new kind of engineering. 109-113 - Vincent Traas, Jos van Hillegersberg:
The software component market on the internet current status and conditions for growth. 114
Volume 25, Number 2, March 2000
- William G. Griswold:
Guilds or virtual countries? the future of software professionals. 2 - Mark Doernhoefer:
Surfing the Net for software engineering notes. 8-16 - Peter G. Neumann:
Risks to the public in computers and related systems. 17-21 - Elke Pulvermüller, Andreas Speck:
Towards generative components. 22-24 - Ethan V. Munson:
Representations, tools, and services for the complete integration of software development documents. 25 - Salvatore Mamone:
Documentation testing. 26-29 - Tom Adams:
The God of inspection. 30 - Rakesh Agarwal, Arup Ratan Raha, Bhaskar Ghosh:
Our experience and learning in ERP implementation. 31-34 - Matjaz B. Juric, Ivan Rozman, Marjan Hericko, Tomaz Domajnko:
Integrating legacy systems in distributed object architecture. 35-39 - Hong Mei:
A complementary approach to requirements engineering - software architecture orientation. 40-45 - Miren Begoña Albizuri-Romero:
A retrospective view of CASE tools adoption. 46-50 - Ramkumar Ramaswamy:
Latency in distributed, sequential application designs. 51-55 - Xiaodong Yuan, Ying Feng:
The optimization of class hierarchy in object-oriented design. 56-59 - Han Yan, Chun-Gen Xu, Gong-Xuan Zhang, Feng-Yu Liu:
Constraint specification for object model of access control based on role. 60-63 - Han Yan, Fengyu Liu, Hong Zhang:
An object-oriented model of access control based on role. 64-68
Volume 25, Number 3, May 2000
- Mark Doernhoefer:
Surfing the net for software engineering notes. 5-10 - Peter G. Neumann:
Risks to the public in computers and related systems. 15-23
- Reidar Conradi:
Summary from 7th European software process workshop (EWSPT'7), Kaprun near Salzburg, 21-25 Feb. 2000. 23
- Bharath M. Kumar, R. Lakshminarayanan, Y. N. Srikant:
A study of automatic migration of programs across the Java event models. 24-29 - Anu Singh Lather, Shakti Kumar, Yogesh Singh:
Suitability assessment of software developers: a fuzzy approach. 30-31 - Chen Wang, Ying Zhou, Defu Zhang:
An efficient method for expressing active object in C++. 32-35 - Yonglin Zhou, Yunhe Pan:
Agent-oriented analysis and modeling. 36-40 - Peter Kokol, Vili Podgorelec, Ana Isabel Cardoso, Francis Dion:
Assessing the state of the software process development using the chaos theory. 41-43 - Peter Kokol, Vili Podgorelec, Francis Dion, Rich de Loach:
Intellectual energy in software design. 44-45 - Dragan Milicev:
Customizable output generation in modeling environments using pipelined domains. 46-50 - Sakib Abdul Mondal, Kingshuk Das Gupta:
Choosing a middleware for web-integration of a legacy application. 50-53 - Luyin Zhao, Sebastian G. Elbaum:
A survey on quality related activities in open source. 54-57
- Tom Anderson:
The distributed Smalltalk survival guide. 58 - Parasuram Anantharam:
Modelling systems. 58 - Kenneth W. Boyer Jr.:
Test process improvement: a practical step-by-step guide to structured testing. 59-60 - Luigi Benedicenti:
Rethinking smart objects: building artificial intelligence with objects. 59 - Claude Caci:
Testing object-oriented systems. 60-61 - Peter Claussen:
Theories of programming languages. 61-62 - Peter Claussen:
Concurrent programming in ML. 62-63 - Srinivas Nedunuri:
The functional approach to programming. 63-65 - Ron Dinishak:
The optimal implementation of functional programming languages. 63 - Chang Liu:
Term rewriting and all that. 63 - Tathagat Varma:
Automated software testing: introduction, management and performance. 65 - Debora Weber-Wulff:
Object-oriented software engineering: conquering complex and changing systems. 65-66 - Bradley S. Green:
Software test automation. 66
Volume 25, Number 4, July 2000
- Peter G. Neumann:
Risks to the public in computers and related systems. 7-11 - Mark Doernhoefer:
Surfing the Net for software engineering notes. 12-20 - Andreas Schmietendorf, Reiner R. Dumke, Erik Foltin:
Metrics based asset assessment. 51-61 - Sorana Cîmpan, Flávio Oquendo:
OMEGA: a language and system for on-line monitoring of software-intensive processes. 62-68
Volume 25, Number 5, September 2000
- Debra J. Richardson, Mary Jean Harold:
Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2000, Portland, OR, USA, August 21-24, 2000. ACM 2000, ISBN 1-58113-266-2 [contents]
Volume 25, Number 6, November 2000
- John C. Knight, David S. Rosenblum:
ACM SIGSOFT Symposium on Foundations of Software Engineering, an Diego, California, USA, November 6-10, 2000, Proceedings. ACM 2000, ISBN 978-1-58113-205-2 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-20 00:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
