Margaret Hamilton Vis

*	2009
15	EE	Amir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff: Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43
	2008
14	EE	Paul McIntosh, Margaret Hamilton, Ron G. van Schyndel: X3D-UML: 3D UML State Machine Diagrams. MoDELS 2008: 264-279
	2007
13	EE	Ken Gardiner, James Harland, Margaret Hamilton: A Framework for the Co-evolution of Genes, Proteins and a Genetic Code Within an Artificial Chemistry Reaction Set. ACAL 2007: 281-291
	2005
12	EE	Rob Barrow, Keith Frampton, Margaret Hamilton, Bruce Crossman: A Study of the In-Practice Application of a Commercial Software Architecture . Australian Software Engineering Conference 2005: 292-301
11	EE	Paul McIntosh, Margaret Hamilton, Ron G. van Schyndel: X3D-UML: enabling advanced UML visualisation through X3D. Web3D 2005: 135-142
	2004
10	EE	Margaret Hamilton, Liz Haywood: Learning about Software Development - Should Programming Always Come First? ACE 2004: 131-136
9		Bình Vu Trân, James Harland, Margaret Hamilton: Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78
8		Bình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254
	2003
7	EE	Bình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141
6	EE	Margaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211
5	EE	Bình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
	1983
4	EE	Margaret Hamilton, Saydean Zeldin: The functional life cycle model and its automation: USE.IT. Journal of Systems and Software 3(1): 25-62 (1983)
	1979
3	EE	Margaret Hamilton, Saydean Zeldin: The relationship between design and verification. Journal of Systems and Software 1: 29-56 (1979)
	1976
2		Margaret Hamilton, Saydean Zeldin: Higher Order Software - A Methodology for Defining Software. IEEE Trans. Software Eng. 2(1): 9-32 (1976)
	1974
1		Margaret Hamilton, Saydean Zeldin: Higher order software techniques applied to a space shuttle prototype program. Symposium on Programming 1974: 17-32

Coauthor Index

1	Amir Aryani	[15]
2	Rob Barrow	[12]
3	Bruce Crossman	[12]
4	Keith Frampton	[12]
5	Ken Gardiner	[13]
6	James Harland	[5] [6] [7] [8] [9] [13]
7	Liz Haywood	[10]
8	Paul McIntosh	[11] [14]
9	Lin Padgham	[6]
10	Ian D. Peake	[15]
11	Heinz W. Schmidt	[15]
12	Ron G. van Schyndel	[11] [14]
13	Bình Vu Trân	[5] [7] [8] [9]
14	Michael Winikoff	[15]
15	Saydean Zeldin	[1] [2] [3] [4]

Colors in the list of coauthors