dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Margaret Hamilton Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShuhaida Mohamed Shuhidan, Margaret Hamilton, Daryl J. D'Souza: Understanding novice programmer difficulties via guided learning. ITiCSE 2011: 213-217
2010
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul McIntosh, Margaret Hamilton: X3D-UML: 3D UML Mechatronic Diagrams. Australian Software Engineering Conference 2010: 85-93
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Aryani, Ian D. Peake, Margaret Hamilton: Domain-based change propagation analysis: An enterprise system case study. ICSM 2010: 1-9
2009
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmir Aryani, Ian D. Peake, Margaret Hamilton, Heinz W. Schmidt, Michael Winikoff: Change Propagation Analysis Using Domain Information. Australian Software Engineering Conference 2009: 34-43
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJudy Sheard, S. Simon, Margaret Hamilton, Jan Lönnberg: Analysis of research into the teaching and learning of programming. ICER 2009: 93-104
2008
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul McIntosh, Margaret Hamilton, Ron G. van Schyndel: X3D-UML: 3D UML State Machine Diagrams. MoDELS 2008: 264-279
2007
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKen 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
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaul McIntosh, Margaret Hamilton, Ron G. van Schyndel: X3D-UML: enabling advanced UML visualisation through X3D. Web3D 2005: 135-142
2004
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, Liz Haywood: Learning about Software Development - Should Programming Always Come First? ACE 2004: 131-136
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: Expectation Reasoning Using Regret and Disappointment. ECAI 2004: 74-78
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: Observation Expectation Reasoning in Agent Systems. KR 2004: 246-254
2003
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: Expectation: the logic of flexible motivation. AAMAS 2003: 1140-1141
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, James Harland, Lin Padgham: Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. ACE 2003: 207-211
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBình Vu Trân, James Harland, Margaret Hamilton: A Combined Logic of Expectation & Observation. A generalisation of BDI logics. DALT 2003: 155-172
1983
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, Saydean Zeldin: The functional life cycle model and its automation: USE.IT. Journal of Systems and Software 3(1): 25-62 (1983)
1979
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, Saydean Zeldin: The relationship between design and verification. Journal of Systems and Software 1: 29-56 (1979)
1976
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, Saydean Zeldin: Higher Order Software - A Methodology for Defining Software. IEEE Trans. Software Eng. 2(1): 9-32 (1976)
1974
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMargaret Hamilton, Saydean Zeldin: Higher order software techniques applied to a space shuttle prototype program. Symposium on Programming 1974: 17-32

Coauthor Index

1Amir Aryani [16] [17]
2Rob Barrow [12]
3Bruce Crossman [12]
4Daryl J. D'Souza [19]
5Keith Frampton [12]
6Ken Gardiner [13]
7James Harland [5] [6] [7] [8] [9] [13]
8Liz Haywood [10]
9Jan Lönnberg [15]
10Paul McIntosh [11] [14] [18]
11Lin Padgham [6]
12Ian D. Peake [16] [17]
13Heinz W. Schmidt [16]
14Ron G. van Schyndel [11] [14]
15Judy Sheard [15]
16Shuhaida Mohamed Shuhidan [19]
17S. Simon [15]
18Bình Vu Trân [5] [7] [8] [9]
19Michael Winikoff [16]
20Saydean Zeldin [1] [2] [3] [4]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page