Search results for "architecture description languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Alek Radjenovic, Richard F. Paige	Architecture Description Languages for High-Integrity Real-Time Systems.	IEEE Software	2006	DBLP DOI BibTeX RDF	software architecture, architecture description languages, safety-critical systems, modeling methodologies, model development
3	Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown	Towards More Flexible Architecture Description Languages for Industrial Applications.	EWSA	2006	DBLP DOI BibTeX RDF	Software Architecture, Architecture Description Languages, Architectural Patterns
3	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	A comprehensive approach for the development of modular software architecture description languages.	ACM Trans. Softw. Eng. Methodol.	2005	DBLP DOI BibTeX RDF	ArchStudio 3, xADL 2.0, XML, Architecture description languages
3	Débora C. Muchaluat-Saade, Luiz Fernando Gomes Soares	Towards the convergence between hypermedia authoring languages and architecture description languages.	ACM Symposium on Document Engineering	2001	DBLP DOI BibTeX RDF	hypermedia authoring languages, structural meta-model, components, ADL, architecture description languages, connectors
2	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond	Synchronous Modeling and Validation of Priority Inheritance Schedulers.	FASE	2009	DBLP DOI BibTeX RDF	Simulation, Scheduling, Embedded systems, Formal Verification, Architecture Description Languages, Synchronous Languages
2	Rabih Bashroush, Ivor T. A. Spence, Peter Kilpatrick, T. John Brown, Wasif Gilani, Mathias Fritzsche	ALI: An Extensible Architecture Description Language for Industrial Applications.	ECBS	2008	DBLP DOI BibTeX RDF	Software Architecture, Architecture Description Languages, ADL
2	Aleksandar Dimov, Sylvia Ilieva	Reliability models in architecture description languages.	CompSysTech	2007	DBLP DOI BibTeX RDF	generalized nets, software reliability, architecture description language
2	Alessandro Garcia, Christina Chavez, Thaís Vasconcelos Batista, Cláudio Sant'Anna, Uirá Kulesza, Awais Rashid, Carlos José Pereira de Lucena	On the Modular Representation of Architectural Aspects.	EWSA	2006	DBLP DOI BibTeX RDF	Architectural Connection, Architecture Description Languages, Aspect-Oriented Software Development
2	Eoin Woods, Rich Hilliard	Architecture Description Languages in Practice Session Report.	WICSA	2005	DBLP DOI BibTeX RDF
2	Wei Qin, Sharad Malik	A Study of Architecture Description Languages from a Model-based Perspective.	MTV	2005	DBLP DOI BibTeX RDF
2	Vivien Quéma, Emmanuel Cecchet	The Role of Software Architecture in Configuring Middleware: The ScalAgent Experience.	OPODIS	2003	DBLP DOI BibTeX RDF	Middleware, components, configuration, architecture description languages
2	Eric M. Dashofy, André van der Hoek, Richard N. Taylor	An infrastructure for the rapid development of XML-based architecture description languages.	ICSE	2002	DBLP DOI BibTeX RDF	XML
2	Tomas Kalibera, Petr Tuma	Distributed Component System Based on Architecture Description: The SOFA Experience.	CoopIS/DOA/ODBASE	2002	DBLP DOI BibTeX RDF	component definition languages, CDL, language mapping, middleware, CORBA, Architecture description languages, ADL, dynamic architectures
2	Nenad Medvidovic, Richard N. Taylor	A Classification and Comparison Framework for Software Architecture Description Languages.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	classification, Software architecture, component, configuration, architecture description language, comparison, definition, connector
2	David S. Wile	AML: An Architecture Meta-Language. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	architecture dynamism, software architecture, architecture description languages
2	Nenad Medvidovic, Richard N. Taylor	A Framework for Classifying and Comparing Architecture Description Languages.	ESEC / SIGSOFT FSE	1997	DBLP DOI BibTeX RDF	classification, software architecture, architecture description languages, comparison, definition
1	Romina Eramo, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	A model-driven approach to automate the propagation of changes among Architecture Description Languages.	Software and System Modeling	2012	DBLP DOI BibTeX RDF
1	Jungwoo Ryoo	Architecture: Description Languages.	Encyclopedia of Software Engineering	2010	DBLP BibTeX RDF
1	Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	ByADL: An MDE Framework for Building Extensible Architecture Description Languages.	ECSA	2010	DBLP DOI BibTeX RDF
1	Ivano Malavolta	A model-driven approach for managing software architectures with multiple evolving concerns.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	modeling, software architecture, ADL, architecture framework
1	Davide Di Ruscio, Ivano Malavolta, Henry Muccini, Patrizio Pelliccione, Alfonso Pierantonio	Developing next generation ADLs through MDE techniques.	ICSE	2010	DBLP DOI BibTeX RDF	modeling, software architecture, metamodeling, ADL, model driven
1	Mads Ingstrup, Klaus Marius Hansen	Modeling architectural change: Architectural scripting and its applications to reconfiguration.	WICSA/ECSA	2009	DBLP DOI BibTeX RDF
1	Georg Buchgeher, Rainer Weinreich	Connecting Architecture and Implementation.	OTM Workshops	2009	DBLP DOI BibTeX RDF
1	Adel Alti, Adel Smeda	A Meta-ontology for Architecture Description Languages and MDA Platforms.	CIMCA/IAWTIC/ISE	2008	DBLP DOI BibTeX RDF
1	Zawar Qayyum, Flávio Oquendo	.NET Extensions to the p-architecture Description Languages.	SEKE	2008	DBLP BibTeX RDF
1	Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall	Pantaxou: a domain-specific language for developing safe coordination services.	GPCE	2008	DBLP DOI BibTeX RDF	distributed systems, safety, domain-specific languages, architecture description languages, coordination languages
1	Alek Radjenovic, Richard F. Paige	The Role of Dependency Links in Ensuring Architectural View Consistency.	WICSA	2008	DBLP DOI BibTeX RDF	view consistency, dependency links, architecture description languages
1	Chafia Bouanaka, Faiza Belala	Towards a mobile architecture description language.	AICCSA	2008	DBLP DOI BibTeX RDF
1	David Hemer, Yulin Ding	Specifying Software Architectures Using a Formal-Based Approach.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	software architectures, formal languages
1	Yangli Jia, Zhoujun Li, Zhenling Zhang	Timed Component-Interaction Automata for Specification and Verification of Real-Time Reactive Systems.	CSSE	2008	DBLP DOI BibTeX RDF
1	Tao Zhang, Lei Deng, Jian Wu, Qiaoming Zhou, Chunyan Ma	Some Metrics for Accessing Quality of Product Line Architecture.	CSSE	2008	DBLP DOI BibTeX RDF
1	Abdelkrim Amirat, Mourad Oussalah	Hierarchical Model to Develop Component-Based Systems.	ECBS	2008	DBLP DOI BibTeX RDF
1	Zhiyong He, Kerong Ben, Zhixiang Zhang	Software Architectural Reflection Mechanism for Runtime Adaptation.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Lijun Lun, Hui Xu	An Approach to Software Architecture Testing.	ICYCS	2008	DBLP DOI BibTeX RDF
1	Sorana Cîmpan, Vincent Couturier	Can Styles Improve Architectural Pattern Reuse?	WICSA	2008	DBLP DOI BibTeX RDF	reuse, architectural styles, Architectural patterns
1	Fabian Gilson, Vincent Englebert, Raimundas Matulevicius	A Large Scope Transformational Approach for Distributed Architecture Design.	ECSA	2008	DBLP DOI BibTeX RDF
1	Mubarak Mohammad, Vasu S. Alagar	TADL - An Architecture Description Language for Trustworthy Component-Based Systems.	ECSA	2008	DBLP DOI BibTeX RDF
1	Iulian Ober, Stefan Van Baelen, Susanne Graf, Mamoun Filali, Thomas Weigert, Sébastien Gérard	Model Based Architecting and Construction of Embedded Systems.	MoDELS Workshops	2008	DBLP DOI BibTeX RDF
1	Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel	Deriving event-based transition systems from goal-oriented requirements models.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Requirements animation, Requirements analysis, Labelled transition systems, Goal-oriented requirements engineering, Method integration
1	Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall	Software Architecture Evolution.	Software Evolution	2008	DBLP DOI BibTeX RDF
1	Csaba J. Egyhazy	Comparison of Five Architecture Description Languages on Design Focus, Security and Style.	ICEIS	2007	DBLP BibTeX RDF
1	Alireza Soltani, Siamak Najjar Karimi	Application of architecture description languages to automatic distribution of sequential code.	SEDE	2007	DBLP BibTeX RDF
1	Jean-Paul Bodeveix, Raphaël Cavallero, David Chemouil, Mamoun Filali, Jean-François Rolland	A mapping from AADL to Java-RTSJ.	JTRES	2007	DBLP DOI BibTeX RDF	architecture analysis and design languages (AADL), Java, real-time systems, architecture description languages, real-time specification for Java (RTSJ)
1	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens	Virtual execution of AADL models via a translation into synchronous programs.	EMSOFT	2007	DBLP DOI BibTeX RDF	simulation, formal verification, architecture description language, synchronous languages
1	Hamid Bagheri	Injecting security as aspectable NFR into Software Architecture.	APSEC	2007	DBLP DOI BibTeX RDF
1	Hamid Bagheri, Seyed-Hassan Mirian-Hosseinabadi, Hesam Chiniforooshan Esfahani	An Aspect Enhanced Method of NFR Modeling in Software Architecture.	ICIT	2007	DBLP DOI BibTeX RDF
1	Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani	Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.	ICSE	2007	DBLP DOI BibTeX RDF
1	Wei Qin, Asa Ben-Tzur, Boris Gutkovich	An ADL for Functional Specification of IA32.	MTV	2007	DBLP DOI BibTeX RDF
1	Paul C. Clements, Rick Kazman, Mark Klein	Working Session: Software Architecture Competence.	WICSA	2007	DBLP DOI BibTeX RDF
1	Deepak Dhungana, Rick Rabiser, Paul Grünbacher	Decision-Oriented Modeling of Product Line Architectures.	WICSA	2007	DBLP DOI BibTeX RDF
1	Chadlia Jerad, Kamel Barkaoui, Amel Grissa-Touzi	Hierarchical Verification in Maude of L f P Software Architectures.	ECSA	2007	DBLP DOI BibTeX RDF
1	Gemma Grau, Xavier Franch	On the Adequacy of i* Models for Representing and Analyzing Software Architectures.	ER Workshops	2007	DBLP DOI BibTeX RDF
1	George Edwards, Sam Malek, Nenad Medvidovic	Scenario-Driven Dynamic Analysis of Distributed Architectures.	FASE	2007	DBLP DOI BibTeX RDF
1	Flávio Oquendo	pi-Method: a model-driven formal method for architecture-centric software engineering.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
1	Anupam Chattopadhyay, B. Geukes, David Kammler, Ernst Martin Witte, Oliver Schliebusch, Harold Ishebabi, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Automatic ADL-based operand isolation for embedded processors.	DATE	2006	DBLP DOI BibTeX RDF
1	Stefan Farfeleder, Andreas Krall, Edwin Steiner, Florian Brandner	Effective compiler generation by architecture description.	LCTES	2006	DBLP DOI BibTeX RDF	code generation, architecture description language, compiler generation
1	Lubos Brim, Ivana Cerná, Pavlína Vareková, Barbora Zimmerova	Component-interaction automata as a verification-oriented component-based system specification.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	Component-based specification languages, component-interaction automata, team automata, verification, ADLs, I/O automata, interface automata, component interaction
1	Radu Mateescu, Flávio Oquendo	pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	architecture analysis languages, formal development techniques, software architectures, property specification, property verification
1	Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia L. Lawall	Safe Integration of New Concerns in a Software Architecture.	ECBS	2006	DBLP DOI BibTeX RDF
1	Nenad Medvidovic	Moving Architectural Description from Under the Technology Lamppost.	EUROMICRO-SEAA	2006	DBLP DOI BibTeX RDF
1	Yujian Fu, Zhijiang Dong, Xudong He	A Method for Realizing Software Architecture Design.	QSIC	2006	DBLP DOI BibTeX RDF
1	Anupam Chattopadhyay, Arnab Sinha, Diandian Zhang, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Integrated Verification Approach during ADL-Driven Processor Design.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
1	Alek Radjenovic, Richard F. Paige	The View Glue.	WADS	2006	DBLP DOI BibTeX RDF	view consistency, modelling, software architectures, safety critical systems, architectural views
1	Joyce L. Tokar	Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).	WADS	2006	DBLP DOI BibTeX RDF	Modeling, Dependability, Architecture description language, Architecture analysis
1	Zhi-Hong Tao, Hans Kleine Büning, Li-Fu Wang	Direct Model Checking Matrix Algorithm.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	direct model checking (DMC), Kripke semantics structure, CTL logic, matrix algorithm
1	Qian Wang	Integrating Architecture Description Languages: A Semantics-Based Approach.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Adel Smeda, Mourad Oussalah, Tahar Khammaci	MADL: Meta Architecture Description Language.	SERA	2005	DBLP DOI BibTeX RDF	architectures, component, meta-modeling, architecture description languages, connectors, component-based software architecture
1	Oliver Schliebusch, Anupam Chattopadhyay, David Kammler, Gerd Ascheid, Rainer Leupers, Heinrich Meyr, Tim Kogel	A framework for automated and optimized ASIP implementation supporting multiple hardware description languages.	ASP-DAC	2005	DBLP DOI BibTeX RDF
1	Henry Muccini, Marcio S. Dias, Debra J. Richardson	Towards software architecture-based regression testing.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems
1	Yujian Fu, Zhijiang Dong, Xudong He	An Approach to Validation of Software Architecture Model.	APSEC	2005	DBLP DOI BibTeX RDF
1	Ernst Martin Witte, Anupam Chattopadhyay, Oliver Schliebusch, David Kammler	Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation.	ICCD	2005	DBLP DOI BibTeX RDF
1	Chadlia Jerad, Kamel Barkaoui	On the Use of Rewriting Logic for Verification of Distributed Software Architecture Description Based LfP.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Oliver Schliebusch, Anupam Chattopadhyay, Ernst Martin Witte, David Kammler, Gerd Ascheid, Rainer Leupers, Heinrich Meyr	Optimization Techniques for ADL-Driven RTL Processor Synthesis.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon	Rapid Development Methodology for Customized Middleware.	IEEE International Workshop on Rapid System Prototyping	2005	DBLP DOI BibTeX RDF
1	Rabih Bashroush, T. John Brown, Ivor T. A. Spence, Peter Kilpatrick	ADLARS: An Architecture Description Language for Software Product Lines.	SEW	2005	DBLP DOI BibTeX RDF
1	Olivier Barais, Julia L. Lawall, Anne-Françoise Le Meur, Laurence Duchien	Providing Support for Safe Software Architecture Transformations.	WICSA	2005	DBLP DOI BibTeX RDF
1	Thomas Vergnaud, Laurent Pautet, Fabrice Kordon	Using the AADL to Describe Distributed Applications from Middleware to Software Components.	Ada-Europe	2005	DBLP DOI BibTeX RDF
1	Kung-Kiu Lau, Perla Velasco Elizondo, Zheng Wang	Exogenous Connectors for Software Components.	CBSE	2005	DBLP DOI BibTeX RDF
1	Selma Matougui, Antoine Beugnard	How to Implement Software Connectors? A Reusable, Abstract and Adaptable Connector.	DAIS	2005	DBLP DOI BibTeX RDF
1	Sorana Cîmpan, Fabien Leymonerie, Flávio Oquendo	Handling Dynamic Behaviour in Software Architectures.	EWSA	2005	DBLP DOI BibTeX RDF	software architectures, dynamic systems, architecture description language
1	Zhijiang Dong, Yujian Fu, Yue Fu, Xudong He	Automated Runtime Validation of Software Architecture Design.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Gopal Gupta	Software Engineering Track Chair's Message.	ICDCIT	2005	DBLP DOI BibTeX RDF
1	Zhenhua Yu, Yuanli Cai, Ruifeng Wang, Jiuqiang Han	pi-Net ADL: An Architecture Description Language for Multi-agent Systems.	ICIC	2005	DBLP DOI BibTeX RDF
1	Leonardo Taglietti, José O. Carlomagno Filho, Daniel C. Casarotto, Olinto J. V. Furtado, Luiz C. V. dos Santos	Automatic ADL-Based Assembler Generation for ASIP Programming Support.	SAMOS	2005	DBLP DOI BibTeX RDF
1	Dominikus Herzberg, Manfred Broy	Modeling layered distributed communication systems.	Formal Asp. Comput.	2005	DBLP DOI BibTeX RDF	Modeling communication systems, Distribution, Layering
1	Frederic D. McKenzie, Mikel D. Petty, Qingwen Xu	Usefulness of Software Architecture Description Languages for Modeling and Analysis of Federates and Federation Architectures.	Simulation	2004	DBLP DOI BibTeX RDF
1	Flávio Oquendo	pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	specification languages, Architecture Description Languages, ?-calculus, dynamic architectures, mobile architectures
1	Scott J. Weber, Matthew W. Moskewicz, Matthias Gries, Christian Sauer, Kurt Keutzer	Fast cycle-accurate simulation and instruction set generation for constraint-based descriptions of programmable architectures.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	automatic control generation, instruction set extraction, cycle-accurate simulation
1	Gunnar Braun, Achim Nohl, Weihua Sheng, Jianjiang Ceng, Manuel Hohenauer, Hanno Scharwächter, Rainer Leupers, Heinrich Meyr	A novel approach for flexible and consistent ADL-driven ASIP design.	DAC	2004	DBLP DOI BibTeX RDF	ADL, embedded processors, ASIP
1	Wei Qin, Subramanian Rajagopalan, Sharad Malik	A formal concurrency model based architecture description language for synthesis of software development tools.	LCTES	2004	DBLP DOI BibTeX RDF
1	Sebastián Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee	System architecture: the context for scenario-based model synthesis.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	architecture, synthesis, generalisation, MSCs
1	Sunghwan Roh, Kyungrae Kim, Taewoong Jeon	Architecture Modeling Language based on UML2.0.	APSEC	2004	DBLP DOI BibTeX RDF
1	Oliver Schliebusch, Anupam Chattopadhyay, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Mario Steinert, Gunnar Braun, Achim Nohl	RTL Processor Synthesis for Architecture Exploration and Implementation.	DATE	2004	DBLP DOI BibTeX RDF
1	Mourad Oussalah, Adel Smeda, Tahar Khammaci	An Explicit Definition of Connectors for Component-Based Software Architecture.	ECBS	2004	DBLP DOI BibTeX RDF	component-based systems design, operational mechanisms, software architecture, components, connectors
1	Roshanak Roshandel, Bradley R. Schmerl, Nenad Medvidovic, David Garlan, Dehua Zhang	Understanding Tradeoffs among Different Architectural Modeling Approaches.	WICSA	2004	DBLP DOI BibTeX RDF
1	Radu Mateescu	Model Checking for Software Architectures.	EWSA	2004	DBLP DOI BibTeX RDF
1	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano	Reflection-Based, Aspect-Oriented Software Architecture.	EWSA	2004	DBLP DOI BibTeX RDF
1	René van Buuren, Henk Jonkers, Maria-Eugenia Iacob, Patrick Strating	Composition of Relations in Enterprise Architecture Models.	ICGT	2004	DBLP DOI BibTeX RDF
1	Paris Avgeriou, Nicolas Guelfi, Nenad Medvidovic	Software Architecture Description and UML.	UML Satellite Activities	2004	DBLP DOI BibTeX RDF
1	Achim Nohl, Volker Greive, Gunnar Braun, Andreas Hoffmann, Rainer Leupers, Oliver Schliebusch, Heinrich Meyr	Instruction encoding synthesis for architecture exploration using hierarchical processor models.	DAC	2003	DBLP DOI BibTeX RDF	instruction set architectures, instruction encoding