Search

Showing total 139 results
139 results

Search Results

1. Editor's Comments.

2. Predicate Logic for Software Engineering.

3. Voltage Stability Toolbox for Power System Education and Research.

4. Distributed Processing of Reliability Index Assessment and Reliability-Based Network Reconfiguration in Power Distribution Systems.

5. CALENDAR.

6. The Role of Deliberate Artificial Design Elements in Software Engineering Experiments.

7. E-Portfolios for Developing Transferable Skills in a Freshman Engineering Course.

8. On the Memory Access Patterns of Supercomputer Applications: Benchmark Selection and Its Implications.

9. LISPACK—A Methodology and Tool for the Performance Analysis of Parallel Systems and Algorithms.

10. PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols.

11. Specification of Synchronizing Processes.

12. Toolpack—An Experimental Software Development Environment Research Project.

13. Software Function, Source Lines of Code, and Development Effort Prediction: A Software Science Validation.

14. An Extended Periodic Imperfect Preventive Maintenance Model With Age-Dependent Failure Type.

15. Problem Oriented Software Engineering: Solving the Package Router Control Problem.

16. Integrating Large-Scale Group Projects and Software Engineering Approaches for Early Computer Science Courses.

17. FSM-Based Incremental Conformance Testing Methods.

18. Event-Based Traceability for Managing Evolutionary Change.

19. Reusing Software: Issues and Research Directions.

20. The Processor Working Set and Its Use in Scheduling Multiprocessor Systems.

21. High Performance Software Testing on SIMD Machines.

22. Using Transformations in Specification-Based Prototyping.

23. A Comparison of Function Point Counting Techniques.

24. Semantic Feedback in the Higgens UIMS.

25. User Validation of Information System Requirements: Some Empirical Results.

26. An Interactive Protocol Synthesis Algorithm Using a Global State Transition Graph.

27. MAP 2.1 Conformance Testing Tools.

28. Semiautomatic Implementation of Protocols Using an Estelle-C Compiler.

29. Entity Structure Based Design Methodology: A LAN Protocol Example.

30. The IC* Model of Parallel Computation and Programming Environment.

31. Automated Protocol Implementation with RTAG.

32. A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency.

33. Managing Software Engineering Projects: A Social Analysis.

34. A Mathematical Framework for the Investigation of Testing.

35. Formal Specification and Verification of Distributed Systems.

36. An Empirical Study of a Syntactic Complexity Family.

37. On the Multiple Implementation of Abstract Data Types Within a Computation.

38. Constructive Methods in Program Verification.

39. Software Metrics: Guest Editor's Introduction.

40. Guest Editorial: COMPSAC '81 Special Section.

41. A Three-View Model for Performance Engineering of Concurrent Software.

42. Software Bottlenecking in Client-Server Systems and Rendezvous Networks.

43. An Event-Based Architecture Definition Language.

44. Using Automatic Process Clustering for Design Recovery and Distributed Debugging.

45. Call Path Refinement Profiles.

46. Knowledge Representation and Reasoning in a Software Synthesis Architecture.

47. Representing and Using Nonfunctional Requirements: A Process-Oriented Approach.

48. Designing and Prototyping Data-Intensive Applications in the Logres and Aigres Programming Environment.

49. Seven Layers of Knowledge Representation and Reasoning in Support of Software Development .

50. The Estimation of Parameters of the Hypergeometric Distribution and Its Application to the Software Reliability Growth Model.