- Mitchell Flatebo, Ajoy Kumar Datta:
Two-State Self-Stabilizing Algorithms for Token Rings. IEEE Trans. Software Eng. 20(6): 500-504 (1994) - William B. Frakes, Thomas P. Pole:
An Empirical Study of Representation Methods for Reusable Software Components. IEEE Trans. Software Eng. 20(8): 617-630 (1994) - Giuliana Franceschinis, Richard R. Muntz:
Computing Bounds for the Performance Indices of Quasi-Lumpable Stochastic Well-Formed Nets. IEEE Trans. Software Eng. 20(7): 516-525 (1994) - William G. Griswold
:
Comments on "Language Design for Program Manipulation''. IEEE Trans. Software Eng. 20(3): 218-219 (1994) - Michael González Harbour
, Mark H. Klein, John P. Lehoczky:
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems. IEEE Trans. Software Eng. 20(1): 13-28 (1994) - Les Hatton, Andy Roberts:
How Accurate Is Scientific Software? IEEE Trans. Software Eng. 20(10): 785-797 (1994) - Teruo Higashino, Gregor von Bochmann:
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters. IEEE Trans. Software Eng. 20(1): 29-42 (1994) - Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh:
An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems. IEEE Trans. Software Eng. 20(11): 849-867 (1994) - William E. Howden, Bruce Wieand:
QDA-A Method for Systematic Informal Program Analysis. IEEE Trans. Software Eng. 20(6): 445-462 (1994) - Yen-Min Huang, Chinya V. Ravishankar
:
Designing an Agent Synthesis System for Cross-RPC Communication. IEEE Trans. Software Eng. 20(3): 188-198 (1994) - Farnam Jahanian, Aloysius K. Mok:
Modechart: A Specification Language for Real-Time Systems. IEEE Trans. Software Eng. 20(12): 933-947 (1994) - Guy Juanole:
Petri Net Performance Models. IEEE Trans. Software Eng. 20(7): 505 (1994) - Karama Kanoun, Jean-Claude Laprie:
Software Reliability Trend Analyses from Theoretical to Practical Considerations. IEEE Trans. Software Eng. 20(9): 740-747 (1994) - Daniel L. Kiskis, Kang G. Shin:
SWSL: A Synthetic Workload Specification Language for Real-Time Systems. IEEE Trans. Software Eng. 20(10): 798-811 (1994) - Phillip Krueger, Niranjan G. Shivaratri:
Adaptive Location Policies for Global Scheduling. IEEE Trans. Software Eng. 20(6): 432-444 (1994) - Ajay D. Kshemkalyani, Mukesh Singhal:
Efficient Detection and Resolution of Generalized Distributed Deadlocks. IEEE Trans. Software Eng. 20(1): 43-54 (1994) - Simon S. Lam, A. Udaya Shankar:
A Theory of Interfaces and Modules I-Composition Theorem. IEEE Trans. Software Eng. 20(1): 55-71 (1994) - Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese:
Requirements Specification for Process-Control Systems. IEEE Trans. Software Eng. 20(9): 684-707 (1994) - Jianan Li, Ichiro Suzuki, Masafumi Yamashita:
A New Structural Induction Theorem for Rings of Temporal Petri Nets. IEEE Trans. Software Eng. 20(2): 115-126 (1994) - Horst Lichter
, Matthias Schneider-Hufschmidt, Heinz Züllighoven:
Prototyping in Industrial Software Projects-Bridging the Gap Between Theory and Practice. IEEE Trans. Software Eng. 20(11): 825-832 (1994) - Ying Liu, Ambuj K. Singh, Rajive L. Bagrodia:
A Decompositional Approach to the Design of Parallel Programs. IEEE Trans. Software Eng. 20(12): 914-932 (1994) - Noé Lopez-Benitez:
Dependability Modeling and Analysis of Distributed Programs. IEEE Trans. Software Eng. 20(5): 345-352 (1994) - Gang Luo, Gregor von Bochmann, Alexandre Petrenko:
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. IEEE Trans. Software Eng. 20(2): 149-162 (1994) - Gang Luo, Anindya Das, Gregor von Bochmann:
Software Testing Based on SDL Specifications with Save. IEEE Trans. Software Eng. 20(1): 72-87 (1994) - François Lustman:
Specifying Transaction-Based Information Systems with Regular Expressions. IEEE Trans. Software Eng. 20(3): 207-217 (1994) - Jack E. Matson, Bruce E. Barrett, Joseph M. Mellichamp:
Software Development Cost Estimation Using Function Points. IEEE Trans. Software Eng. 20(4): 275-287 (1994) - Daniel A. Menascé, Yelena Yesha, Konstantinos Kalpakis:
On a Unified Framework for the Evaluation of Distributed Quorum Attainment Protocols. IEEE Trans. Software Eng. 20(11): 868-884 (1994) - Masato Notomi, Tadao Murata:
Hierarchical Reachability Graph of Bounded Petri Nets for Concurrent-Software Analysis. IEEE Trans. Software Eng. 20(5): 325-336 (1994) - Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein:
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification. IEEE Trans. Software Eng. 20(10): 760-773 (1994) - A. Jefferson Offutt, Stephen D. Lee:
An Empirical Evaluation of Weak Mutation. IEEE Trans. Software Eng. 20(5): 337-344 (1994)