Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarACM SIGSOFT Software Engineering Notes, Volume 25
Volume 25, Number 1, January 2000
- Vaclav Rajlich, S. Rank, Norman Wilde, Keith H. Bennett:
Report on a workshop on software change and evolution. 28-29 - Rance Cleaveland, Philip M. Lewis, Scott A. Smolka:
Practical techniques for the design, specification, verification, and implementation of concurrent systems. 43-44 - Laura K. Dillon:
Automated support for testing and debugging of real-time programs using oracles. 45-46 - Matthew B. Dwyer, John Hatcliff:
Adapting programming languages technologies for finite-state verification. 46-49 - Deepak Goyal, Y. Annie Liu:
Automated development of software for program analysis and transformation. 52-53 - 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 - Spiros Mancoridis:
Toward a design environment for recovering and maintaining the structure of software systems. 63-64 - 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 - C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren:
Specification and evaluation of logic-based model checking. 73-74 - 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 - Forrest Shull, Victor R. Basili, Marvin V. Zelkowitz:
The experimental validation and packaging of software technologies. 82-83 - David B. Stewart:
Automated analysis and fine-tuning of timing properties in embedded real-time systems. 86-87 - Bradley T. Vander Zanden:
New visualization and debugging technology for one-way dataflow constraints. 90-91 - Mitchell Wand, William D. Clinger:
Optimizing memory usage in higher-order programming languages: theoretical and experimental studies. 92 - Acme and AcmeStudio. 96
- ARGUS-1: "All-Seeing" architectural analysis. 97
- Gio Wiederhold, Dorothea Beringer, Neal Sample, Laurence Melloul:
Composition of multi-site software (CHAIMS). 99-100 - Debra J. Richardson:
DAS-BOOT: design-, architecture- and specification-based approaches to object-oriented testing. 100 - Sidney C. Bailin, Dean Allemang:
Formal alternative management integrating logical inference and rationals (FAMILIAR). 102 - Barry W. Boehm, Nenad Medvidovic:
Model-based (systems) architecting and software engineering (MBASE). 104-105 - Daniel A. Reed, Simon M. Kaplan:
ORBIT/VIRTUE - collaboration and visualization support for complex systems evolution. 105-106 - W. Lewis Johnson, Stacy C. Marsella:
MediaDoc: automated generation of multimedia explanatory presentations. 105 - Barry W. Boehm, Nenad Medvidovic:
Software architecture, analysis, generation, and evolution (SAAGE). 106 - Alexander Egyed:
UML/Analyzer - a system for defining and analyzing the conceptual integrity of UML models. 108 - 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
- Ethan V. Munson:
Representations, tools, and services for the complete integration of software development documents. 25 - 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 - Han Yan, Chun-Gen Xu, Gong-Xuan Zhang, Feng-Yu Liu:
Constraint specification for object model of access control based on role. 60-63