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.

This software is also peer reviewed by journal TOMS.

References in zbMATH (referenced in 23 articles , 1 standard article )

Showing results 1 to 20 of 23.
Sorted by year (citations)

1 2 next

  1. Oliveira, Marcel V.M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A.W.: Rigorous development of component-based systems using component metadata and patterns (2016)
  2. Vazquez, Germán; Andres Diaz Pace, J.; Campo, Marcelo: Reusing design experiences to materialize software architectures into object-oriented designs (2014)
  3. Prähofer, Herbert; Schatz, Roland; Wirth, Christian; Hurnaus, Dominik; Mössenböck, Hanspeter: Monaco -- a domain-specific language solution for reactive process control programming with hierarchical components (2013)
  4. Fabresse, Luc; Bouraqadi, Noury; Dony, Christophe; Huchard, Marianne: A language to bridge the gap between component-based design and implementation (2012)
  5. Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio: A process algebraic approach to software architecture design (2010)
  6. André, Pascal; Ardourel, Gilles; Attiogbé, Christian; Lanoix, Arnaud: Using assertions to enhance the correctness of kmelia components and their assemblies (2010)
  7. Pham, Hubert; Paluska, Justin Mazzola; Saif, Umar; Stawarz, Chris; Terman, Chris; Ward, Steve: A dynamic platform for run-time adaptation (2009)
  8. Puntigam, Franz: Synchronization as a special case of access control (2009)
  9. Abi-Antoun, Marwan; Aldrich, Jonathan; Nahas, Nagi H.; Schmerl, Bradley R.; Garlan, David: Differencing and merging of architectural views. (2008)
  10. Abi-Antoun, Marwan; Aldrich, Jonathan; Nahas, Nagi; Schmerl, Bradley; Garlan, David: Differencing and merging of architectural views (2008)
  11. Fernandes, Fabrício; Royer, Jean-Claude: The stslib project: Towards a formal component model based on STS. (2008)
  12. Kallel, Slim; Charfi, Anis; Jmaiel, Mohamed: Using aspects for enforcing formal architectural invariants. (2008)
  13. Murta, Leonardo G.P.; Der Hoek, André Van; Werner, Cláudia Maria Lima: Continuous and automated evolution of architecture-to-implementation traceability links. (2008)
  14. Murta, Leonardo G.P.; van der Hoek, André; Werner, Cláudia M.L.: Continuous and automated evolution of architecture-to-implementation traceability links (2008)
  15. Arbab, Farhad: Coordination for component composition. (2006)
  16. Bailly, Arnaud; Clerbout, Mireille; Simplot-Ryl, Isabelle: Component composition preserving behavioral contracts based on communication traces (2006)
  17. Papadopoulos, George A.; Stavrou, Aristos; Papapetrou, Odysseas: An implementation framework for software architectures based on the coordination paradigm (2006)
  18. Zdun, Uwe: Tailorable language for behavioral composition and configuration of software components (2006)
  19. Koschke, Rainer: Rekonstruktion von Software-architekturen: Ein Literatur- und Methoden-überblick zum Stand der Wissenschaft (2005)
  20. Schmitt, Alan; Stefani, Jean-Bernard: The Kell calculus: A family of higher-order distributed process calculi (2005)

1 2 next