BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
architectur (17)
base (12)
softwar (8)
specif (7)
compon (6)

Stem adl$ (all stems)

42 papers:

GPCEGPCE-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.
ECSAECSA-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.
ECSAECSA-2014-KochHD #generative #requirements #specification
Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
ECSAECSA-2013-GoknilSPM #analysis #constraints #modelling
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (AG, JS, MAPF, FM), pp. 89–105.
ECSAECSA-2013-LeiteOB #architecture #named
SysADL: A SysML Profile for Software Architecture Description (JCL, FO, TVB), pp. 106–113.
DATEDATE-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.
QoSAQoSA-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-ECSAWICSA-ECSA-2012-CortellessaSMT #architecture #performance
Enabling Performance Antipatterns to Arise from an ADL-based Software Architecture (VC, MdS, ADM, CT), pp. 310–314.
CSMRCSMR-2012-CastrejonLV #architecture #maintenance #named #verification #web
Web2MexADL: Discovery and Maintainability Verification of Software Systems Architecture (JCC, RL, GVS), pp. 531–534.
SEKESEKE-2012-NarkngamL #diagrams #domain-specific language #process #uml
Rendering UML Activity Diagrams as a Domain Specific Language — ADL (CN, YL), pp. 724–729.
ECMFAECMFA-2012-QureshiCT #constraints #specification
A Timed Automata-Based Method to Analyze EAST-ADL Timing Constraint Specifications (TNQ, DJC, MT), pp. 303–318.
ECSAECSA-2011-QureshiCLT #architecture
From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme (TNQ, DJC, HL, MT), pp. 328–335.
AdaEuropeAdaEurope-2011-JohnsenL
Developing Dependable Software-Intensive Systems: AADL vs. EAST-ADL (AJ, KL), pp. 103–117.
ECMFAECMFA-2011-LudwigFBC #design #runtime #variability
Integrating Design and Runtime Variability Support into a System ADL (ML, NF, JPB, JC), pp. 270–281.
ECSAECSA-2010-LoukilKZJ #aspect-oriented #embedded #towards
Toward an Aspect Oriented ADL for Embedded Systems (SL, SK, BZ, MJ), pp. 489–492.
ECSAECSA-2010-RuscioMMPP #architecture #framework #named
ByADL: An MDE Framework for Building Extensible Architecture Description Languages (DDR, IM, HM, PP, AP), pp. 527–531.
ECSAECSA-2010-SuYZ #architecture #specification
An ADL-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection (GS, MY, CZ), pp. 8–23.
ECSAECSA-2010-ZhangUV #architecture #component #development
Architecture-Centric Component-Based Development Needs a Three-Level ADL (H(Z, CU, SV), pp. 295–310.
QoSAQoSA-2010-GloahecFS #architecture
Good Architecture = Good (ADL + Practices) (VLG, RF, SS), pp. 167–182.
ICSEICSE-2010-RuscioMMPP #generative
Developing next generation ADLs through MDE techniques (DDR, IM, HM, PP, AP), pp. 85–94.
ECSAECSA-2008-SanzQCMO #architecture #modelling #representation #using
Representing Service-Oriented Architectural Models Using pi-ADL (MLS, ZQ, CEC, EM, FO), pp. 273–280.
KRKR-2008-RogerHN #on the
On the Relative Expressiveness of ADL and Golog: The Last Piece in the Puzzle (GR, MH, BN), pp. 544–550.
ECSAECSA-2007-NavasaPM #concept #named
AspectLEDA: Extending an ADL with Aspectual Concepts (ANM, MAP, JMM), pp. 330–334.
DATEDATE-2006-ChattopadhyayGKWSILAM #automation #embedded
Automatic ADL-based operand isolation for embedded processors (AC, BG, DK, EMW, OS, HI, RL, GA, HM), pp. 600–605.
DATEDATE-2006-DErricoQ #approach
Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
WICSAWICSA-2005-InverardiMP #named #uml
DUALLY: Putting in Synergy UML 2.0 and ADLs (PI, HM, PP), pp. 251–252.
WICSAWICSA-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.
WICSAWICSA-2005-RevillardCBO #design
Intelligent Instrument Design With ArchWare ADL (JR, SC, EB, FO), pp. 249–250.
WICSAWICSA-2005-SmedaOK #uml #using
Mapping ADLs into UML 2.0 Using a Meta ADL (AS, MO, TK), pp. 247–248.
ICEISICEIS-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.
WICSAWICSA-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.
DACDAC-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.
DATEDATE-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.
ICEISICEIS-v3-2004-AllouiO #architecture #process #uml #using
Describing Software-Intensive Process Architectures Using a UML-Based ADL (IA, FO), pp. 201–208.
GPCEGPCE-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.
FASEFASE-2002-PaulaB #component #development
Mapping an ADL to a Component-Based Application Development Environment (VCCdP, TVB), pp. 128–142.
FSEESEC-FSE-2001-Brada #component #identification #specification
Component revision identification based on IDL/ADL component specification (PB), pp. 297–298.
ICSEICSE-1999-NittoR #architecture #middleware
Exploiting ADLs to Specify Architectural Styles Induced by Middleware Infrastructures (EDN, DSR), pp. 13–22.
ISSTAISSTA-1996-ChangRS #testing
Structural Specification-Based Testing with ADL (JC, DJR, SS), pp. 62–70.
KRKR-1992-PenberthyW #named #partial order
UCPOP: A Sound, Complete, Partial Order Planner for ADL (JSP, DSW), pp. 103–114.
KRKR-1989-Pednault #calculus #named
ADL: Exploring the Middle Ground Between STRIPS and the Situation Calculus (EPDP), pp. 324–332.
DACDAC-1984-EvansBD #algorithm #design #named #synthesis
ADL: An algorithmic design language for integrated circuit synthesis (WHE, JCB, NHD), pp. 66–72.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.