default search action
IEEE Transactions on Software Engineering (TSE), Volume 10
Volume 10, Number 1, January 1984
- Richard H. Thayer, Arthur B. Pyster:
Guest Editorial: Software Engineering Project Management. IEEE Trans. Software Eng. 10(1): 2-3 (1984) - Barry W. Boehm:
Software Engineering Economics. 4-21 - Jack Cooper:
Software Development Management Planning. 22-26 - Norman R. Howes:
Managing Software Development Projects for Maximum Productivity. 27-35 - Fletcher J. Buckley, Robert M. Poston:
Software Quality Assurance. 36-41 - James P. McGill:
The Software Engineering Shortage: A Third Choice. 42-49 - Walt Scacchi:
Managing Software Engineering Projects: A Social Analysis. 49-59 - William L. Bryan, Stanley G. Siegel:
Making Software Visible, Operational, and Maintainable in a Small Project Environment. 59-67 - Gerald M. Weinberg, Daniel P. Freedman:
Reviews, Walkthroughs, and Inspections. 68-72 - Martha A. Branstad, Patricia B. Powell:
Software Engineering Project Standards. 73-78 - Edward H. Bersoff:
Elements of Software Configuration Management. 79-87
- Chin-Chen Chang, M. W. Du, Richard C. T. Lee:
Performance Analyses of Cartesian Product Files and Random Files. 88-99 - Farokh B. Bastani:
Performance Improvement of Abstractions Through Context Dependent Transformations. 100-116 - Jun-ichi Aoe, Yoneo Yamamoto, Ryosaku Shimada:
A Method for Improving String Pattern Matching Machine. 116-120
Volume 10, Number 2, March 1984
- Carroll Morgan, Bernard Sufrin:
Specification of the UNIX Filing System. 128-142 - Ian D. Cottam:
The Rigorous Development of a System Version Control Program. 143-154 - Friedrich W. Beichter, Otthein Herzog
, Heiko Petzsch:
SLAN-4 - A Software Specification and Design Language. 155-162 - Flaviu Cristian:
Correct and Robust Programs. 163-174 - Wladyslaw M. Turski:
On Programming by Iterations. 175-178 - Abraham Silberschatz:
Cell: A Distributed Computing Modularization Concept. 178-185 - Meng-Lih Wu, Tai-Yang Hwang:
Access Control with Single-Key-Lock. 185-191 - Randy H. Katz, Tobin J. Lehman:
Database Support for Versions and Alternatives of Large Design Files. 191-200 - Stavros Christodoulakis
Design Considerations for a Message File Server. 201-210 - Hector Garcia-Molina, Frank Germano Jr., Walter H. Kohler:
Debugging a Distributed Computing System. 210-219
Volume 10, Number 3, May 1984
- Richard J. LeBlanc, Charles N. Fischer:
A Simple Separate Compilation Mechanism for Block-Structured Languages. 221-227 - Martin S. McKendry, Roy H. Campbell:
Implementing Language Support in High-Level Languages. 227-236 - Michael J. Ferguson:
Multiaccess in a Nonqueueing Mailbox Environment. 237-243 - Arthur E. Oldehoeft, Steven F. Jennings:
Dataflow Resource Managers and Their Synthesis from Open Path Expressions. 244-257 - Liba Svobodova:
Resilient Distributed Computing. 257-268 - Curtis Abbott:
Intervention Schedules for Real-Time Programming. 268-274 - Douglas D. Dunlop, Victor R. Basili:
A Heuristic for Deriving Loop Functions. 275-285 - Nicholas C. K. Phillips:
Safe Data Type Specifications. 285-290 - Barry W. Boehm, Terence E. Gray, Thomas Seewaldt:
Prototyping Versus Specifying: A Multiproject Experiment. 290-303 - Daniel L. Weller, Bryant W. York:
A Relational Representation of an Abstract Type System. 303-309 - David L. Spooner, Ehud Gudes:
A Unifying Approach to the Design of a Secure Database Operating System. 310-319 - Virgil D. Gligor:
A Note on Denial-of-Service in Operating Systems. 320-324
Volume 10, Number 4, July 1984
- Simon S. Lam, A. Udaya Shankar:
Protocol Verification via Projections. 325-342 - Narain H. Gehani:
Broadcasting Sequential Processes (BSP). 343-351 - Mark D. Weiser:
Program Slicing. 352-357 - Andreas Reuter, Horst Kinzinger:
Automatic Design of the Internal Schema for a CODASYL Database System. 358-375 - Willa Kay Wiener-Ehrlich, James R. Hamrick, Vincent F. Rupolo:
Modeling Software Behavior in Terms of a Formal Life Cycle Curve: Implications for Software Maintenance. 376-383 - H. G. Stuebing:
A Software Engineering Environment (SEE) for Weapon System Software. 384-397 - Iris Vessey, Ron Weber:
Research on Structured Programming: An Empiricist's Evaluation. 397-407 - Terry C. Snow:
Use of Software Engineering Practices at a Small MIS Shop. 408-413 - William J. Stewart, Wayne P. Stohs:
Some Equivalence Results for Load-Independent Exponential Queueing Networks. 414-422 - Timo O. Alanko, Hannu Erkiö, Ilkka J. Haikala:
Virtual Memory Behavior of Some Sorting Algorithms. 422-431 - Jacek Jachner, Vinod K. Agarwal:
Data Flow Anomaly Detection. 432-437 - Joe W. Duran, Simeon C. Ntafos:
An Evaluation of Random Testing. 438-444 - Clement H. C. Leung, Qui Hoon Choo:
On the Execution of Large Batch Programs in Unreliable Computing Systems. 444-450 - Ramon F. Sarraga:
Static Data Flow Analysis of PL/I Programs with the PROBE System. 451-459 - John E. Gaffney Jr.:
Estimating the Number of Faults in Code. 459-465 - William Perrizo:
A Method for Processing Distributed Database Queries. 466-471
Volume 10, Number 5, September 1984
- Ellis Horowitz, John B. Munson:
An Expansive View of Reusable Software. 477-487 - T. Capers Jones:
Reusability in Programming: A Survey of the State of the Art. 488-494 - Thomas A. Standish:
An Essay on Software Reuse. 494-497 - Robert G. Lanergan, Charles A. Grasso:
Software Engineering with Reusable Designs and Code. 498-501 - Yoshihiro Matsumoto:
Some Experiences in Promoting Reusabel Software: Presentation in Higher Abstract Levels. 502-513 - Brian W. Kernighan:
The Unix System and Software Reusability. 513-518 - Gael A. Curry, Robert M. Ayers:
Experience with Traits in the Xerox Star Workstation. 519-527 - Joseph A. Goguen:
Parameterized Programming. 528-544 - Steven D. Litvintchouk, Allen S. Matsumoto:
Design of Ada Systems Yielding Reusable Components: An Approach Using Structured Algebraic Specification. 544-551 - Thomas T. Cheng, Evan D. Lock, Noah S. Prywes:
Use of Very High Level Languages and Program Generation by Management Professionals. 552-563 - James M. Neighbors:
The Draco Approach to Constructing Software from Reusable Components. 564-574 - James M. Boyle, Monagur N. Muralidharan:
Program Reusability through Program Transformation. 574-588 - Thomas E. Cheatham Jr.:
Reusability Through Program Transformations. 589-594 - Elliot Soloway, Kate Ehrlich:
Empirical Studies of Programming Knowledge. 595-609
Volume 10, Number 6, November 1984
- Sushil Jajodia, Peter A. Ng:
Representative Instances and gamma-Acyclic Relational Schemes. 614-618 - Daniel R. Dolk, Benn R. Konsynski:
Knowledge Representation for Model Management Systems. 619-628 - Umeshwar Dayal, Hai-Yann Hwang:
View Definition and Generalization for Database Integration in a Multidatabase System. 628-645 - Rony Attar, Philip A. Bernstein, Nathan Goodman:
Site Initialization, Recovery, and Backup in a Distributed Database System. 645-650 - Carlo Batini, Maurizio Lenzerini
A Methodology for Data Schema Integration in the Entity Relationship Model. 650-664 - Leszek Lilien
A Scheme for Batch Verification of Integrity Assertions in a Database System. 664-680 - Michael Hatzopoulos, John G. Kollias:
On the Optimal Selection of Multilist Database Structures. 681-687 - Anthony Iannino, John D. Musa, Kazuhira Okumoto, Bev Littlewood:
Criteria for Software Reliability Model Comparisons. 687-691 - Kang G. Shin, Yann-Hang Lee:
Evaluation of Error Recovery Blocks Used for Cooperating Processes. 692-700 - Jean-Claude Laprie:
Dependability Evaluation of Software Systems in Operation. 701-714 - Carolyn Wong:
A Successful Software Development. 714-727 - Victor R. Basili, David M. Weiss:
A Methodology for Collecting Valid Software Engineering Data. 728-738 - Neil B. Corrigan, J. Denbigh Starkey:
A Concurrent General Purpose Operator Interface. 738-748 - Amram Ben-David, Moshe I. Ben-Porat, Jonah Z. Loeb, Michael Rich:
An Industrial Software Engineering Retraining Course: Development Considerations and Lessons Learned. 748-755 - Bernhard Plattner:
Real-Time Execution Monitoring. 756-764 - Steven M. German:
Monitoring for Deadlock and Blocking in Ada Tasking. 764-777 - Udi Manber:
Concurrent Maintenance of Binary Search Trees. 777-784 - David B. Benson:
Counting Paths: Nondeterminism as Linear Algebra. 785-794 - Simeon C. Ntafos:
On Required Element Testing. 795-803 - Mohammad G. Khayat, W. S. Breger, M. Freiling, Ted G. Lewis:
A Concurrency Measure. 804-810 - Dennis W. Leinbaugh:
Selectors: High-Level Resource Schedulers. 810-825 - Teruo Higashino, Masaaki Mori, Yuji Sugiyama, Kenichi Taniguchi, Tadao Kasami:
An Algebraic Specification of HDLC Procedures and Its Verification. 825-836 - Giuseppe Serazzi, Maria Calzarossa
Adaptive Optimization of a System's Load. 837-845 - Mohamed G. Gouda:
Closed Covers: To Verify Progress for Communicating Finite State Machines. 846-855 - Hisao Kameda:
A Property of Normalization Constants for Closed Queueing Networks. 856-857
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-12-18 18:27 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: