(Last modified Thu May 22 09:25 2008)
∃
Software formalisms
Java:
Coding standards
Design patterns
Javadoc
Java packages
Java types, interfaces, and classes
Requirements:
Goals and goal graphs
Glossaries and ontologies
i*
SCR-style requirements
Specifications:
Alloy
Entity-relationship diagrams
FSP and labeled transition systems
Grammars and languages
Message sequence charts (MSCs)
Regular expressions
Statecharts
XML, HTML, etc.:
XHTML and HTML
XML schemas
XSL transformations (XSLT)
Thomas A. Alspaugh
Assistant Professor, Informatics Dept.
School of Information and Computer Sciences