42 papers:
GPCE-2015-RingertRW #behaviour #code generation #tool support- Composing code generators for C&C ADLs with Application-specific behavior languages (tool demonstration) (JOR, BR, AW), pp. 113–116.
ECSA-2014-CavalcanteOB #architecture #code generation #implementation- Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language (EC, FO, TVB), pp. 130–145.
- ECSA-2014-KochHD #generative #requirements #specification
- Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
- ECSA-2013-GoknilSPM #analysis #constraints #modelling
- Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
- ECSA-2013-LeiteOB #architecture #named
- SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.
DATE-2013-WangSCC #design #embedded #estimation #performance #reliability- Accurate and efficient reliability estimation techniques during ADL-driven embedded processor design (ZW, KS, CC, AC), pp. 547–552.
QoSA-2012-DajsurenBSH #architecture #case study #consistency #multi- Automotive ADLS: a study on enforcing consistency through multiple architectural levels (YD, MvdB, AS, RH), pp. 71–80.
WICSA-ECSA-2012-CortellessaSMT #architecture #performance- Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture (VC, MdS, ADM, CT), pp. 310–314.
CSMR-2012-CastrejonLV #architecture #maintenance #named #verification #web- Web2MexADL: Discovery and Maintainability Verification of Software Systems Architecture (JCC, RL, GVS), pp. 531–534.
SEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml- Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
ECMFA-2012-QureshiCT #constraints #specification- A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications (TNQ, DJC, MT), pp. 303–318.
- ECSA-2011-QureshiCLT #architecture
- From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme (TNQ, DJC, HL, MT), pp. 328–335.
AdaEurope-2011-JohnsenL- Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (AJ, KL), pp. 103–117.
- ECMFA-2011-LudwigFBC #design #runtime #variability
- Integrating Design and Runtime Variability Support into a System ADL (ML, NF, JPB, JC), pp. 270–281.
- ECSA-2010-LoukilKZJ #aspect-oriented #embedded #towards
- Toward an Aspect Oriented ADL for Embedded Systems (SL, SK, BZ, MJ), pp. 489–492.
- ECSA-2010-RuscioMMPP #architecture #framework #named
- ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
- ECSA-2010-SuYZ #architecture #specification
- An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection (GS, MY, CZ), pp. 8–23.
- ECSA-2010-ZhangUV #architecture #component #development
- Architecture-Centric Component-Based Development Needs a Three-Level ADL (H(Z, CU, SV), pp. 295–310.
- QoSA-2010-GloahecFS #architecture
- Good Architecture = Good (ADL + Practices) (VLG, RF, SS), pp. 167–182.
ICSE-2010-RuscioMMPP #generative- Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
- ECSA-2008-SanzQCMO #architecture #modelling #representation #using
- Representing Service-Oriented Architectural Models Using pi-ADL (MLS, ZQ, CEC, EM, FO), pp. 273–280.
KR-2008-RogerHN #on the- On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
- ECSA-2007-NavasaPM #concept #named
- AspectLEDA: Extending an ADL with Aspectual Concepts (ANM, MAP, JMM), pp. 330–334.
- DATE-2006-ChattopadhyayGKWSILAM #automation #embedded
- Automatic ADL-based operand isolation for embedded processors (AC, BG, DK, EMW, OS, HI, RL, GA, HM), pp. 600–605.
- DATE-2006-DErricoQ #approach
- Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
WICSA-2005-InverardiMP #named #uml- DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
- WICSA-2005-JooliaBCG #component #configuration management #framework #performance #runtime #specification
- Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform (AJ, TVB, GC, ATAG), pp. 131–140.
- WICSA-2005-RevillardCBO #design
- Intelligent Instrument Design With ArchWare ADL (JR, SC, EB, FO), pp. 249–250.
- WICSA-2005-SmedaOK #uml #using
- Mapping ADLs into UML 2.0 Using a Meta ADL (AS, MO, TK), pp. 247–248.
ICEIS-v3-2005-KacemJKD #architecture #comparison #evaluation- Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures (MHK, MJ, AHK, KD), pp. 189–195.
- WICSA-2004-MorrisonKBMOCWSG #architecture #evolution
- Support for Evolving Software Architectures in the ArchWare ADL (RM, GNCK, DB, KM, FO, SC, BW, BS, RMG), pp. 69–78.
DAC-2004-BraunNSCHSLM #approach #consistency #design #flexibility #novel- A novel approach for flexible and consistent ADL-driven ASIP design (GB, AN, WS, JC, MH, HS, RL, HM), pp. 717–722.
- DATE-v2-2004-HohenauerSKWKLAMBS #c #compilation #generative #modelling
- A Methodology and Tool Suite for C Compiler Generation from ADL Processor Models (MH, HS, KK, OW, TK, RL, GA, HM, GB, HvS), pp. 1276–1283.
- ICEIS-v3-2004-AllouiO #architecture #process #uml #using
- Describing Software-Intensive Process Architectures Using a UML-Based ADL (IA, FO), pp. 201–208.
- GPCE-2003-PintoFT #architecture #component #development #named
- DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development (MP, LF, JMT), pp. 118–137.
FASE-2002-PaulaB #component #development- Mapping an ADL to a Component-Based Application Development Environment (VCCdP, TVB), pp. 128–142.
ESEC-FSE-2001-Brada #component #identification #specification- Component revision identification based on IDL/ADL component specification (PB), pp. 297–298.
- ICSE-1999-NittoR #architecture #middleware
- Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (EDN, DSR), pp. 13–22.
ISSTA-1996-ChangRS #testing- Structural Specification-Based Testing with ADL (JC, DJR, SS), pp. 62–70.
- KR-1992-PenberthyW #named #partial order
- UCPOP: A Sound, Complete, Partial Order Planner for ADL (JSP, DSW), pp. 103–114.
- KR-1989-Pednault #calculus #named
- ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.
- DAC-1984-EvansBD #algorithm #design #named #synthesis
- ADL: An algorithmic design language for integrated circuit synthesis (WHE, JCB, NHD), pp. 66–72.
