Search results for "aspects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
52	John A. Stankovic, Prashant Nagaraddi, Zhendong Yu, Zhimin He, Brian Ellis	Exploiting prescriptive aspects: a design time capability.	EMSOFT	2004	DBLP DOI BibTeX RDF	prescriptive aspects, aspects, component-based design
47	Emilia Katz, Shmuel Katz	Incremental analysis of interference among aspects.	FOAL	2008	DBLP DOI BibTeX RDF	model-checking, specification, interference, detection, aspects
43	Dongfeng Wang, Hui Ma 0006, Farokh B. Bastani, I-Ling Yen	Decomposition of Fairness and Performance Aspects for High-Assurance Continuous Process-Control Systems.	HASE	2004	DBLP DOI BibTeX RDF
42	Rémi Douence, Pascal Fradet, Mario Südholt	Composition, reuse and interaction analysis of stateful aspects.	AOSD	2004	DBLP DOI BibTeX RDF	reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition
40	Jon Oldevik, Øystein Haugen	From sequence diagrams to Java-stairs aspects.	AOSD	2009	DBLP DOI BibTeX RDF	sequence diagram aspects, trace-based aspects, refinement
40	Xuanhui Wang, Deepayan Chakrabarti, Kunal Punera	Mining broad latent query aspects from search sessions.	KDD	2009	DBLP DOI BibTeX RDF	latent user intent, query aspects, search sessions
40	Sven Apel, Christian Kästner, Don S. Batory	Program refactoring using functional aspects.	GPCE	2008	DBLP DOI BibTeX RDF	aspect-oriented refactoring, functional aspects, pseudo-commutativity, stepwise refinement, aspect interactions
40	Weifeng Xu, Dianxiang Xu	State-based testing of integration aspects.	WTAOP	2006	DBLP DOI BibTeX RDF	integration aspects, aspect-oriented programming, model-based testing, integration testing, aspect-oriented modeling, state model
38	Orit Hazzan, Yael Dubinsky	Workshop on human aspects of software engineering.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	organizational aspects, reflection and retrospective processes, software engineering, project management, teamwork, cognitive processes, human aspects, social processes
38	Emilie Marquois-Ogez, Cécile Bothorel	Evaluating the Informational and Social Aspects of Participation in Online Communities.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF	analysis grid, informational aspects, methodology, online communities, agent-based models, participation, social aspects
37	Jörg Kienzle, Ekwa Duala-Ekoko, Samuel Gélineau	AspectOptima: A Case Study on Aspect Dependencies and Interactions.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF	aspect dependencies, aspect collaboration, aspect-oriented language features, aspect binding, inter-aspect ordering, inter-aspect configurability, per-object aspects, reusability, dynamic aspects, aspect interference
37	Oren Mishali, Shmuel Katz	Using aspects to support the software process: XP over Eclipse.	AOSD	2006	DBLP DOI BibTeX RDF	extreme programming, software process, Eclipse, aspects
37	Philippe Y. Massicotte, Linda Badri, Mourad Badri	Aspects-Classes Integration Testing Strategy: An Incremental Approach.	RISE	2005	DBLP DOI BibTeX RDF	AOST, Verification, Interactions, Generation, Sequences, Aspects, Classes, Testing Coverage, Criteria
37	Philippe Y. Massicotte, Mourad Badri, Linda Badri	Generating Aspects-Classes Integration Testing Sequences: A Collaboration Diagram Based Strategy.	SERA	2005	DBLP DOI BibTeX RDF	Aspect-Oriented Software Testing, UML, Interactions, Sequences, Aspects, Classes, Criteria
37	José Luiz Fiadeiro, Amílcar Sernadas	Behavioural Aspects of Intelligent Knowledge-Based Information Systems.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
36	Günther Fliedl, Christian Kop, Willi Mayerthaler, Heinrich C. Mayr, Christian Winkler	Linguistic Aspects of Dynamics in Requirements Specifications.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	linguistic aspects, requirements specification dynamics, natural language requirement specifications, behavioral aspects, NTMS model, semantic contents, conceptual predesign model, automatic mapping, common conceptual models, UML, formal specification, application domain, linguistic analysis
36	Monique Snoeck, Geert Poels	Analogical Reuse of Structural and Behavioral Aspects of Event-Based Object-Oriented Domain Models.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	analogical reuse, structural aspects, behavioural aspects, event-based object-oriented domain models, generic domain model, domain abstraction, hotel administration, car rental company, object life-cycle specification reuse, formal specification, library, object allocation
35	Tsz Hin Ng, Shing-Chi Cheung	Proactive Views on Concrete Aspects: A Pattern Documentation Approach for Software Evolution.	COMPSAC	2003	DBLP DOI BibTeX RDF	crosscutting aspects, Design patterns, software evolution, change management
35	Jan Gerben Wijnstra	Quality Attributes and Aspects of a Medical Product Family.	HICSS	2001	DBLP DOI BibTeX RDF	software architecture, components, aspects, multiple views, quality attributes, development process, product family
33	Paul C. Clements	Early aspects at ICSE: workshop in aspect-oriented requirements engineering and architecture design.	ICSE	2006	DBLP DOI BibTeX RDF	software architecture, requirements engineering, aspects, crosscutting concerns, early aspects
32	Hans-Hellmut Nagel	Reflections on Cognitive Vision Systems.	ICVS	2003	DBLP DOI BibTeX RDF	System aspects, consistency requirements, conceptual system levels, integration of geometric and conceptual aspects, integration of inference engines into vision
32	Mónica Pinto, Ruzanna Chitchyan, Awais Rashid, Ana Moreira 0001, João Araújo 0001, Paul C. Clements, Elisa L. A. Baniassad, Bedir Tekinerdogan	Early aspects at ICSE 2008: workshop on aspect-oriented requirements engineering and architecture design.	ICSE Companion	2008	DBLP DOI BibTeX RDF	software architecture, requirements engineering, software product lines, domain analysis, early aspects
32	Gunter Mussbacher	Aspect-Oriented User Requirements Notation: Aspects in Goal and Scenario Models.	MoDELS (Workshops)	2007	DBLP DOI BibTeX RDF	Aspects, User Requirements Notation, Aspect-oriented Requirements Engineering, Use Case Maps, Goal-oriented Requirement Language
32	Nanbor Wang, Christopher D. Gill, Douglas C. Schmidt, Venkita Subramonian	Configuring Real-Time Aspects in Component Middleware.	CoopIS/DOA/ODBASE (2)	2004	DBLP DOI BibTeX RDF	Real-time aspects, CORBA, Component middleware
32	Welf Löwe, Rainer Neumann, Martin Trapp 0002, Wolf Zimmermann	Robust Dynamic Exchange of Implementation Aspects.	TOOLS (29)	1999	DBLP DOI BibTeX RDF	Implementation Exchange, Library Construction, Datastructures, Robustness
31	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Information Flow Analysis for Probabilistic Timed Automata.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
31	S. Kazem Lellahi	Modeling Data and Objects: An Algebraic View Point.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
30	M. Tuan Tu, Christian Philip Kunze, Winfried Lamersdorf	A Rule Management Framework for Negotiating Mobile Agents.	EDOC	2000	DBLP DOI BibTeX RDF	rule management framework, negotiating mobile agents, rule-based generic services, market transaction, information phase, contracting phase, settlement phase, organizational aspects, technological aspects, automated negotiation process, contract terms determination, business view, transaction view, services view, infrastructure view, middleware, electronic commerce, distributed programming, electronic market, application framework
30	Andreas L. Opdahl, Guttorm Sindre	Representing real-world processes.	HICSS (4)	1995	DBLP DOI BibTeX RDF	real-world process representation, real-world dynamics, static aspects, material processing, formal specification, information systems, information systems, aggregation, systems analysis, diagrams, association, dynamic models, modelling languages, information processing, generalisation, semantic data modelling, data flow diagrams, dynamic aspects, abstraction mechanisms
30	Mei-Chen Hsueh	Large complex system test: objectives and approaches.	ICECCS	1995	DBLP DOI BibTeX RDF	large complex system test, black-box system testing, system test objectives, usage-model approach, system application environments, functional aspects, structure testing technique, nonfunctional aspects, distributed processing, program verification, program testing
30	Shmuel Katz	Aspects and Formal Methods.	FM	2008	DBLP DOI BibTeX RDF	model-checking, specification, interference, detection, Aspects
30	Nan Niu, Steve M. Easterbrook	Analysis of Early Aspects in Requirements Goal Models: A Concept-Driven Approach.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF	goal-oriented requirements analysis, formal concept analysis, early aspects, repertory grid technique
30	Orit Hazzan	Cognitive and social aspects of software engineering: a course framework.	ITiCSE	2003	DBLP DOI BibTeX RDF	cognitive aspect, course framework, software engineering, social aspects
30	Damien Sereni, Oege de Moor	Static analysis of aspects.	AOSD	2003	DBLP DOI BibTeX RDF	meet-over-all-paths, compilers, analysis, regular expressions, aspects
30	Antoine Marot, Roel Wuyts	Composing aspects with aspects.	AOSD	2010	DBLP DOI BibTeX RDF	semantic interference, crosscutting concern, aspect interaction, aspect composition
29	Josep Díaz, Dieter Mitsche, Paolo Santi	Theoretical Aspects of Graph Models for MANETs.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
29	Sajal K. Das 0001, Jing Wang 0010, Ratan K. Ghosh, Rupert Reiger	Algorithmic Aspects of Sensor Localization.	Theoretical Aspects of Distributed Computing in Sensor Networks	2011	DBLP DOI BibTeX RDF
29	Andreas Stein	Real and imaginary hyperelliptic curve cryptography - Aspects of curve cryptography.	Algebraic Aspects of Digital Communications	2009	DBLP DOI BibTeX RDF
29	Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner	08271 Abstracts Collection - Topological and Game-Theoretic Aspects of Infinite Computations.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
29	Peter Hertling, Victor L. Selivanov, Wolfgang Thomas, William W. Wadge, Klaus W. Wagner	08271 Executive Summary - Topological and Game-Theoretic Aspects of Infinite Computations.	Topological and Game-Theoretic Aspects of Infinite Computations	2008	DBLP BibTeX RDF
29	Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele	07101 Executive Summary -- Quantitative Aspects of Embedded Systems.	Quantitative Aspects of Embedded Systems	2007	DBLP BibTeX RDF
29	Boudewijn R. Haverkort, Joost-Pieter Katoen, Lothar Thiele	07101 Abstracts Collection -- Quantitative Aspects of Embedded Systems.	Quantitative Aspects of Embedded Systems	2007	DBLP BibTeX RDF
29	Leon Moonen, Ganesan Ramalingam, Siobhán Clarke	06302 Summary -- Aspects For Legacy Applications.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
29	Siobhán Clarke, Leon Moonen, Ganesan Ramalingam	06302 Abstracts Collection -- Aspects For Legacy Applications.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
29	Silvia Breu, Thomas Zimmermann 0001	Mining Aspects from Version History.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
29	Theodosis Dimitrakos, Fabio Martinelli (eds.)	Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France	Formal Aspects in Security and Trust	2005	DBLP BibTeX RDF
29	Stefano Leonardi 0001, Friedhelm Meyer auf der Heide, Dorothea Wagner	05361 Abstracts Collection - Algorithmic Aspects of Large and Complex Networks.	Algorithmic Aspects of Large and Complex Networks	2005	DBLP BibTeX RDF
29	Julio Collado-Vides, Ralf Hofestädt, Christoph W. Sensen	04281 Abstracts Collection - Integrative Bioinformatics - Aspects of the Virtual Cell.	Integrative Bioinformatics - Aspects of the Virtual Cell	2004	DBLP BibTeX RDF
29	Hristo Koshutanski, Fabio Massacci	An Interactive Trust Management and Negotiation Scheme.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Interactive Trust Management, Interactive Access Control, Credential-Based Systems, Logics for Access Control, Trust Management, Internet Computing, Trust Negotiation
29	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège	A Formal Approach to Specify and Deploy a Network Security Policy.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot	Discretionary Overriding of Access Control in the Privilege Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
29	Christian Haack, Alan Jeffrey	Pattern-Matching Spi-Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Jerry den Hartog, Erik P. de Vink	Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	systematic hardening, simulation, side-channel attack, DPA, power analysis, smartcard, countermeasures, fault analysis
29	Ali E. Abdallah, Etienne J. Khayat	A Formal Model for Parameterized Role-Based Access Control.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Kim-Kwang Raymond Choo, Colin Boyd, Yvonne Hitchcock, Greg Maitland	Complementing Computational Protocol Analysis with Formal Specifications.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams	A Trust Model with Statistical Foundation.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	trust, decision making, utility
29	James Heather, Jonathan Y. Clark	Family Secrets.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan	Reasoning about Secure Interoperation Using Soft Constraints.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	constraint satisfaction, Secure interoperation
29	Laurent Mazaré	Decidability of Opacity with Non-Atomic Keys.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
29	Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro	Security Issues in the Tuple-Space Coordination Model.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Jan Cederquist, Muhammad Torabi Dashti	Formal Analysis of a Fair Payment Protocol.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Lantian Zheng, Andrew C. Myers	Dynamic Security Labels and Noninterference (Extended Abstract).	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu	A Logic for Auditing Accountability in Decentralized Systems.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
29	Gholamreza B. Khosrovshahi, Ali Shokoufandeh, Mohammad Amin Shokrollahi (eds.)	Theoretical Aspects of Computer Science, Advanced Lectures (First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000)	Theoretical Aspects of Computer Science	2002	DBLP DOI BibTeX RDF
29	Umesh V. Vazirani	Fourier Transforms and Quantum Computation.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	Marcos A. Kiwi, Frédéric Magniez, Miklos Santha	Exact and Approximate Testing/Correcting of Algebraic Functions: A Survey.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	János Komlós, Ali Shokoufandeh, Miklós Simonovits, Endre Szemerédi	The Regularity Lemma and Its Applications in Graph Theory.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	Ali Shokoufandeh, Sven J. Dickinson	Graph-Theoretical Methods in Computer Vision.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	Charles J. Colbourn	Multiple Access Communications Using Combinatorial Designs.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	Mohammad Amin Shokrollahi	An Introduction to Low-Density Parity-Check Codes.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	Vijay V. Vazirani	Primal-Dual Schema Based Approximation Algorithms.	Theoretical Aspects of Computer Science	2000	DBLP DOI BibTeX RDF
29	B. Tim Denvir, Ros Herman, Robin W. Whitty (eds.)	Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, UK, 5 May 1991	Formal Aspects of Measurement	1992	DBLP BibTeX RDF
29	S. S. Sritharan	10. Mathematical Aspects of Harmonic Grid Generation.	Mathematical Aspects of Numerical Grid Generation	1991	DBLP DOI BibTeX RDF
29	James M. Bieman, Norman E. Fenton, David A. Gustafson, Austin Melton, Robin W. Whitty	Moving from Philosophy to Practice in Software Measurement.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Norman E. Fenton	Software Measurement: Why a Formal Approach?	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Barbara A. Kitchenham	Never Mind the Metrics What About the Numbers.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Horst Zuse, Peter Bollmann-Sdorra	Measurement Theory and Software Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	David A. Gustafson, Baba Prasad	Properties of Software Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	David A. Gustafson, Ramón A. Mata-Toledo, Richard E. Courtney, Naim Temsamani	A Critique of Validation/Verification Techniques for Software Development Measures.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Robin W. Whitty	Multi-dimensional Software Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Meg Russell	The Mathematics of Measurement in Software Engineering.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Michael D. Rice	Complexity Measures on Trees.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	James M. Bieman	Deriving Measures of Software Reuse in Object Oriented Systems.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Norbert Fuchs, Sieglinde Stainer	Language Independent Definition of Axiomatic Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Martin J. Shepperd	Algebraic Models and Metric Validation.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Austin Melton	Specifying Internal, External, and Predictive Software Metrics.	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
29	Arie Segev, Arie Shoshani	Modeling Temporal Semantics.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Federico Barbic, Roberto Maiocchi	Planning in Time.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Jan L. G. Dietz, Kees M. van Hee	A Framework for the Conceptual Modeling of Discrete Dynamic Systems.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Andreas Oberweis, Georg Lausen	On the Representation of Temporal Knowledge in Office Systems.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	José Carmo, Amílcar Sernadas	A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Nikos A. Lorentzos, Roger G. Johnson	TRA: A Model for a Temporal Relational Algebra.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Marc Moens	Temporal Databases and Natural Language.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Henk M. Blanken, Alle IJbema	Language Concepts for Versioned Hierarchical Objects.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Michel E. Adiba, N. Bui Quang	Dynamic Database Snapshots, Albums and Movies.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Claude Le Pape, Stephen F. Smith	Management of Temporal Constraints for Factory Scheduling.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Shamkant B. Navathe, Rafi Ahmed	TSQL: A Language Interface for History Databases.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	Gad Ariav	Design Requirements for Temporally Oriented Information Systems.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF
29	James Clifford, Ahobala Rao	A Simple, General Structure for Temporal Domains.	Temporal Aspects in Information Systems	1987	DBLP BibTeX RDF