Journal: IEEE Trans. Software Eng.

Volume 18, Issue 9

766 -- 767Richard A. Kemmerer, Carlo Ghezzi. Guest Editors Introduction: Specification and Analysis of Real-Time Systems
768 -- 784Richard Gerber, Insup Lee. A Layered Approach to Automating the Verification of Real-Time Systems
785 -- 793Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel. Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE
794 -- 804Xavier Nicollin, Joseph Sifakis, Sergio Yovine. Compiling Real-Time Specifications into Extended Automata
805 -- 816Alan C. Shaw. Communicating Real-Time State Machines
817 -- 826Brendan P. Mahony, Ian J. Hayes. A Case-Study in Timed Refinement: A Mine Pump
827 -- 839Irene Greif, Robert Seliger, William E. Weihl. A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus
840 -- 849Leo Mark, Roberta Cochrane. Grammars and Relations

Volume 18, Issue 8

657 -- 673J. Eliot B. Moss. Working with Persistent Objects: To Swizzle or Not to Swizzle
674 -- 704Zohar Manna, Richard J. Waldinger. Fundamentals of Deductive Program Synthesis
705 -- 716Giancarlo Nota, Giuliano Pacini. Querying of Executable Software Specifications
717 -- 727Jeffrey M. Voas. PIE: A Dynamic Failure-Based Technique
728 -- 735Dongming Wang, Bernd Schürmann. Computer Aided Analysis and Derivation for Artificial Neural Systems
736 -- 748Karsten Schwan, Hongyi Zhou. Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads
749 -- 760Robyn R. Lutz, Johnny S. Wong. Detecting Unsafe Error Recovery Schedules

Volume 18, Issue 7

549 -- 550Erol Gelenbe. Guest Editor s Introduction to the Special Issue on Neural Network Software and Systems
551 -- 562Gregory L. Heileman, Michael Georgiopoulos, William D. Roome. A General Framework for Concurrent Simulation of Neural Network Models
563 -- 574Nachimuthu Karunanithi, Darrell Whitley, Yashwant K. Malaiya. Prediction of Software Reliability Using Connectionist Models
575 -- 589Edmond Mesrobian, Josef Skrzypek. A Software Environment For Studying Computational Neural Systems
590 -- 600Andreas Stafylopatis, Aristidis Likas. Pictorial Information Retrieval Using the Random Neural Network
601 -- 612Leslie S. Smith. A Framework for Neural Net Specification
613 -- 623S. T. Kim, K. Suwunboriruksa, S. Herath, Anura P. Jayasumana, Jayantha A. Herath. Algorithmic Transformations for Neural Computing and Performance of Supervised Learning on a Dataflow Machine
624 -- 630Mehmet Sahinoglu. Compound-Poisson Software Reliability Model
631 -- 645Kazuhiko Kato, Takashi Masuda. Persistent Caching: An Implementation Technique for Complex Objects with Object Identity
646 -- 653Gordon S. Novak, Fredrick N. Hill, Man-Lee Wan, Brian G. Sayrs. Negotiated Interfaces for Software Reuse

Volume 18, Issue 6

449 -- 450Alexander Borgida, Matthias Jarke. Knowledge Representation and Reasoning in Software Engineering
451 -- 469Charles Rich, Yishai A. Feldman. Seven Layers of Knowledge Representation and Reasoning in Support of Software Development
470 -- 482Stephen Fickas, B. Robert Helm. Knowledge Representation and Reasoning in the Design of Composite Systems
483 -- 497John Mylopoulos, Lawrence Chung, Brian A. Nixon. Representing and Using Nonfunctional Requirements: A Process-Oriented Approach
498 -- 510Balasubramaniam Ramesh, Vasant Dhar. Supporting Systems Development by Capturing Deliberations During Requirements Engineering
511 -- 522Gerhard Fischer, Andreas Girgensohn, Kumiyo Nakakoji, David F. Redmiles. Supporting Software Designers with Integrated Domain-Oriented Design Environments
523 -- 533Dorothy E. Setliff, Rob A. Rutenbar. Knowledge Representation and Reasoning in a Software Synthesis Architecture
534 -- 546Filippo Cacace, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi. Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment

Volume 18, Issue 5

357 -- 367Eric Steegmans, Johan Lewi, Ivo van Horebeek. Generation of Interactive Parsers With Error Handling
368 -- 379Atish P. Sinha, Iris Vessey. Cognitive Fit: An Empirical Study of Recursion and Iteration
380 -- 392Nazim H. Madhavji. Environment Evolution: The Prism Model of Changes
393 -- 401Qian Cui, John D. Gannon. Data-Oriented Exception Handling
402 -- 409Kathryn C. Kinsley, Charles E. Hughes. Analysis of a Virtual Memory Model For Maintaining Database Views
410 -- 422Norman F. Schneidewind. Methodology For Validating Software Metrics
423 -- 433John C. Munson, Taghi M. Khoshgoftaar. The Detection of Fault-Prone Programs
434 -- 447Leonard Kleinrock, Jau-Hsiung Huang. On Parallel Processing Systems: Amdahl s Law Generalized and Some Results on Optimal Design

Volume 18, Issue 4

265 -- 278June M. Verner, Graham Tate. A Software Size Model
279 -- 295Robert E. Fields, Morten Elvang-Gøransson. A VDM Case Study in ::::mural::::
304 -- 318G. A. Venkatesh, Charles N. Fischer. SPARE: A Development Environment For Program Analysis Algorithms
319 -- 328Matt W. Mutka. Estimating Capacity For Sharing in a Privately Owned Workstation Environment
329 -- 346Robert B. France. Semantically Extended Data Flow Diagrams: A Formal Specification Tool
347 -- 355Philip S. Yu, Ming-Syan Chen, Hans-Ulrich Heiss, Sukho Lee. On Workload Characterization of Relational Database Environments

