Architecture-driven software engineering: Specifying, generating, and evolving component-based software systems

IEE Proceedings: Software

Volumn 147, Issue 6, 2000, Pages 203-214

  Chaudet, C ^a   Greenwood, R M ^a   Oquendo, F ^a   Warboys, B C ^a  

^a UNIVERSITÉ DE SAVOIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

ARCHITECTURE DESCRIPTION LANGUAGE; PROCESS MODELING LANGUAGE; SOFTWARE PACKAGE PROCESSWEB; SOFTWARE PACKAGE SPACE; SOFTWARE SYSTEM SYNTHESIS;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

EID: 0034452411     PISSN: 14625970     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-sen:20000916     Document Type: Article

References (38)

1. π-WRIGHT: Un language formel pour la description d'architectures logicielles dynamiques
2. An introduction to software architecture
3. Formal connectors
4. The software paradigm
5. Cooperating evolving components: A rigorous approach to evolving large software systems
6. Supporting distributed and adaptive workflow process systems
7. ItascaFlow: An active database framework for adaptive workflow process modelling, enactment, and interoperability
8. Support for cooperation and negotiation in process-centred environments
9. Business information systems: A process approach
10. The writer/checker system in p-SPACE: A case study
11. Collaboration and composition: Issues for a second generation process language
12. Component software: Beyond object-oriented programming
13. A calculus of mobile processes, parts I and II
14. PADM: Towards a total process modelling system
15. The IPSE 2.5. project: Process modelling as the basis for a support environment
16. A formal basis for architectural connection
17. A classification and comparison framework for software architecture description languages
18. ACME: An architectural interconnection language
19. Exploiting style in architectural design environments
20. ADLs and dynamic architecture changes
21. Using object-oriented typing to support architectural design in the C2 style
22. Formal modelling of software architectures at multiple levels of abstraction
23. Structuring parallel and distributed programs
24. Specifying distributed software architectures
25. Modelling distributed software architectures
26. Dynamic structure in software architectures
27. Domain-specific software architectures for guidance, navigation, and control
28. MetaH programmer's manual
29. Specification and analysis of system architecture using rapid
30. An event-based architecture definition language
31. Rapide 1.0 language reference manual
32. Correct architecture refinement
33. Abstractions for software architecture and tools to support them
34. Abstractions and implementations for architectural connections
35. Formalizing architectural connection
36. Pict: A programming language based on the Pi-calculus
37. Maude: Specification and programming in rewriting logic