Egyed et al., 2001 - Google Patents
Consistent architectural refinement and evolution using the unified modeling languageEgyed et al., 2001
View PDF- Document ID
- 2219568873821484625
- Author
- Egyed A
- Medvidovic N
- Publication year
- Publication venue
- 1st Workshop on Describing Software Architecture with UML, co-located with ICSE
External Links
Snippet
ABSTRACT Architecture Description Languages (ADLs) comprise a sizeable set of modeling techniques that are aimed at bridging the gap between requirements engineering and low-level design and code. ADLs excel in their ability to model high-level functional and …
- 230000001131 transforming 0 abstract description 15
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5045—Circuit design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/50—Computer-aided design
- G06F17/5009—Computer-aided design using simulation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/44—Arrangements for executing specific programmes
- G06F9/4421—Execution paradigms
- G06F9/4428—Object-oriented
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/36—Software reuse
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/35—Model driven
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
- G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
- G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/20—Software design
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/10—Requirements analysis; Specification techniques
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/34—Graphical or visual programming
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/70—Software maintenance or management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for programme control, e.g. control unit
- G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
- G06F9/46—Multiprogramming arrangements
- G06F9/54—Interprogramme communication; Intertask communication
- G06F9/541—Interprogramme communication; Intertask communication via adapters, e.g. between incompatible applications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06F—ELECTRICAL DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformations of program code
- G06F8/51—Source to source
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING; COUNTING
- G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation, e.g. computer aided management of electronic mail or groupware; Time management, e.g. calendars, reminders, meetings or time accounting
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Sullivan et al. | Information hiding interfaces for aspect-oriented design | |
Lédeczi et al. | Composing domain-specific design environments | |
Clark et al. | Foundations of the unified modeling language | |
Malavolta et al. | Providing architectural languages and tools interoperability through model transformation technologies | |
US6023578A (en) | Systems, methods and computer program products for generating an object oriented application for an object oriented environment | |
Abd-Allah | Composing heterogeneous software architectures | |
Egyed et al. | Consistent architectural refinement and evolution using the unified modeling language | |
Abi-Antoun et al. | Enabling the Refinement of a Software Architecture into a Design | |
CN115935872A (en) | Extensible FPGA simulation verification automation method | |
Leung et al. | Scalable semantic annotation using lattice-based ontologies | |
Riccobene et al. | A UML 2.0 profile for SystemC: toward high-level SoC design | |
Boutekkouk et al. | UML2. 0 Profiles for Embedded Systems and Systems On a Chip (SOCs). | |
Oquendo et al. | A formal approach for architecting software-intensive systems-of-systems with guarantees | |
Krause et al. | Meta-modelling for interoperability in product design | |
Cooper et al. | Performance modeling and analysis of software architectures: An aspect-oriented UML based approach | |
CN100428152C (en) | Software component classification registration method based on domain body | |
CN117648833A (en) | Simulink-to-SysML model generation method and device | |
Schattkowsky et al. | A uml frontend for ip-xact-based ip management | |
Reitz et al. | Systems Engineering and Simulation: Towards a Unified Methodology for Developing Cyber-Physical Systems | |
Dupuy et al. | Translating the OMT dynamic model into Object-Z | |
Milicev | Domain mapping using extended UML object diagrams | |
Butts et al. | Usage scenarios for an automated model compiler | |
Bose | Scenario-driven analysis of component-based software architecture models | |
Stirewalt et al. | UML formalization is a traceability problem | |
Szarazi et al. | Integrating Finite Element Analysis with Systems Engineering Models |