|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 163 occurrences of 104 keywords
|
|
|
|
|
Results
Found 137 publication records. Showing 137 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Jakob Raderius, Per Närman, Mathias Ekstedt |
Assessing System Availability Using an Enterprise Architecture Analysis Approach.  |
ICSOC Workshops  |
2008 |
DBLP DOI BibTeX RDF |
Bayesian networks, availability, Enterprise architecture, architecture analysis, decision graphs |
| 3 | 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 |
| 3 | Rick Kazman, Len Bass, Mark Klein, Tony Lattanze, Linda M. Northrop |
A Basis for Analyzing Software Architecture Analysis Methods.  |
Software Quality Journal  |
2005 |
DBLP DOI BibTeX RDF |
software architecture, quality attributes, architecture analysis, analysis methods |
| 2 | Hong Liu, David P. Gluch |
Formal verification of AADL behavior models: a feasibility investigation.  |
ACM Southeast Regional Conference  |
2009 |
DBLP DOI BibTeX RDF |
architecture analysis & design language, model checking, tool integration, computational tree logic |
| 2 | Ilham Alloui, Sorana Cîmpan, Hervé Verjus |
Towards Software Architecture Physiology: Identifying Vital Components.  |
WICSA  |
2008 |
DBLP DOI BibTeX RDF |
vital component, Software architecture analysis, change impact |
| 2 | Andrzej Zalewski |
Beyond ATAM: Architecture Analysis in the Development of Large Scale Software Systems.  |
ECSA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Youngseok Oh, Danhyung Lee, Sungwon Kang, Jihyun Lee |
Extended Architecture Analysis Description Language for Software Product Line Approach in Embedded Systems.  |
MEMOCODE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Johnny Garcia |
Executable architecture analysis modeling.  |
SpringSim  |
2007 |
DBLP DOI BibTeX RDF |
executable architectures, open standards, DODAF |
| 2 | Joyce L. Tokar |
Architecting Dependable Systems with the SAE Architecture Analysis and Description Language (AADL).  |
WADS ![In: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], pp. 1-13, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Modeling, Dependability, Architecture description language, Architecture analysis |
| 2 | Hong Liu, David P. Gluch |
Templates and automation for temporal query generation.  |
ACM Southeast Regional Conference  |
2006 |
DBLP DOI BibTeX RDF |
architecture analysis & design language, model checking, computation tree logic |
| 2 | 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 |
| 2 | Bedir Tekinerdogan |
ASAAM: Aspectual Software Architecture Analysis Method.  |
WICSA  |
2004 |
DBLP DOI BibTeX RDF |
aspect-oriented software architecture design, scenario-based aspect-identification, scenario based architectural evaluation |
| 2 | Liliana Dobrica, Eila Niemelä |
A Survey on Software Architecture Analysis Methods.  |
IEEE Trans. Software Eng.  |
2002 |
DBLP DOI BibTeX RDF |
analysis techniques and methods, Software architecture, scenarios, quality attributes |
| 2 | Tobias Rötschke, René L. Krikhaar |
Architecture Analysis Tools to Support Evolution of Large Industrial Systems. (PDF / PS)  |
ICSM  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Gerald C. Gannod, Robyn R. Lutz |
An approach to architectural analysis of product lines.  |
ICSE  |
2000 |
DBLP DOI BibTeX RDF |
interferometry software, software archtecture, product lines, software architecture analysis |
| 2 | Nico H. Lassing, Daan B. B. Rijsenbrij, Hans van Vliet |
Towards a Broader View on Software Architecture Analysis of Flexibility.  |
APSEC  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Wen-Li Wang, Mei-Huei Tang, Mei-Hwa Chen |
Software Architecture Analysis-A Case Study. (PDF / PS)  |
COMPSAC  |
1999 |
DBLP DOI BibTeX RDF |
software architectural styles, availability measurement, performance evaluation, software architecture analysis |
| 2 | Edward C. Bronson, Thomas L. Casavant, Leah H. Jamieson |
Experimental Application-Driven Architecture Analysis of an SIMD/MIMD Parallel Processing System.  |
IEEE Trans. Parallel Distrib. Syst.  |
1990 |
DBLP DOI BibTeX RDF |
application-driven architecture analysis, SIMD/MIMD parallel processing system, execution-time measurements, barrier-synchronized MIMD, floating-point arithmetic operations, interconnection network transfer operations, program control overhead, computational intensive algorithms, performance evaluation, parallel architectures, multiprocessor interconnection networks, fast Fourier transforms, parallel machines, synchronisation, controlled experiments, PASM, parallel fast Fourier transform |
| 1 | Mahsa Razavi, Fereidoon Shams Aliee, Kambiz Badie |
An AHP-based approach toward enterprise architecture analysis based on enterprise architecture quality attributes.  |
Knowl. Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Novia Admodisastro, Gerald Kotonya |
An Architecture Analysis Approach for Supporting Black-Box Software Development.  |
ECSA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nihong Wang, Wenjing Wu |
The Architecture Analysis of Internet of Things.  |
CCTA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Plamen Petrov, Ugo Buy |
A Systemic Methodology for Software Architecture Analysis and Design.  |
ITNG  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabine Buckl, Markus Buschle, Pontus Johnson, Florian Matthes, Christian M. Schweda |
A Meta-language for Enterprise Architecture Analysis.  |
BMMDS/EMMSAD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis A. Rojas, José A. Macías |
End-User Support for Information Architecture Analysis in Interactive Web Applications.  |
INTERACT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson |
ABV - A Verifier for the Architecture Analysis and Design Language (AADL).  |
ICECCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Myron Hecht, Alexander Lam, Chris Vogl |
A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex.  |
ICECCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Biel, Thomas Grill, Volker Gruhn |
Exploring the benefits of the combination of a software architecture analysis and a usability evaluation of a mobile application.  |
Journal of Systems and Software  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Lagerström, Pontus Johnson, David Höök |
Architecture analysis of enterprise systems modifiability - Models, analysis, and validation.  |
Journal of Systems and Software  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong-Mei Chen, Rick Kazman, Opal Perry |
From Software Architecture Analysis to Service Engineering: An Empirical Study of Methodology Development for Enterprise SOA Implementation.  |
IEEE T. Services Computing  |
2010 |
DBLP DOI BibTeX RDF |
system architectures, system modeling, system integration, computer systems organization, Management of computing and information systems |
| 1 | Robert Lagerström, Pontus Johnson, Mathias Ekstedt |
Architecture analysis of enterprise systems modifiability: a metamodel for software change cost estimation.  |
Software Quality Journal  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Len Bass, Robert L. Nord, Ipek Ozkaya |
Architecture: Analysis.  |
Encyclopedia of Software Engineering  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Buschle, Johan Ullberg, Ulrik Franke, Robert Lagerström, Teodor Sommestad |
A Tool for Enterprise Architecture Analysis Using the PRM Formalism.  |
CAiSE Forum  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Buchgeher, Rainer Weinreich |
An Approach for Combining Model-Based and Scenario-Based Software Architecture Analysis.  |
ICSEA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rui Li, Michel R. V. Chaudron, René C. Ladan |
Towards automated software architectures design using model transformations and evolutionary algorithms.  |
GECCO (Companion)  |
2010 |
DBLP DOI BibTeX RDF |
architecture transformations, architecture analysis, architecture optimization |
| 1 | Jorgen Hansson, Lutz Wrage, Peter H. Feiler, John Morley, Bruce A. Lewis, Jérôme Hugues |
Architectural Modeling to Verify Security and Nonfunctional Behavior.  |
IEEE Security & Privacy  |
2010 |
DBLP DOI BibTeX RDF |
Architecture Analysis and Design Language, security, verification, architectural modeling, AADL |
| 1 | Sabine Buckl, Ulrik Franke, Oliver Holschke, Florian Matthes, Christian M. Schweda, Teodor Sommestad, Johan Ullberg |
A Pattern-based Approach to Quantitative Enterprise Architecture Analysis.  |
AMCIS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Danhyung Lee, Jongmoon Baik, In-Young Ko |
Quantitative Tradeoff Analysis of Software Architecture Using the Architecture Analysis and Design Language.  |
SNPD  |
2009 |
DBLP DOI BibTeX RDF |
tradeoff analysis, Software architecture, quality attributes |
| 1 | Sabine Buckl, Florian Matthes, Christian M. Schweda |
Classifying Enterprise Architecture Analysis Approaches.  |
IWEI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Per Närman, Pontus Johnson, Mathias Ekstedt, Moustafa Chenine, Johan König |
Enterprise Architecture Analysis for Data Accuracy Assessments.  |
EDOC  |
2009 |
DBLP DOI BibTeX RDF |
Accuracy, Enterprise Architecture, Data Quality |
| 1 | Mathias Ekstedt, Ulrik Franke, Pontus Johnson, Robert Lagerström, Teodor Sommestad, Johan Ullberg, Markus Buschle |
A Tool for Enterprise Architecture Analysis of Maintainability.  |
CSMR  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rongwei Cen, Yiqun Liu, Min Zhang, Bo Zhou, Liyun Ru, Shaoping Ma |
Exploring relevance for clicks.  |
CIKM  |
2009 |
DBLP DOI BibTeX RDF |
click relevance, long-tail query, implicit feedback, click-through data |
| 1 | Jürgen Sommer, Simon Lüders, Suguna Subramanian, Stephen Schmitt, Wolfgang Rosenstiel |
SySifoS: SystemC simulator for sensor and communication systems.  |
Mobility Conference  |
2009 |
DBLP DOI BibTeX RDF |
short range communication, sensor networks, pervasive computing, wireless communication, network simulation, indoor localization |
| 1 | Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll |
Verification and performance evaluation of aadl models.  |
ESEC/SIGSOFT FSE  |
2009 |
DBLP DOI BibTeX RDF |
performability, model checking, reliability, dependability, aadl |
| 1 | Dionisio de Niz, Peter H. Feiler |
Verification of Replication Architectures in AADL.  |
ICECCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Biel, Volker Gruhn |
Towards a Method for Analyzing Architectural Support Levels of Usability.  |
WICSA/ECSA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Liu Shuyong, Chen Yan, Yang Ming, Ding Rui |
Bicluster Algorithm and Used in Market Analysis.  |
WKDD  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Berthomieu, Jean-Paul Bodeveix, Christelle Chaudet, Silvano Dal-Zilio, Mamoun Filali, François Vernadat |
Formal Verification of AADL Specifications in the Topcased Environment.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Pi, Jean-Paul Bodeveix, Mamoun Filali |
Modeling AADL Data Communication with BIP.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nizar Kheir, Hervé Debar, Frédéric Cuppens, Nora Cuppens-Boulahia, Jouni Viinikka |
A Service Dependency Modeling Framework for Policy-Based Response Enforcement.  |
DIMVA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
| 1 | Georg Buchgeher, Rainer Weinreich |
Connecting Architecture and Implementation.  |
OTM Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Björnander, Lars Grunske, Kristina Lundqvist |
Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.  |
QoSA  |
2009 |
DBLP DOI BibTeX RDF |
Behavior Annex, TASM, Translation, AADL |
| 1 | Eelke Folmer, Jan Bosch |
Experiences with Software Architecture Analysis of Usability.  |
IJITWE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | André Vasconcelos, Pedro Manuel Antunes Sousa, José M. Tribolet |
Enterprise Architecture Analysis - An Information System Evaluation Approach.  |
Enterprise Modelling and Information Systems Architectures  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Gabriel A. Moreno, Connie U. Smith, Lloyd G. Williams |
Performance analysis of real-time component architectures: a model interchange approach.  |
WOSP  |
2008 |
DBLP DOI BibTeX RDF |
model interchange, performance, real-time systems, performance analysis, performance model, component-based systems, software performance engineering, architecture analysis |
| 1 | Lihua Xu |
Moda - multiple objective decision analysis: balancing quality attributes in software architectures.  |
ICSE Companion  |
2008 |
DBLP DOI BibTeX RDF |
multiple objective decision making, software architecture, quality attributes, tradeoffs |
| 1 | Jérôme Hugues, Bechir Zalila, Laurent Pautet, Fabrice Kordon |
From the prototype to the final embedded system using the Ocarina AADL tool suite.  |
ACM Trans. Embedded Comput. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Ocarina, PolyORB-HI, real-time, distributed, embedded, AADL, DRE |
| 1 | Hamid Bagheri, Vajih Montaghami, Gholamreza Safi, Seyed-Hassan Mirian-Hosseinabadi |
An evaluation method for aspectual modeling of distributed software architectures.  |
AICCSA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Certner, Zheng Li, Pierre Palatin, Olivier Temam, Frederic Arzel, Nathalie Drach |
A Practical Approach for Reconciling High and Predictable Performance in Non-Regular Parallel Programs.  |
DATE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.  |
EDCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenglin Gui, Lei Luo, Qian Liu, Fulei Guo, Shaopeng Lu |
UCaS: A Schedulability Analysis Tool for AADL Models.  |
EUC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Grunske, Jun Han |
A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models.  |
HASE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Didier Delanote, Stefan Van Baelen, Wouter Joosen, Yolande Berbers |
Using AADL to Model a Protocol Stack.  |
ICECCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kangtae Kim, Hyungrok Kim, Sundeok Kim, Gihun Chang |
A Case Study on SW Product Line Architecture Evaluation: Experience in the Consumer Electronics Domain.  |
ICSEA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ma, Jean-Pierre Talpin, Thierry Gautier |
Virtual prototyping AADL architectures in a polychronous model of computation.  |
MEMOCODE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Irfan Hamid, Elie Najm |
Operational Semantics of Ada Ravenscar.  |
Ada-Europe  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Banani Roy, T. C. Nicholas Graham |
An Iterative Framework for Software Architecture Recovery: An Experience Report.  |
ECSA  |
2008 |
DBLP DOI BibTeX RDF |
SWAG Kit, Iterative Framework, Evaluation, Software Architecture Recovery, SAAM |
| 1 | Liming Zhu, Mark Staples, D. Ross Jeffery |
Scaling Up Software Architecture Evaluation Processes.  |
ICSP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Yassin Chkouri, Anne Robert, Marius Bozga, Joseph Sifakis |
Translating AADL into BIP - Application to the Verification of Real-Time Systems.  |
MoDELS Workshops  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Immonen, Eila Niemelä |
Survey of reliability and availability prediction methods from the viewpoint of software architecture.  |
Software and System Modeling  |
2008 |
DBLP DOI BibTeX RDF |
Reliability and availability analysis, Software architecture, Software components |
| 1 | Pontus Johnson, Robert Lagerström, Per Närman, Mårten Simonsson |
Enterprise architecture analysis with extended influence diagrams.  |
Information Systems Frontiers  |
2007 |
DBLP DOI BibTeX RDF |
Enterprise architecture models, Formal language, Influence diagrams |
| 1 | Pontus Johnson, Erik Johansson, Teodor Sommestad, Johan Ullberg |
A Tool for Enterprise Architecture Analysis.  |
EDOC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Spyros Kopsidas, Dimitris Zisiadis, Leandros Tassiulas |
A secure voip conference system: architecture analysis and design issues.  |
Q2SWinet  |
2007 |
DBLP DOI BibTeX RDF |
security, VoIP, real-time communications, conference |
| 1 | Tommy Kettu, Eckhard Kruse, Magnus Larsson, Goran Mustapic |
Using Architecture Analysis to Evolve Complex Industrial Systems.  |
WADS ![In: Architecting Dependable Systems V [the book is a result from the WADS 2007 and the Third Workshop on the Role of Software Architecture for Testing and Analysis], pp. 326-341, 2007, Springer, 978-3-540-85570-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
D.2.11 Software Architectures, D.2.7.m Restructuring, reverse engineering, reengineering |
| 1 | Benjamin Kanagwa, Ezra Kaahwa Mugisa |
Architecture Analysis of Service Oriented Architecture.  |
Software Engineering Research and Practice  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Suresh Srinivasan, Prasanth Mangalagiri, Yuan Xie, Narayanan Vijaykrishnan |
FPGA routing architecture analysis under variations.  |
ICCD  |
2007 |
DBLP DOI 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 | Hongyu Sun, Miriam Hauptman, Robyn R. Lutz |
Integrating Product-Line Fault Tree Analysis into AADL Models.  |
HASE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Feiler, Dionisio de Niz, Chris Raistrick, Bruce A. Lewis |
From PIMs to PSMs.  |
ICECCS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Sudhanwa Kholgade, Jamie White, Hassan Reza |
Comparing the Specification of a Near-Real Time Commanding System Using Statecharts and AADL.  |
ITNG  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Ming, Zhenjiang Miao |
Humanized Mandarin E-Learning Based on Pervasive Computing.  |
I3E  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatesh Prasad Ranganath, John Hatcliff |
Slicing concurrent Java programs using Indus and Kaveri.  |
STTT  |
2007 |
DBLP DOI BibTeX RDF |
Concurrent Java, Indus, Kaveri, Program slicing, Program dependences |
| 1 | Pontus Johnson, Robert Lagerström, Per Närman, Mårten Simonsson |
Extended Influence Diagrams for Enterprise Architecture Analysis.  |
EDOC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Heinz Züllighoven, Carola Lilienthal, Marcel Bennicke |
Software Architecture Analysis and Evaluation.  |
QoSA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf M. Schreier, A. Tushar Iqbal Rahman, Ganesh Krishnamurthy, Albrecht Rothermel |
Architecture Analysis for Low-Delay Video Coding.  |
ICME  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Chitra Dorai, Robert G. Farrell, Amy Katriel, Galina Kofman, Ying Li, Youngja Park |
MAGICAL demonstration: system for automated metadata generation for instructional content.  |
ACM Multimedia  |
2006 |
DBLP DOI BibTeX RDF |
SCORM metadata, analysis and indexing, instructional content |
| 1 | Poornima Ramachandra, Haeng-Kon Kim, Byeongdo Kang, Yan Ha, Roger Y. Lee |
Risk Management through Architecture Design.  |
SERA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana-Elena Rugina, Karama Kanoun, Mohamed Kaâniche |
A System Dependability Modeling Framework Using AADL and GSPNs.  |
WADS ![In: Architecting Dependable Systems IV [the book is a result of the ICSE 2006 and DSN 2006 workshops], pp. 14-38, 2006, Springer, 978-3-540-74033-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
evaluation, model transformation, AADL, dependability modeling, GSPN |
| 1 | Nick A. Moldovyan, Nicolas Sklavos, Odysseas G. Koufopavlou |
Pure DDP-Based Cipher: Architecture Analysis, Hardware Implementation Cost and Performance up to 6.5 Gbps.  |
Int. Arab J. Inf. Technol.  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Chaw-Seng Woo, Jiang Du, Binh Pham, Hamud Ali Abdulkadir |
System Architecture Analysis of a Hybrid Watermarking Method.  |
KES  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre |
Enterprise Architecture Analysis with XML.  |
HICSS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gemma Grau, Xavier Franch, Neil A. M. Maiden |
REDEPEND-REACT: an Architecture Analysis Tool.  |
RE  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Chung-Horng Lung, Marzia Zaman |
Application of Design Combinatorial Theory to Scenario-Based Software Architecture Analysis.  |
SEKE  |
2005 |
DBLP BibTeX RDF |
|
| 1 | Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel |
Fluent temporal logic for discrete-time event-based models.  |
ESEC/SIGSOFT FSE  |
2005 |
DBLP DOI BibTeX RDF |
discrete-time event-based models, fluent linear temporal logic, model-checking, software architecture analysis |
| 1 | Fernando Castor Filho, Patrick H. S. Brito, Cecília M. F. Rubira |
A framework for analyzing exception flow in software architectures.  |
ACM SIGSOFT Software Engineering Notes  |
2005 |
DBLP DOI BibTeX RDF |
exception handling, architecture analysis, architecture documentation |
| 1 | Rick Kazman |
The Essential Components of Software Architecture Design and Analysis.  |
APSEC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas Graaf, Hylke W. van Dijk, Arie van Deursen |
Evaluating an Embedded Software Reference Architecture -- Industrial Experience Report.  |
CSMR  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Eelke Folmer, Jan Bosch |
Case studies on Analyzing Software Architectures for Usability.  |
EUROMICRO-SEAA  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Haixia Gao, Yintang Yang, Xiaohua Ma, Gang Dong |
Analysis of the Effect of LUT Size on FPGA Area and Delay Using Theoretical Derivations.  |
ISQED  |
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 |
|
Displaying result #1 - #100 of 137 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|