ArchJava 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.68745Aldrich, Jonathan; Chambers, Craig; Notkin, David 2002 all top 5 Cited by 30 Authors 1 Aldini, Alessandro 1 Aldrich, Jonathan 1 Antonino, Pedro 1 Bailly, Arnaud 1 Bernardo, Marco 1 Bravetti, Mario 1 Chambers, Craig 1 Clerbout, Mireille 1 Corradini, Flavio 1 Giachino, Elena 1 Lieberherr, Karl J. 1 Lienhardt, Michael 1 Lorenz, David H. 1 Mota, Alejandro 1 Notkin, David 1 Oliveira, Marcel 1 Ovlinger, Johan 1 Papadopoulos, George A. 1 Papapetrou, Odysseas 1 Ramos, Rodrigo A. 1 Roscoe, Andrew William 1 Sampaio, Augusto C. A. 1 Schmitt, Alan 1 Simplot-Ryl, Isabelle 1 Stavrou, Aristos 1 Stefani, Jean-Bernard 1 van der Hoek, André 1 Wolf, Alexander L. 1 Wong, Peter Y. H. 1 Zdun, Uwe all top 5 Cited in 7 Serials 1 The Computer Journal. Section A / Section B 1 Software. Practice & Experience 1 Theoretical Computer Science 1 Science of Computer Programming 1 Formal Aspects of Computing 1 Computer Languages, Systems & Structures 1 Journal of Logical and Algebraic Methods in Programming Cited in 1 Field 10 Computer science (68-XX) Citations by Year