default search action
IEEE Transactions on Software Engineering (TSE), Volume 18
Volume 18, Number 1, January 1992
- Mahadev Satyanarayanan
:
The Influence of Scale on Distributed File System Design. 1-8 - Derek Coleman, Fiona Hayes, Stephen Bear:
Introducing Objectcharts or How to Use Statecharts in Object-Oriented Design. 9-18 - Eduardus A. T. Merks, J. Michael Dyck, Robert D. Cameron:
Language Design For Program Manipulation. 19-32 - Keith 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. 33-43 - Scott D. Carson, Sanjeev Setia:
Analysis of the Periodic Update Write Policy For Disk Cache. 44-54 - Mercedes Granda, José M. Drake, José A. Gregorio
Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets. 55-71 - Vincenzo Grassi, Lorenzo Donatiello, Salvatore Tucci
On the Optimal Checkpointing of Critical Tasks and Transaction-Oriented Systems. 72-77 - Ravi Ganesan, Shlomo Weiss:
Scalar Memory References in Pipelined Multiprocessors: A Performance Study. 78-86
Volume 18, Number 2, February 1992
- Jack W. Davidson, Anne M. Holler:
Subprogram Inlining: A Study of its Effects on Program Execution Time. 89-102 - Carl A. Waldspurger
Spawn: A Distributed Computational Economy. 103-117 - Philip S. Yu, Daniel M. Dias:
Analysis of Hybrid Concurrency Control Schemes For a High Data Contention Environment. 118-129 - Jean-Claude Laprie, Karama Kanoun:
X-Ware Reliability and Availability Modeling. 130-147 - Hwa-Chun Lin, Cauligi S. Raghavendra:
A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC). 148-158 - Geppino Pucci
A New Approach to the Modeling of Recovery Block Structures. 159-167 - Bernd-Jürgen Falkowski:
Comments on an Optimal Set of Indices For a Relational Database. 168-171
Volume 18, Number 3, March 1992
- Dan Paulson, Yair Wand:
An Automated Approach to Information Systems Decomposition. 174-189 - Henri E. Bal, M. Frans Kaashoek, Andrew S. Tanenbaum
Orca: A Language For Parallel Programming of Distributed Systems. 190-205 - Richard N. Taylor, David L. Levine, Cheryl D. Kelly:
Structural Testing of Concurrent Programs. 206-215 - Kyu-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. 216-224 - Hamish Taylor:
A Lingua Franca For Concurrent Logic Programming. 225-236 - Zahira Ammarguellat:
A Control-Flow Normalization Algorithm and Its Complexity. 237-251 - Yiannis E. Papelis, Thomas L. Casavant:
Specification and Analysis of Parallel/Distributed Software and Systems by Petri Nets With Transition Enabling Functions. 252-261
Volume 18, Number 4, April 1992
- June M. Verner, Graham Tate:
A Software Size Model. 265-278 - Robert E. Fields
A VDM Case Study in mural. 279-295 - M. Ferhan Pekergin:
Parallel Computing Optimization in the Apollo Domain Network. 296-304 - G. A. Venkatesh, Charles N. Fischer:
SPARE: A Development Environment For Program Analysis Algorithms. 304-318 - Matt W. Mutka
Estimating Capacity For Sharing in a Privately Owned Workstation Environment. 319-328 - Robert B. France:
Semantically Extended Data Flow Diagrams: A Formal Specification Tool. 329-346 - Philip S. Yu, Ming-Syan Chen
On Workload Characterization of Relational Database Environments. 347-355
Volume 18, Number 5, May 1992
- Eric Steegmans, Johan Lewi, Ivo Van Horebeek:
Generation of Interactive Parsers With Error Handling. 357-367 - Atish P. Sinha, Iris Vessey:
Cognitive Fit: An Empirical Study of Recursion and Iteration. 368-379 - Nazim H. Madhavji:
Environment Evolution: The Prism Model of Changes. 380-392 - Qian Cui, John D. Gannon:
Data-Oriented Exception Handling. 393-401 - Kathryn C. Kinsley, Charles E. Hughes
Analysis of a Virtual Memory Model For Maintaining Database Views. 402-409 - Norman F. Schneidewind:
Methodology For Validating Software Metrics. 410-422 - John C. Munson, Taghi M. Khoshgoftaar:
The Detection of Fault-Prone Programs. 423-433 - Leonard Kleinrock, Jau-Hsiung Huang:
On Parallel Processing Systems: Amdahl's Law Generalized and Some Results on Optimal Design. 434-447
Volume 18, Number 6, June 1992
- Alexander Borgida, Matthias Jarke:
Knowledge Representation and Reasoning in Software Engineering. 449-450 - Charles Rich, Yishai A. Feldman:
Seven Layers of Knowledge Representation and Reasoning in Support of Software Development. 451-469 - Stephen Fickas, B. Robert Helm:
Knowledge Representation and Reasoning in the Design of Composite Systems. 470-482 - John Mylopoulos, Lawrence Chung, Brian A. Nixon:
Representing and Using Nonfunctional Requirements: A Process-Oriented Approach. 483-497 - Balasubramaniam Ramesh
Supporting Systems Development by Capturing Deliberations During Requirements Engineering. 498-510 - Gerhard Fischer, Andreas Girgensohn, Kumiyo Nakakoji, David F. Redmiles:
Supporting Software Designers with Integrated Domain-Oriented Design Environments. 511-522 - Dorothy E. Setliff, Rob A. Rutenbar
Knowledge Representation and Reasoning in a Software Synthesis Architecture. 523-533 - Filippo Cacace
Designing and Prototyping Data-Intensive Applications in the Logres and Algres Programming Environment. 534-546
Volume 18, Number 7, July 1992
- Erol Gelenbe:
Guest Editor's Introduction to the Special Issue on Neural Network Software and Systems. 549-550 - Gregory L. Heileman, Michael Georgiopoulos, William D. Roome:
A General Framework for Concurrent Simulation of Neural Network Models. 551-562 - Nachimuthu Karunanithi, L. Darrell Whitley, Yashwant K. Malaiya:
Prediction of Software Reliability Using Connectionist Models. 563-574 - Edmond Mesrobian, Josef Skrzypek:
A Software Environment For Studying Computational Neural Systems. 575-589 - Andreas Stafylopatis, Aristidis Likas:
Pictorial Information Retrieval Using the Random Neural Network. 590-600 - Leslie S. Smith
A Framework for Neural Net Specification. 601-612 - S. 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. 613-623 - Mehmet Sahinoglu:
Compound-Poisson Software Reliability Model. 624-630 - Kazuhiko Kato, Takashi Masuda:
Persistent Caching: An Implementation Technique for Complex Objects with Object Identity. 631-645 - Gordon S. Novak, Fredrick N. Hill, Man-Lee Wan, Brian G. Sayrs:
Negotiated Interfaces for Software Reuse. 646-653
Volume 18, Number 8, August 1992
- J. Eliot B. Moss:
Working with Persistent Objects: To Swizzle or Not to Swizzle. 657-673 - Zohar Manna, Richard J. Waldinger:
Fundamentals of Deductive Program Synthesis. 674-704 - Giancarlo Nota, Giuliano Pacini:
Querying of Executable Software Specifications. 705-716 - Jeffrey M. Voas:
PIE: A Dynamic Failure-Based Technique. 717-727 - Dongming Wang, Bernd Schürmann:
Computer Aided Analysis and Derivation for Artificial Neural Systems. 728-735 - Karsten Schwan, Hongyi Zhou:
Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads. 736-748 - Robyn R. Lutz
Detecting Unsafe Error Recovery Schedules. 749-760
Volume 18, Number 9, September 1992
- Richard A. Kemmerer, Carlo Ghezzi:
Guest Editors' Introduction: Specification and Analysis of Real-Time Systems. 766-767 - Richard Gerber, Insup Lee:
A Layered Approach to Automating the Verification of Real-Time Systems. 768-784 - Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel:
Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE. 785-793 - Xavier Nicollin, Joseph Sifakis, Sergio Yovine
Compiling Real-Time Specifications into Extended Automata. 794-804 - Alan C. Shaw:
Communicating Real-Time State Machines. 805-816 - Brendan P. Mahony, Ian J. Hayes
A Case-Study in Timed Refinement: A Mine Pump. 817-826 - Irene Greif, Robert Seliger, William E. Weihl:
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. 827-839 - Leo Mark, Roberta Cochrane:
Grammars and Relations. 840-849
Volume 18, Number 10, October 1992
- W. Lewis Johnson, Martin S. Feather, David R. Harris:
Representation and Presentation of Requirements Knowledge. 853-869 - William S. Mark, Sherman W. Tyler, James McGuire, Jon L. Schlossberg:
Commitment-Based Software Development. 870-885 - Markku Oivo
Representing Software Engineering Models: The TAME Goal Oriented Approach. 886-898 - Bruno Ciciani, Daniel M. Dias, Philip S. Yu:
Analysis of Concurrency-Coherency Control Protocols for Distributed Transaction Processing Systems with Regional Locality. 899-914 - Tridas Mukhopadhyay
Software Effort Models for Early Estimation of Process Control Applications. 915-924
Volume 18, Number 11, November 1992
- Richard W. Selby, Koji Torii:
Guest Editorial Introduction: Special Issue on Software Measurement Principles, Techniques, and Environment. 929-930 - Lionel C. Briand, Victor R. Basili, William M. Thomas:
A Pattern Recognition Approach for Software Engineering Data Analysis. 931-942 - Ram 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. 943-956 - Stephen G. Eick, Joseph L. Steffen, Eric E. Sumner Jr.:
Seesoft-A Tool For Visualizing Line Oriented Software Statistics. 957-968 - Yingsha Liao, Donald Cohen:
A Specificational Approach to High Level Program Monitoring and Measuring. 969-979 - Taghi M. Khoshgoftaar, John C. Munson, Bibhuti B. Bhattacharya, Gary D. Richardson:
Predictive Modeling Techniques of Software Quality from Software Measures. 979-987 - William W. Agresti, William M. Evanco:
Projecting Software Defects From Analyzing Ada Designs. 988-997 - Michael Daskalantonakis:
A Practical View of Software Measurement and Implementation Experiences Within Motorola. 998-1010 - Chris F. Kemerer, Benjamin S. Porter:
Improving the Reliability of Function Point Measurement: An Empirical Study. 1011-1024 - Warren Harrison:
An Entropy-Based Measure of Software Complexity. 1025-1034
Volume 18, Number 12, December 1992
- Václav Rajlich:
Guest Editor's Introduction: Special Issue on Software Maintenance. 1037 - Norman Wilde, Ross Huitt:
Maintenance Support for Object-Oriented Programs. 1038-1044 - Moises Lejter, Scott Meyers, Steven P. Reiss:
Support for Maintaining Object-Oriented Programs. 1045-1052 - Gerardo Canfora
A Logic-Based Approach to Reverse Engineering Tools Production. 1053-1064 - Wojtek Kozaczynski, Jim Q. Ning, Andre Engberts:
Program Concept Recognition and Transformation. 1965-1075 - Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang:
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. 1076-1100
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 2024-11-15 19:39 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: