default search action
IEEE Transactions on Software Engineering (TSE), Volume 18
Volume 18, Number 1, January 1992
- 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 - 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, Tad Hogg, Bernardo A. Huberman, Jeffrey O. Kephart, W. Scott Stornetta:
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 - Hwa-Chun Lin, C. S. Raghavendra:
A Dynamic Load-Balancing Policy With a Central Job Dispatcher (LBC). 148-158
Volume 18, Number 3, March 1992
- 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 - 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
- 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 - Philip S. Yu, Ming-Syan Chen, Hans-Ulrich Heiss, Sukho Lee:
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 - Kathryn C. Kinsley, Charles E. Hughes:
Analysis of a Virtual Memory Model For Maintaining Database Views. 402-409 - 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, Vasant Dhar:
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, Stefano Ceri, Letizia Tanca, Stefano Crespi-Reghizzi:
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, 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 - 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 - 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
- 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
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 - Irene Greif, Robert Seliger, William E. Weihl:
A Case Study Of CES: A Distributed Collaborative Editing System Implemented In Argus. 827-839
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 Tyler, James McGuire, Jon Schlossberg:
Commitment-Based Software Development. 870-885 - Markku Oivo, Victor R. Basili:
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, Sunder Kekre:
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
Volume 18, Number 12, December 1992
- Moises Lejter, Scott Meyers, Steven P. Reiss:
Support for Maintaining Object-Oriented Programs. 1045-1052 - Gerardo Canfora, Aniello Cimitile, Ugo de Carlini:
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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2015-01-31 20:43 CET by the dblp team