Volume 18, Issue 3

174 -- 189Dan Paulson, Yair Wand. An Automated Approach to Information Systems Decomposition
190 -- 205Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum. Orca: A Language For Parallel Programming of Distributed Systems
206 -- 215Richard N. Taylor, David L. Levine, Cheryl D. Kelly. Structural Testing of Concurrent Programs
216 -- 224Kyu-Young Whang, Ashok Malhotra, Gary H. Sockut, Luanne M. Burns, Key-Sun Choi. Two-Dimensional Specification of Universal Quantification in a Graphical Database Query Language
225 -- 236Hamish Taylor. A Lingua Franca For Concurrent Logic Programming
237 -- 251Zahira Ammarguellat. A Control-Flow Normalization Algorithm and Its Complexity
252 -- 261Yiannis E. Papelis, Thomas L. Casavant. Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions

Volume 18, Issue 2

89 -- 102Jack W. Davidson, Anne M. Holler. Subprogram Inlining: A Study of its Effects on Program Execution Time
103 -- 117Carl A. Waldspurger, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta. Spawn: A Distributed Computational Economy
118 -- 129Philip S. Yu, Daniel M. Dias. Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment
130 -- 147Jean-Claude Laprie, Karama Kanoun. X-Ware Reliability and Availability Modeling
148 -- 158Hwa-Chun Lin, C. S. Raghavendra. A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC)
159 -- 167Geppino Pucci. A New Approach to the Modeling of Recovery Block Structures
168 -- 171Bernd-Jürgen Falkowski. Comments on an Optimal Set of Indices For a Relational Database

Volume 18, Issue 12

1037 -- 0Vaclav Rajlich. Guest Editor s Introduction: Special Issue on Software Maintenance
1038 -- 1044Norman Wilde, Ross Huitt. Maintenance Support for Object-Oriented Programs
1045 -- 1052Moises Lejter, Scott Meyers, Steven P. Reiss. Support for Maintaining Object-Oriented Programs
1053 -- 1064Gerardo Canfora, Aniello Cimitile, Ugo de Carlini. A Logic-Based Approach to Reverse Engineering Tools Production
1076 -- 1100Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang. A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis
1965 -- 1075Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts. Program Concept Recognition and Transformation

Volume 18, Issue 11

929 -- 930Richard W. Selby, Koji Torii. Guest Editorial Introduction: Special Issue on Software Measurement Principles, Techniques, and Environment
931 -- 942Lionel C. Briand, Victor R. Basili, William M. Thomas. A Pattern Recognition Approach for Software Engineering Data Analysis
943 -- 956Ram Chillarege, Inderpal S. Bhandari, Jarir K. Chaar, Michael J. Halliday, Diane S. Moebus, Bonnie K. Ray, Man-Yuen Wong. Orthogonal Defect Classification - A Concept for In-Process Measurements
957 -- 968Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr.. Seesoft-A Tool For Visualizing Line Oriented Software Statistics
969 -- 979Yingsha Liao, Donald Cohen. A Specificational Approach to High Level Program Monitoring and Measuring
979 -- 987Taghi M. Khoshgoftaar, John C. Munson, Bibhuti B. Bhattacharya, Gary D. Richardson. Predictive Modeling Techniques of Software Quality from Software Measures
988 -- 997William W. Agresti, William M. Evanco. Projecting Software Defects From Analyzing Ada Designs
998 -- 1010Michael Daskalantonakis. A Practical View of Software Measurement and Implementation Experiences Within Motorola
1011 -- 1024Chris F. Kemerer, Benjamin S. Porter. Improving the Reliability of Function Point Measurement: An Empirical Study
1025 -- 1034Warren Harrison. An Entropy-Based Measure of Software Complexity

Volume 18, Issue 10

853 -- 869W. Lewis Johnson, Martin S. Feather, David R. Harris. Representation and Presentation of Requirements Knowledge
870 -- 885William Mark, Sherman Tyler, James McGuire, Jon Schlossberg. Commitment-Based Software Development
886 -- 898Markku Oivo, Victor R. Basili. Representing Software Engineering Models: The TAME Goal Oriented Approach
899 -- 914Bruno Ciciani, Daniel M. Dias, Philip S. Yu. Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality
915 -- 924Tridas Mukhopadhyay, Sunder Kekre. Software Effort Models for Early Estimation of Process Control Applications

Volume 18, Issue 1

1 -- 8Mahadev Satyanarayanan. The Influence of Scale on Distributed File System Design
9 -- 18Derek Coleman, Fiona Hayes, Stephen Bear. Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design
19 -- 32Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron. Language Design For Program Manipulation
33 -- 43Keith W. Miller, Larry J. Morell, Robert E. Noonan, Stephen K. Park, David M. Nicol, Branson W. Murrill, Jeffrey M. Voas. Estimating the Probability of Failure When Testing Reveals No Failures
44 -- 54Scott D. Carson, Sanjeev Setia. Analysis of the Periodic Update Write Policy For Disk Cache
55 -- 71Mercedes Granda, José M. Drake, José A. Gregorio. Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets
72 -- 77Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci. On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems
78 -- 86Ravi Ganesan, Shlomo Weiss. Scalar Memory References in Pipelined Multiprocessors: A Performance Study