swMATH ID: 1803
Software Authors: Aldrich, Jonathan; Chambers, Craig; Notkin, David
Description: Software architecture describes the structure of a system, enabling more effective design, program understanding, and formal analysis. However, existing approaches decouple implementation code from architecture, allowing inconsistencies, causing confusion, violating architectural properties, and inhibiting software evolution. ArchJava is an extension to Java that seamlessly unifies software architecture with implementation, using a type system to ensure that the implementation conforms to architectural constraints. This site includes a downloadable compiler for ArchJava as well as publications describing the language, a case study, and the theory behind ArchJava.
Homepage: http://dl.acm.org/citation.cfm?id=581365
Programming Languages: Java
Operating Systems: multi-platform
Dependencies: None
Related Software: SOFA 2.0; Rapide; UMLDiff; PICCOLA; VisualStudio.NET; Hume; Esterel; SIGNAL; SugarCubes; Squeak; JavAdaptor; JCobox; ABS; CoBoxes; Fredhopper; Creol; Maude; PACC starter kit; ProBE; FDR3
Cited in: 10 Publications

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
Architectural reasoning in ArchJava. Zbl 1049.68745
Aldrich, Jonathan; Chambers, Craig; Notkin, David

Citations by Year