Abstract is missing.
- Verification, Validation and the Future of Software EngineeringJohn Staples. 2 [doi]
- An Algebraic Semantics for Object-Oriented Behaviour ModelingJan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede. 4-15 [doi]
- A Tool for Practical Reasoning about State Machine DesignsAnthony Cant, Katherine A. Eastaughffe, Maris A. Ozols. 16-26 [doi]
- An Industrial-Strength Method For The Construction Of Formally Verified SoftwarePeter A. Lindsay, David Hemer. 27 [doi]
- Automatic Analysis Of Functional Program StyleGreg Michaelson. 38-46 [doi]
- Software Visualisation in a Generic Development EnvironmentWarwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh. 47-54 [doi]
- A Layered Operational Model for Describing Inter-tool Communication in Tool Integration FrameworksJennifer Harvey, Chris D. Marlin. 55 [doi]
- Do Formal Methods Really Work?Lin Zucconi, Greg Royle, Karl Reed, John Staples. 66 [doi]
- Teaching Object Orientation: Patterns and ReuseNeil A. B. Gray. 72-80 [doi]
- Towards Analysing a Class of Object Petri NetsSea Ling, Heinz W. Schmidt. 81-92 [doi]
- Classification-Hierarchy Table: A Methodology for Constructing the Classification TreeTsong Yueh Chen, Pak-Lok Poon. 93 [doi]
- Does Object-Orientation Really Work?Brian Henderson-Sellers, Neil A. B. Gray, Christine Mingins, Liping Zhao. 106 [doi]
- Enhancing Project-Based Learning: Variations on MentoringPhilip W. Dart, Lorraine Johnston, Cameron Schmidt. 112-117 [doi]
- An Application Of Quantitative Techniques To The Question Of What Contributes To A Successful Software Development ProjectKen Mullin, Stuart Hope. 118-130 [doi]
- Analysis of Software System Requirements ModelsElizabeth Haywood, Philip W. Dart. 131 [doi]
- Industry-University Partnerships: The Wave of the Future?Nancy R. Mead. 140 [doi]
- A System for Evaluating the Congruence of Software Process ModelsNazim H. Madhavji. 144 [doi]
- An Integrated Database Reengineering Architecture - A Generic ApproachWie Ming Lim, John V. Harrison. 146-154 [doi]
- The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software DevelopmentJian Chen. 155-166 [doi]
- More on the E-measure of Subdomain Testing StrategiesTsong Yueh Chen, Yuen-Tak Yu. 167 [doi]
- Distributing the Software ProcessIgor Hawryszkiewycz, Ian Gorton. 176-182 [doi]
- Consistency Issues in Partially Bound Dynamically Composed SystemsBradley R. Schmerl, Chris D. Marlin. 183-191 [doi]
- An Initial Comparison of Software and Engineering Designs of Automotive Cruise Control SystemsJason Baragry. 192-202 [doi]
- Comparing Inspection Strategies for Software Requirement SpecificationsBenjamin Cheng, D. Ross Jeffery. 203 [doi]