Annotated Bibliography
Introduction to Software Architecture
Architectural Description Languages
Executable Architectural Specification
Web Services
Programming Languages
LISP/CLOS Programming
Aspect Oriented Programming
Prototype-based Programming
UML/MDA
Formal Methods in Software Architecture
Introduction
Category Theory
Process Algebra
Pi-Calculus
Abstract State Machines
Abstract Interpretation
(
Term Paper submitted for CS 615
)
Books