Agent Based Software Development Michael Luck, Ronald Ashri and Mark dInverno.
E-MAIL
Notice for MESO-NH graphic tool 1.Graphic tool: diaprog Program written in Fortran 90 specifically for Meso-NH outputs, based on NCAR graphic software.
Formal Methods. Contents What are Formal Methods? Definition Myths History Types of formal methods Use of mathematics Do we really need Formal Methods?
ch02
Interaction Design Command Language Prof. Dr. Matthias Rauterberg Faculty Industrial Design Technical University of Eindhoven [email protected] 22-NOVEMBER-2005.
Knowledge Representation Semantic networks Frames.
JDuck @ SIGCSE '99 -- New Orleans1 JDuck : Building a Software Engineering Tool as a CS2 Project Michael W. Godfrey (Univ. of Waterloo) Daniel J. Grossman.
Formal Methods
Notice for MESO-NH graphic tool
Software Engineering Methods and Technologies by Alfonso Fuggetta and Laura Sfardini