Search results for "software architectures"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Richard T. Bechtold	Diagnostic Software Architectures.	ESPRIT ARES Workshop	1998	DBLP DOI BibTeX RDF	Diagnostic Software Architectures, Error Management, Software Families, Embedded Systems, Software Architectures
3	Heiko Koziolek, Roland Weiss, Jens Doppelhamer	Evolving Industrial Software Architectures into a Software Product Line: A Case Study.	QoSA	2009	DBLP DOI BibTeX RDF
3	Licia Capra, Rami Bahsoon, Wolfgang Emmerich, Mohamed E. Fayad	The international workshop on software architectures and mobility (SAM 2008).	ICSE Companion	2008	DBLP DOI BibTeX RDF	mobility, software architectures
3	Cristóbal Costa Soria, Nour Ali, Jennifer Pérez, José A. Carsí, Isidro Ramos	Dynamic Reconfiguration of Software Architectures Through Aspects.	ECSA	2007	DBLP DOI BibTeX RDF	software architectures, Dynamic reconfiguration, AOSD
3	Sayed Mehran Sharafi, Fereidoon Shams Aliee, Ali Movaghar	A Review on Specifying Software Architectures Using Extended Automata-Based Models.	FSEN	2007	DBLP DOI BibTeX RDF	Automata-based models, Software architectures, Components interaction
3	Heiko Koziolek, Steffen Becker, Jens Happe	Predicting the Performance of Component-Based Software Architectures with Different Usage Profiles.	QoSA	2007	DBLP DOI BibTeX RDF
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	Nenad Medvidovic	Software Architectures and Embedded Systems: A Match Made in Heaven?	IEEE Software	2005	DBLP DOI BibTeX RDF	embedded systems, software architectures
3	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
3	Vincenzo Grassi, Raffaela Mirandola, Antonino Sabetta	An XML-Based Language to Support Performance and Reliability Modeling and Analysis in Software Architectures.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
3	Flávio Oquendo	pi-ARL: an architecture refinement language for formally modelling the stepwise refinement of software architectures.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	architecture refinement languages, formal development techniques, software architectures, stepwise refinement
3	Rogério de Lemos, Cristina Gacek, Alexander Romanovsky	ICSE 2003 workshop on software architectures for dependable systems.	ACM SIGSOFT Software Engineering Notes	2003	DBLP DOI BibTeX RDF	software architectures, dependability
3	Frank van der Linden, J. Henk Obbink	ESAPS - Engineering Software Architectures, Processes and Platforms for System Families.	IW-SAPF	2000	DBLP DOI BibTeX RDF
3	Paul C. Clements, Juan Antonio de la Puente	Session 4: Analysis of Software Architectures.	ESPRIT ARES Workshop	1998	DBLP DOI BibTeX RDF
3	Mark Moriconi, Xiaolei Qian, Robert A. Riemenschneider, Li Gong	Secure Software Architectures.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	secure software architectures, open architectural standards, competitive success, secure system design, X/Open distributed transaction processing reference architecture, secure access control, Bell-LaPadula model, formal methods, authorisation, security properties, computer industry
3	Renaud Marlet, Scott Thibault, Charles Consel	Mapping Software Architectures to Efficient Implementations via Partial Evaluation. (PDF / PS)	ASE	1997	DBLP DOI BibTeX RDF	code size overhead, inefficiency, flexible mechanisms, generic libraries, software engineering, software engineering, software architectures, pattern matching, interpreters, generic programs, partial evaluation, layers, program specialization, selective broadcast
3	T. C. Nicholas Graham, Tore Urnes	Linguistic Support for the Evolutionary Design of Software Architectures.	ICSE	1996	DBLP BibTeX RDF	Clock-Works programming environment, architecture language, automatic message routing, constraint-based communication, multiuser applications, restricted scoping, visual syntax, software engineering, interactive, software architectures, programming environments, interactive systems, Clock, high level languages
2	Franz Brosch, Barbora Buhnova, Heiko Koziolek, Ralf Reussner	Reliability prediction for fault-tolerant software architectures.	QoSA/ISARCS	2011	DBLP DOI BibTeX RDF
2	Heiko Koziolek	Sustainability evaluation of software architectures: a systematic review.	QoSA/ISARCS	2011	DBLP DOI BibTeX RDF
2	Reijo Savola, Teemu Kanstrén, Antti Evesti	First International Workshop on Measurability of Security in Software Architectures -- MeSSa 2010.	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	security, privacy, evaluation, trust, measurement, metrics, assessment, assurance
2	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
2	Franz Brosch, Heiko Koziolek, Barbora Buhnova, Ralf Reussner	Parameterized Reliability Prediction for Component-Based Software Architectures.	QoSA	2010	DBLP DOI BibTeX RDF
2	Cristóbal Costa Soria, Jennifer Pérez	Teaching software architectures and aspect-oriented software development using open-source projects.	ITiCSE	2009	DBLP DOI BibTeX RDF	software architecture, reverse engineering, AOSD
2	Koen Buyens, Bart De Win, Wouter Joosen	Identifying and Resolving Least Privilege Violations in Software Architectures.	ARES	2009	DBLP DOI BibTeX RDF
2	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
2	Jaiprakash T. Lallchandani, Rajib Mall	Regression testing based-on slicing of component-based software architectures.	ISEC	2008	DBLP DOI BibTeX RDF	architectural slicing, software architecture, regression testing, ADL, component-based systems
2	Henry Muccini, Patrizio Pelliccione	Simulating Software Architectures for Functional Analysis.	WICSA	2008	DBLP DOI BibTeX RDF	Simulation, Model Checking, Software Architectures
2	Zhiming Chang, XinJun Mao, Zhichang Qi	Towards a Formal Model for Reconfigurable Software Architectures by Bigraphs.	WICSA	2008	DBLP DOI BibTeX RDF	Bigraph, Software Architecture, Reconfiguration
2	Jennifer Pérez, Isidro Ramos, José A. Carsí	Taking Advantage of COTS for Developing Aspect-Oriented Software Architectures.	ECBS	2008	DBLP DOI BibTeX RDF	Arquitecturas Software, MDD, COTS, AOSD
2	German L. Vazquez, Marcelo R. Campo, J. Andrés Díaz Pace	A case-based reasoning approach for materializing software architectures onto object-oriented designs.	SAC	2008	DBLP DOI BibTeX RDF	architecture materialization, object-oriented design, case-based reasoning, architecture design
2	Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca	An Early Reliability Assessment Model for Data-Flow Software Architectures.	ENC	2008	DBLP DOI BibTeX RDF
2	Yanguo Liu, Issa Traoré, Alexander M. Hoole	A Service-Oriented Framework for Quantitative Security Analysis of Software Architectures.	APSCC	2008	DBLP DOI BibTeX RDF
2	Bruno Dumas, Denis Lalanne, Dominique Guinard, Reto Koenig, Rolf Ingold	Strengths and weaknesses of software architectures for the rapid creation of tangible and multimodal interfaces.	Tangible and Embedded Interaction	2008	DBLP DOI BibTeX RDF	multimodal and tangible interfaces, software engineering, multimodal interaction
2	Roberto Bruni, Antonio Bucchiarone, Stefania Gnesi, Dan Hirsch, Alberto Lluch-Lafuente	Graph-Based Design and Analysis of Dynamic Software Architectures.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
2	Mohammed Nadhmi Miladi, Mohamed Hadj Kacem, Achraf Boukhris, Mohamed Jmaiel, Khalil Drira	A UML rule-based approach for describing and checking dynamic software architectures.	AICCSA	2008	DBLP DOI BibTeX RDF
2	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
2	David Garlan	Software Architectures for Task-Oriented Computing.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF
2	Marcos López Sanz, César J. Acuña, Carlos E. Cuesta, Esperanza Marcos	Defining Service-Oriented Software Architecture Models for a MDA-based Development Process at the PIM level.	WICSA	2008	DBLP DOI BibTeX RDF	Service-Oriented Software Architectures, PIM-level modelling, Model-Driven Architecture
2	Rami Bahsoon	Defining Dependable Dynamic Data-Driven Software Architectures.	IRI	2007	DBLP DOI BibTeX RDF
2	David Garlan	Software Architectures for Task-Oriented Computing.	ECSA	2007	DBLP DOI BibTeX RDF
2	Elena Navarro, Patricio Letelier, Isidro Ramos	Requirements and Scenarios: Running Aspect-Oriented Software Architectures.	WICSA	2007	DBLP DOI BibTeX RDF
2	Pentti Tarvainen	Adaptability Evaluation of Software Architectures; A Case Study.	COMPSAC	2007	DBLP DOI BibTeX RDF
2	Atif Mashkoor, João M. Fernandes	Deriving Software Architectures for CRUD Applications: The FPL Tower Interface Case Study.	ICSEA	2007	DBLP DOI BibTeX RDF
2	Gemma Grau, Xavier Franch	On the Adequacy of i* Models for Representing and Analyzing Software Architectures.	ER Workshops	2007	DBLP DOI BibTeX RDF
2	Bas Graaf	Model-Driven Evolution of Software Architectures.	CSMR	2007	DBLP DOI BibTeX RDF
2	Yanguo Liu, Issa Traoré	Systematic Security Analysis for Service-Oriented Software Architectures.	ICEBE	2007	DBLP DOI BibTeX RDF
2	Remco C. de Boer, Rik Farenhorst, Patricia Lago, Hans van Vliet, Viktor Clerc, Anton Jansen	Architectural Knowledge: Getting to the Core.	QoSA	2007	DBLP DOI BibTeX RDF
2	Cristóbal Costa Soria, Jennifer Pérez, José A. Carsí	Dynamic Adaptation of Aspect-Oriented Components.	CBSE	2007	DBLP DOI BibTeX RDF	software architectures, reflection, AOSD, CBSD, runtime adaptation, dynamic evolution, component adaptability
2	Flávio Oquendo	Formally modelling software architectures with the UML 2.0 profile for pi-ADL.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	?-ADL, UML 2.0 profile, architecture description language, software architecture modelling
2	Swapna S. Gokhale, Paul J. Vandal, Jijun Lu	Performance and Reliability Analysis ofWeb Server Software Architectures.	PRDC	2006	DBLP DOI BibTeX RDF
2	Mohamed Hadj Kacem, Ahmed Hadj Kacem, Mohamed Jmaiel, Khalil Drira	Describing dynamic software architectures using an extended UML model.	SAC	2006	DBLP DOI BibTeX RDF	structural and dynamic views, software architecture, profile, UML extension
2	Nour Ali, Jennifer Pérez, Cristóbal Costa Soria, Isidro Ramos, José A. Carsí	Mobile Ambients in Aspect-Oriented Software Architectures.	SET	2006	DBLP DOI BibTeX RDF
2	Deryck A. Velasquez, Michael Weiss	Goal-Oriented Design of Business Models and Software Architectures.	CCECE	2006	DBLP DOI BibTeX RDF
2	Jennifer Pérez, Nour Ali, José A. Carsí, Isidro Ramos	Designing Software Architectures with an Aspect-Oriented Architecture Description Language.	CBSE	2006	DBLP DOI BibTeX RDF
2	Rogério de Lemos	Software architectures for dependable systems: a software engineering perspective.	ICSE	2006	DBLP DOI BibTeX RDF	fault-tolerance, software architecture, dependability, trustworthiness
2	Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione	A Practical Architecture-Centric Analysis Process.	QoSA	2006	DBLP DOI BibTeX RDF
2	Nurzhan Duzbayev, Iman Poernomo	Runtime Prediction of Queued Behaviour.	QoSA	2006	DBLP DOI BibTeX RDF
2	Heiko Koziolek, Jens Happe, Steffen Becker	Parameter Dependent Performance Specifications of Software Components.	QoSA	2006	DBLP DOI BibTeX RDF
2	Aino Vonge Corry, Klaus Marius Hansen, David Svensson	Traveling Architects - A New Way of Herding Cats.	QoSA	2006	DBLP DOI BibTeX RDF
2	Mohamed Fayad, Haitham S. Hamza, Huáscar A. Sánchez	Towards scalable and adaptable software architectures.	IRI	2005	DBLP DOI BibTeX RDF
2	Israr Pasha Shaik, Walid Abdelmoez, Rajesh Gunnalan, Mark Shereshevsky, A. Zeid, Hany H. Ammar, Ali Mili, Christopher P. Fuhrman	Change Propagation for Assessing Design Quality of Software Architectures.	WICSA	2005	DBLP DOI BibTeX RDF
2	Jennifer Pérez, Manuel Llavador, José A. Carsí, José Hilario Canós Cerdá, Isidro Ramos	Coordination in Software Architectures: an Aspect-Oriented Approach.	WICSA	2005	DBLP DOI BibTeX RDF
2	Jens Knodel, Mikael Lindvall, Dirk Muthig	Static Evaluation of Software Architectures - A Short Summary.	WICSA	2005	DBLP DOI BibTeX RDF	PuLSE-DSSA, static architecture evaluatio, software architecture, product line architecture
2	Riadh Ben Halima, Mohamed Jmaiel, Khalil Drira	Graphical simulation of the dynamic evolution of the software architectures specified in Z.	IWPSE	2005	DBLP DOI BibTeX RDF
2	Sun Meng, Luís Soares Barbosa, Zhang Naixiao	On Refinement of Software Architectures.	ICTAC	2005	DBLP DOI BibTeX RDF	software architecture, refinement, Software component, coalgebra
2	Antónia Lopes, José Luiz Fiadeiro	Context-Awareness in Software Architectures.	EWSA	2005	DBLP DOI BibTeX RDF
2	Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili	Quantifying software architectures: an analysis of change propagation probabilities.	AICCSA	2005	DBLP DOI BibTeX RDF
2	Lawrence Cabac, Michael Duvigneau, Daniel Moldt, Heiko Rölke	Multi-agent concepts as basis for dynamic plug-in software architectures.	AAMAS	2005	DBLP DOI BibTeX RDF	modeling, multi-agent systems, components, high-level Petri nets, renew, reference nets, nets-within-nets, dynamic software architectures, plug-in architectures, mulan
2	Huiqun Yu, Dongmei Liu, Xudong He, Li Yang, Shu Gao	Secure Software Architectures Design by Aspect Orientation.	ICECCS	2005	DBLP DOI BibTeX RDF	security, Software architecture, formal method, aspect orientation, SAM
2	Nour Ali, Isidro Ramos, José A. Carsí	A Conceptual Model for Distributed Aspect-Oriented Software Architectures.	ITCC	2005	DBLP DOI BibTeX RDF	mobility, software architecture, distribution, replication, AOSD
2	Heiko Koziolek, Viktoria Firus	Empirical Evaluation of Model-Based Performance Prediction Methods in Software Development.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
2	Klaus Bergner, Andreas Rausch, Marc Sihling, Thomas Ternité	DoSAM - Domain-Specific Software Architecture Comparison Model.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
2	Petteri Nurmi, Michael Przybilski, Greger Lindén, Patrik Floréen	An Architecture for Distributed Agent-Based Data Preprocessing.	AIS-ADM	2005	DBLP DOI BibTeX RDF	ubiquitous and context-aware computing, privacy and security, software architectures, preprocessing, Agent technologies, distributed agents
2	Mikael Svahnberg, Claes Wohlin	An Investigation of a Method for Identifying a Software Architecture Candidate with Respect to Quality Attributes.	Empirical Software Engineering	2005	DBLP DOI BibTeX RDF	Software architectures, analytic hierarchy process, quality attributes
2	Flávio Oquendo	Formally refining software architectures with pi-ARL: a case study.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	formal development techniques, software architectures, case study, stepwise refinement
2	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
2	Stefan Ferber, Andreas Krüger, Stefan Voget, Matthias Weber	International Workshop on Solutions for Automotive Software Architectures: Open Standards, References, and Product Line Architectures.	SPLC	2004	DBLP DOI BibTeX RDF
2	Ingolf H. Krüger, Reena Mathew	Systematic Development and Exploration of Service-Oriented Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
2	Vincent Englebert, F. Vermaut	Attribute-Based Refinement of Software Architectures.	WICSA	2004	DBLP DOI BibTeX RDF
2	Robert G. Pettit IV, Hassan Gomaa	Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets.	WICSA	2004	DBLP DOI BibTeX RDF
2	Huiqun Yu, Xudong He, Yi Deng, Lian Mo	A Formal Approach to Designing Secure Software Architectures.	HASE	2004	DBLP DOI BibTeX RDF
2	Walid Abdelmoez, Diaa Eldin M. Nassar, Mark Shereshevsky, Nicholay Gradetsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, Ali Mili	Error Propagation In Software Architectures.	IEEE METRICS	2004	DBLP DOI BibTeX RDF
2	Rafael Capilla, Margarita Martínez	Software Architectures for Designing Virtual Reality Applications.	EWSA	2004	DBLP DOI BibTeX RDF
2	Radu Mateescu	Model Checking for Software Architectures.	EWSA	2004	DBLP DOI BibTeX RDF
2	Jorge Enrique Pérez-Martínez, Almudena Sierra-Alonso	UML 1.4 versus UML 2.0 as Languages to Describe Software Architectures.	EWSA	2004	DBLP DOI BibTeX RDF
2	Walid Abdelmoez, Mark Shereshevsky, Rajesh Gunnalan, Hany H. Ammar, Bo Yu, S. Bogazzi, Mustafa Korkmaz, Ali Mili	Software Architectures Change Propagation Tool (SACPT).	ICSM	2004	DBLP DOI BibTeX RDF
2	Lieven Desmet, Nico Janssens, Sam Michiels, Frank Piessens, Wouter Joosen, Pierre Verbaeten	Towards preserving correctness in self-managed software systems.	WOSS	2004	DBLP DOI BibTeX RDF	distributed software compositions, runtime software reconfiguration, software architectures
2	Pakorn Waewsawangwong	A Constraint Architectural Description Approach to Self-Organising Component-Based Software Systems.	ICSE	2004	DBLP DOI BibTeX RDF	architectural description for dynamic software systems, self-organising software architectures
2	Paola Inverardi, Henry Muccini	Software Architectures and Coordination Models.	The Journal of Supercomputing	2003	DBLP DOI BibTeX RDF	UML process, UML, software architecture, coordination
2	Vincenzo Grassi, Raffaela Mirandola	Derivation of Markov Models for Effectiveness Analysis of Adaptable Software Architectures for Mobile Computing.	IEEE Trans. Mob. Comput.	2003	DBLP DOI BibTeX RDF	UML, adaptation, Software architecture, performance analysis, Markov decision process, mobile code, mobile host
2	Matthias Tichy, Holger Giese	Seamless UML Support for Service-Based Software Architectures.	FIDJI	2003	DBLP DOI BibTeX RDF	Development methodologies for UML, service-based architectures, design of distributed Java applications
2	Ralf Reussner, Iman Poernomo, Heinz W. Schmidt	Reasoning about Software Architectures with Contractually Specified Components.	Component-Based Software Quality	2003	DBLP DOI BibTeX RDF
2	Antonia Bertolino, Paola Inverardi, Henry Muccini	Formal Methods in Testing Software Architectures.	SFM	2003	DBLP DOI BibTeX RDF
2	Alessandro Aldini, Marco Bernardo	A General Approach to Deadlock Freedom Verification for Software Architectures.	FME	2003	DBLP DOI BibTeX RDF	software architecture, process algebra, deadlock
2	Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky	ICSE 2003 Workshop on Software Architectures for Dependable Systems. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	Jan Bosch, Natalia Juristo Juzgado	Designing Software Architectures for Usability. (PDF / PS)	ICSE	2003	DBLP DOI BibTeX RDF
2	John C. Knight, Elisabeth A. Strunk	Achieving Critical System Survivability Through Software Architectures.	WADS	2003	DBLP DOI BibTeX RDF
2	Simonetta Balsamo, Marco Bernardo, Marta Simeoni	Performance Evaluation at the Software Architecture Level.	SFM	2003	DBLP DOI BibTeX RDF
2	Valérie Issarny, Apostolos Zarras	Software Architecture and Dependability.	SFM	2003	DBLP DOI BibTeX RDF
2	Axel van Lamsweerde	From System Goals to Software Architecture.	SFM	2003	DBLP DOI BibTeX RDF