![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
ASWEC 1996: Melbourne, Australia
- 1996 Australian Software Engineering Conference (ASWEC '96), July 14-18, 1996, Melbourne, Australia. IEEE Computer Society 1996, ISBN 0-8186-7635-3
Keynote Address I
- John Staples:
Verification, Validation and the Future of Software Engineering. 2
Formal Methods
- Jan-Willem G. M. Hubbers, Arthur H. M. ter Hofstede:
An Algebraic Semantics for Object-Oriented Behaviour Modeling. 4-15 - Anthony Cant, Katherine A. Eastaughffe, Maris A. Ozols:
A Tool for Practical Reasoning about State Machine Designs. 16-26 - Peter A. Lindsay, David Hemer:
An Industrial-Strength Method For The Construction Of Formally Verified Software. 27-
Programming/Tools
- Greg Michaelson:
Automatic Analysis Of Functional Program Style. 38-46 - Warwick Allison, David A. Carrington, Tim Jones, Larry Stewart-Zerba, Geoffrey Watson, Jim Welsh:
Software Visualisation in a Generic Development Environment. 47-54 - Jennifer G. Harvey, Chris D. Marlin:
A Layered Operational Model for Describing Inter-tool Communication in Tool Integration Frameworks. 55-
Panel
- Lin Zucconi, Greg Royle, Karl Reed, John Staples:
Do Formal Methods Really Work? 66-
Object-Orientation
- Neil A. B. Gray:
Teaching Object Orientation: Patterns and Reuse. 72-80 - Sea Ling, Heinz W. Schmidt:
Towards Analysing a Class of Object Petri Nets. 81-92 - Tsong Yueh Chen, Pak-Lok Poon
:
Classification-Hierarchy Table: A Methodology for Constructing the Classification Tree. 93-
Panel
- Brian Henderson-Sellers, Neil A. B. Gray, Christine Mingins, Liping Zhao:
Does Object-Orientation Really Work? 106-
Education
- Philip W. Dart, Lorraine Johnston, Cameron Schmidt:
Enhancing Project-Based Learning: Variations on Mentoring. 112-117 - Ken Mullin, Stuart Hope:
An Application Of Quantitative Techniques To The Question Of What Contributes To A Successful Software Development Project. 118-130 - Elizabeth Haywood, Philip W. Dart:
Analysis of Software System Requirements Models. 131-
Keynote Address II
- Nancy R. Mead:
Industry-University Partnerships: The Wave of the Future? 140-
Keynote Address III
- Nazim H. Madhavji:
A System for Evaluating the Congruence of Software Process Models. 144
Maintenance
- Wie Ming Lim, John V. Harrison:
An Integrated Database Reengineering Architecture - A Generic Approach. 146-154 - Jian Chen:
The Hierarchical Dependence Diagram: Improving Design for Reuse in Object-Oriented Software Development. 155-166 - Tsong Yueh Chen, Yuen-Tak Yu:
More on the E-measure of Subdomain Testing Strategies. 167-
Architecture/Process
- Igor T. Hawryszkiewycz, Ian Gorton:
Distributing the Software Process. 176-182 - Bradley R. Schmerl, Chris D. Marlin:
Consistency Issues in Partially Bound Dynamically Composed Systems. 183-191 - Jason Baragry:
An Initial Comparison of Software and Engineering Designs of Automotive Cruise Control Systems. 192-202 - Benjamin Cheng, D. Ross Jeffery:
Comparing Inspection Strategies for Software Requirement Specifications. 203-
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.