Search results for "aspects"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Thomas Olshewsky	On the Notion of a Rule.	Formal Aspects of Cognitive Processes	1972	DBLP DOI BibTeX RDF
21	Royal Skousen	Empirical Restrictions on the Power of Transformation Grammars.	Formal Aspects of Cognitive Processes	1972	DBLP DOI BibTeX RDF
21	Terrence J. Keeney	Towards a Theory of Linguistic Memory.	Formal Aspects of Cognitive Processes	1972	DBLP DOI BibTeX RDF
21	Sabine Buckl, Florian Matthes, Christian M. Schweda	Conceptual Models for Cross-Cutting Aspects in Enterprise Architecture Modeling.	EDOCW	2010	DBLP DOI BibTeX RDF	cross-cutting aspects, conceptual modeling, enterprise architecture
21	Yusuke Yamamoto, Katsumi Tanaka	Finding Comparative Facts and Aspects for Judging the Credibility of Uncertain Facts.	WISE	2009	DBLP DOI BibTeX RDF	Support of credibility judgment, Mining of comparative facts and aspects for comparison, Web mining, Credibility
21	Haitham S. Hamza, Dina Darwish	On the Discovery of Candidate Aspects in Software Requirements.	ITNG	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Separation of Concerns, Non-functional Requirements, Aspect-Oriented, Early Aspects, Software Stability
21	Bryan Chadwick, Karl J. Lieberherr	A type system for functional traversal-based aspects.	FOAL	2009	DBLP DOI BibTeX RDF	adaptive programming, functional aspects, traversals, type soundness
21	Deepak Dahiya, Sudha Dahiya	Software Reuse in Design and Development of Aspects.	COMPSAC	2008	DBLP DOI BibTeX RDF	AOSDDL, distributed, pattern, aspects, AOSD
21	Ingolf H. Krüger, Reena Mathew, Michael Meisinger	Efficient exploration of service-oriented architectures using aspects.	ICSE	2006	DBLP DOI BibTeX RDF	architecture comparison, distributed reactive systems, software architecture exploration, components, aspect-oriented programming, services, roles, aspects, aspectJ, service-oriented development
21	Hridesh Rajan, Kevin J. Sullivan	Eos: instance-level aspects for integrated system design.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	design, integration, mediators, aspects, C#, instances
21	Krishna R. Pattipati, Samir A. Shah	On the Computational Aspects of Performability Models of Fault-Tolerant Computer Systems.	IEEE Trans. Computers	1990	DBLP DOI BibTeX RDF	scaled conditional moments, computational aspects, continuous-time dynamic system, finite mission time, cascaded system representation, stable algorithms, doubling algorithm, diagonal Pade approximation, reliability, fault tolerant computing, performability models, Markov processes, Markov models, approximation theory, fault-tolerant computer systems, availability models
21	Francisco Afonso, Carlos A. Silva 0002, Sergio Montenegro 0001, Adriano Tavares	Applying aspects to a real-time embedded operating system.	ACP4IS	2007	DBLP DOI BibTeX RDF	aspect oriented programming, modularization, customization
21	Therapon Skotiniotis, David H. Lorenz	Cona: aspects for contracts and contracts for aspects.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	design by contract (DBC), aspect-oriented programming (AOP)
20	Gunter Mussbacher, Daniel Amyot, Jon Whittle 0001	Refactoring-Safe Modeling of Aspect-Oriented Scenarios.	MoDELS	2009	DBLP DOI BibTeX RDF	Aspect-oriented Use Case Maps, Aspects-oriented Modeling, User Requirements Notation
20	Harshavardhan Jegadeesan, Sundar Balasubramaniam	Differentiating Commoditized Services in a Services Marketplace.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	non-functional aspects, ws-policy, service differentiation
20	Éric Tanter	On dynamically-scoped crosscutting mechanisms.	ACM SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	crosscutting mechanisms, dynamic scope, aspect-oriented programming, aspects
20	Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, Davy Suvée	Explicitly distributed AOP using AWED.	AOSD	2006	DBLP DOI BibTeX RDF	distributed language constructs, remote pointcuts, aspects, distributed execution, AWED
20	Miguel Antunes, António Rito Silva	Using Separation and Composition of Concerns to Build Multiuser Virtual Environments.	CRIWG	2000	DBLP DOI BibTeX RDF	composition of concerns, multiuser virtual environments, engineering domain aspects, graphics capabilities, processing power, MUVE systems, continuous technology, software engineering separation of concerns approach, future system evolution, concerns composition, distributed systems, virtual reality, groupware, cooperative work, expressive power, network bandwidth, requirements evolution, MUVE, complex task
20	Eric Bodden, Feng Chen 0006, Grigore Rosu	Dependent advice: a general approach to optimizing history-based aspects.	AOSD	2009	DBLP DOI BibTeX RDF	compilation, domain-specific languages, runtime verification, static program analysis
20	Ruzanna Chitchyan, Mónica Pinto, Safoora Shakil Khan	Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design.	ICSE Companion	2009	DBLP DOI BibTeX RDF
20	Markus Lindgren, Rikard Land, Christer Norström, Anders Wall	Key Aspects of Software Release Planning in Industry.	Australian Software Engineering Conference	2008	DBLP DOI BibTeX RDF	decision-making, software, release planning
20	Paolo Falcarin, Marco Torchiano	Automated Reasoning on Aspects Interactions.	ASE	2006	DBLP DOI BibTeX RDF
20	Lucio Ieronutti, Luca Chittaro	A virtual human architecture that integrates kinematic, physical and behavioral aspects to control H-Anim characters.	Web3D	2005	DBLP DOI BibTeX RDF	virtual humans, H-Anim
20	Tae-hyung Kim, Carl K. Chang	Service-Oriented Design with Aspects (SODA).	IEEE SCC	2005	DBLP DOI BibTeX RDF
20	Marco Casassa Mont	Dealing with Privacy Obligations: Important Aspects and Technical Approaches.	TrustBus	2004	DBLP DOI BibTeX RDF
20	Mika Katara, Shmuel Katz	Architectural views of aspects.	AOSD	2003	DBLP DOI BibTeX RDF
19	Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi, Saeko Matsuura, Seiichi Komiya	Design and Implementation of an Aspect Instantiation Mechanism.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF
19	Dianxiang Xu, Weifeng Xu	State-based incremental testing of aspect-oriented programs.	AOSD	2006	DBLP DOI BibTeX RDF	aspect-oriented state model, incremental testing, aspect-oriented programming, model-based testing, state model
19	Elisa L. A. Baniassad, Siobhán Clarke	Theme: An Approach for Aspect-Oriented Analysis and Design.	ICSE	2004	DBLP DOI BibTeX RDF
18	Ban Al-Ani, Erik H. Trainer, Roger M. Ripley, Anita Sarma, André van der Hoek, David F. Redmiles	Continuous coordination within the context of cooperative and human aspects of software engineering.	CHASE	2008	DBLP DOI BibTeX RDF	continuous coordination, social dependency, software engineering, collaboration, awareness, cooperation
18	Carlos Enrique Cuesta Quintero, María Pilar Romay Rodríguez, Pablo de la Fuente, Manuel Barrio-Solórzano	Architectural Aspects of Architectural Aspects.	EWSA	2005	DBLP DOI BibTeX RDF
18	Alejandro López-Ortiz	Search Engines and Web Information Retrieval.	CAAN	2004	DBLP DOI BibTeX RDF
18	Stephen J. Hegner	Computational and Structural Aspects of Openly Specified Type Hierarchies.	LACL	1998	DBLP DOI BibTeX RDF
18	Simone Tini	Timed CCP compositionally embeds Argos and Lustre.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Engineering design languages, Compositional embedding, Expressiveness, Synchronous languages
18	Mirabelle Nebut	Specification and analysis of synchronous reactions.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Synchronous paradigm, Modelling and handling of variable absence, Specification, Clocks
18	Antónia Lopes, José Luiz Fiadeiro	Superposition: composition vs refinement of non-deterministic, action-based systems.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Composition, Refinement, Superposition
18	María-del-Mar Gallardo, Pedro Merino 0001, Ernesto Pimentel 0001	A generalized semantics of PROMELA for abstract model checking.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Model checking, Abstraction, spin, Structured operational semantics, promela
18	Cliff B. Jones	Editorial.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF
18	Diego Latella, István Majzik, Mieke Massink	Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	UML Statechart Diagrams, Model-checking, Program transformation, SPIN, PROMELA
18	Richard Banach, Michael Poppleton	Sharp Retrenchment, Modulated Refinement and Simulation.	Formal Aspects Comput.	1999	DBLP DOI BibTeX RDF	Simulation, Refinement, B-Method, Retrenchment
18	Luc Léonard, Guy Leduc	A Formal Definition of Time in LOTOS.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	ET-LOTOS, Negative premises, Real time, Operational semantics, LOTOS
17	Eddy Truyen, Nico Janssens, Frans Sanen, Wouter Joosen	Support for distributed adaptations in aspect-oriented middleware.	AOSD	2008	DBLP DOI BibTeX RDF	DyRes, JBoss AOP, Spring AOP, distributed aspects, run-time aspect weaving, dynamic reconfiguration
17	Xuanhui Wang, ChengXiang Zhai	Learn from web search logs to organize search results.	SIGIR	2007	DBLP DOI BibTeX RDF	interesting aspects, search engine logs, search result organization
17	Gerhard Leitner, Stefan Plattner, Martin Hitz	Usability Evaluation of mobile Applications in leisure-oriented Contexts.	ENTER	2006	DBLP DOI BibTeX RDF	Contextual aspects, Observation, Mobile Usability
17	Jameleddine Hassine, Juergen Rilling, Rachida Dssouli	Timed Use Case Maps.	SAM	2006	DBLP DOI BibTeX RDF	timing aspects, timed UCM, Clocked Transition Systems, performance, User Requirements Notation, Use Case Maps
17	Emilia Katz, Shmuel Katz	Verifying Scenario-Based Aspect Specifications.	FM	2005	DBLP DOI BibTeX RDF	convenient executions, model-checking, scenarios, Aspects, conformance
17	J. Rajesh, D. Janakiram	JIAD: a tool to infer design patterns in refactoring.	PPDP	2004	DBLP DOI BibTeX RDF	facts-base, intent-aspects (IAs), predicate-templates, design pattern (DP), prolog, refactoring, object-oriented systems, rule-base, declarative programming
17	Venkita Subramonian, Christopher D. Gill	A Generative Programming Framework for Adaptive Middleware.	HICSS	2004	DBLP DOI BibTeX RDF	adaptive and reflective middleware, system aspects, generative programming, first order logic
17	Bashar Nuseibeh	Crosscutting requirements.	AOSD	2004	DBLP DOI BibTeX RDF	overlapping viewpoints, requirements engineering, multiple views, early aspects
17	DeLesley Hutchins	The power of symmetry: unifying inheritance and generative programming.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	covariant specialization, generative components, mixin layers, virtual types, aspect-oriented programming, prototypes, code generation, generative programming, partial evaluation, aspects, meta-programming, parametric polymorphism, multiple inheritance, mixins, transformation systems, virtual classes, generic types, join points
17	David E. Losada, Alvaro Barreiro	Retrieval Situations and Belief Change.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	retrieval situations, situational aspects, relevance test, belief revision operator, retrieval simulation, information retrieval, belief change, information retrieval models, logical representation
17	Hans-Arno Jacobsen, Bernd J. Krämer	Modeling Interface Definition Language Extensions.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	interface definition language extensions, module names, interface names, operation signatures, pre-conditions, post-conditions, service quality annotations, real-time annotations, combined modeling language, CORBA middleware platform, semantic aspects specification, XML document type definitions, Extensible Style Language, quality of service, Extensible Markup Language, specification languages, invariants, synchronisation, client-server systems, subroutines, distributed object management, XSL, OMG, hypermedia markup languages, synchronization constraints
17	Karsten Schulz, Zoran Milosevic	Architecting Cross-Organisational B2B Interactions.	EDOC	2000	DBLP DOI BibTeX RDF	cross-organisational B2B interaction architecting, business procedures, electronic interconnectivity, workflow standards bodies, competitive edge, inter-organisational aspects, private business processes, shared business processes, interaction points, shared processes, process tasks, modelling ideas, data structures, business processes, confidentiality, workflow management systems, IT systems, process automation, process orientation, workflow management software, internal structures
17	Stephanos E. Michos, Nikos Fakotakis, Georgios Kokkinakis	Enhancing Text Retrieval by Using Advanced Stylistic Techniques.	J. Intell. Robotic Syst.	1999	DBLP DOI BibTeX RDF	functional style, writers attitude, topic disambiguation, pragmatic aspects, natural language processing, text retrieval, empirical methods
17	Byron Purves	An intermediate language for system engineering.	ECBS	1997	DBLP DOI BibTeX RDF	Alfonse, personal computer environment, human interface aspects, system engineering, open systems, tool interoperability, intermediate language
17	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
17	Joseph E. Urban, Hankyu Joo	Executable specifications for distributed software systems.	FTDCS	1995	DBLP DOI BibTeX RDF	front-end life cycle, upper CASE aspects, core software requirements, management component, distributed development teams, techniques/tools component, specification language development, formal specification, Petri nets, distributed algorithms, distributed computing, software development, temporal logic, distributed processing, specification languages, computer aided software engineering, executable specifications, distributed software systems
17	Christian Gierlinger, A Min Tjoa, Roland R. Wagner	A Methodology for Computer Aided Modelling of Information Systems Based on the Extended Entity Relationship Model BIER.	EUROCAST	1991	DBLP DOI BibTeX RDF	extended E-R diagram, behaviour diagram, data modelling, dynamic aspects
17	Kung Chen, Jia-Yin Lin, Shu-Chun Weng, Siau-Cheng Khoo	Designing aspects for side-effect localization.	PEPM	2009	DBLP DOI BibTeX RDF	lazy semantics, aspect-oriented programming, side-effect
17	Emilia Katz, Shmuel Katz	Modular Verification of Strongly Invasive Aspects.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
17	Victor Manuel García-Barrios	User-centric Privacy Framework: Integrating Legal, Technological and Human Aspects into User-Adapting Systems.	CSE (3)	2009	DBLP DOI BibTeX RDF
17	Mario Luca Bernardi, Giuseppe A. Di Lucca	A Taxonomy of Interactions Introduced by Aspects.	COMPSAC	2008	DBLP DOI BibTeX RDF	Aspect Oriented Programming, Software Quality, Program comprehension
17	Éric Tanter	Expressive scoping of dynamically-deployed aspects.	AOSD	2008	DBLP DOI BibTeX RDF
17	Pablo Sánchez 0002, Lidia Fuentes, Andrew Jackson 0003, Siobhán Clarke	Aspects at the Right Time.	T. Aspect-Oriented Software Development	2007	DBLP DOI BibTeX RDF
17	Yijun Yu, Nan Niu, Bruno González-Baixauli, William Candillon, John Mylopoulos, Steve M. Easterbrook, Julio César Sampaio do Prado Leite, Gilles Vanwormhoudt	Tracing and Validating Goal Aspects.	RE	2007	DBLP DOI BibTeX RDF
17	Andrew Jackson 0003, Iris Groher, Christa Schwanninger, Markus Völter	Models and Aspects - Handling Crosscutting Concerns in MDSD.	ECOOP Workshops	2007	DBLP DOI BibTeX RDF
17	Dong Ha Nguyen, Mario Südholt	Property-Preserving Evolution of Components Using VPA-Based Aspects.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
17	Omar Ochoa, Irbis Gallegos, Steve Roach, Ann Q. Gates	Towards a Tool for Generating Aspects from MEDL and PEDL Specifications for Runtime Verification.	RV	2007	DBLP DOI BibTeX RDF	Java-MaC, Aspect Oriented Programming, Runtime Verification, Runtime Monitoring, Software Assurance
17	Xiaofeng Ren	Learning and Matching Line Aspects for Articulated Objects.	CVPR	2007	DBLP DOI BibTeX RDF
17	Eddy Truyen, Wouter Joosen	Run-Time and Atomic Weaving of Distributed Aspects.	T. Aspect-Oriented Software Development	2006	DBLP DOI BibTeX RDF	aspect-oriented middleware, run-time weaving
17	Sven Apel, Thomas Leich, Gunter Saake	Aspectual mixin layers: aspects and features in concert.	ICSE	2006	DBLP DOI BibTeX RDF	component techniques, collaborations, aspect-oriented programming, feature-oriented programing
17	Jorge Fox, Jan Jürjens	Introducing Security Aspects with Model Transformations.	ECBS	2005	DBLP DOI BibTeX RDF
17	Rami N. Hasan, Mansur H. Samadzadeh	A Study of Tunnel Vision and Rotation as Aspects of Web Site Visibility.	ITCC (2)	2005	DBLP DOI BibTeX RDF
17	Maurice H. ter Beek, Mieke Massink, Diego Latella	Towards Model Checking Stochastic Aspects of the thinkteam User Interface.	DSV-IS	2005	DBLP DOI BibTeX RDF
17	Johannes Maria Zaha	Automated Compatibility Tests for Business Related Aspects of Software Components.	OTM Workshops	2004	DBLP DOI BibTeX RDF	Compatibility test, software reuse, software components
17	Maja D'Hondt, Viviane Jonckers	Hybrid aspects for weaving object-oriented functionality and rule-based knowledge.	AOSD	2004	DBLP DOI BibTeX RDF
17	Granville Miller	Refactoring with Aspects.	XP	2003	DBLP DOI BibTeX RDF
17	Sara Bouchenak, Fabienne Boyer, Noel De Palma, Daniel Hagimont	Can Aspects Be Injected? Experience with Replication and Protection.	OTM	2003	DBLP DOI BibTeX RDF
17	Robert Hirschfeld	AspectS - Aspect-Oriented Programming with Squeak.	NetObjectDays	2002	DBLP DOI BibTeX RDF
17	Thomas Vestdam, Kurt Nørmark	Aspects of Internal Program Documentation - An Elucidative Perspective.	IWPC	2002	DBLP DOI BibTeX RDF
17	Maria Wimmer 0001, Bianca von Bredow	A Holistic Approach to Security Aspects in E-government.	HICSS	2002	DBLP DOI BibTeX RDF	Security, e-Government, holistic approach
17	Frédéric Duclos, Jacky Estublier, Philippe Morat	Describing and using non functional aspects in component based applications.	AOSD	2002	DBLP DOI BibTeX RDF	non-functional or extra functional aspect, component, generative programming, component based software engineering, container, component model, component framework
17	Monique Snoeck, Geert Poels	Improving the Reuse Possibilities of the Behavioral Aspects of Object-Oriented Domain Models.	ER	2000	DBLP DOI BibTeX RDF
17	Cristina Videira Lopes	Modularization Revisited: Aspects in the Design and Evolution of Software Systems.	TOOLS (30)	1999	DBLP DOI BibTeX RDF
17	David Holmes, James Noble 0001, John Potter	Aspects of Synchronization.	TOOLS (25)	1997	DBLP DOI BibTeX RDF	concurrency, object-oriented, synchronisation, aspect-oriented
17	Mika Katara, Shmuel Katz	A concern architecture view for aspect-oriented software design.	Softw. Syst. Model.	2007	DBLP DOI BibTeX RDF	UML, Aspect orientation, Design concepts
17	Tao Xie 0001, Jianjun Zhao 0001	A framework and tool supports for generating test inputs of AspectJ programs.	AOSD	2006	DBLP DOI BibTeX RDF	coverage measurement, software testing, aspect-oriented programs, test generation, aspect-oriented software development, AspectJ, coverage criteria
17	Guoqing Xu 0001, Zongyuan Yang, Haitao Huang, Qian Chen II, Ling Chen, Fengbin Xu	JAOUT: Automated Generation of Aspect-Oriented Unit Test.	APSEC	2004	DBLP DOI BibTeX RDF
16	Mathieu Hoyrup	Topological Aspects of Representations in Computable Analysis. (Aspects Topologiques des Représentations en Analyse Calculable).		2023	RDF
16	Martin Durand	Axiomatic and computational aspects of discrete optimization problems in collective settings : from Multi-Agent Scheduling to Participatory Budgeting. (Aspects axiomatiques et computationnels de problèmes d'optimisation discrète dans des contextes collectifs : de l'ordonnancement multi-agents au budget participatif).		2023	RDF
16	Filippo Brunelli	Algorithmic aspects of reachability in temporal graphs. (Aspects algorithmiques de l'atteignabilité dans les graphes).		2023	RDF
16	Magdaléna Tydrichová	Structural and algorithmic aspects of preference domain restrictions in collective decision making : contributions to the study of single-peaked and Euclidean preferences. (Aspects structurels et algorithmiques des restrictions de domaines de préférences dans la prise de décision collective : contributions à l'étude des préférences unimodales et Euclidiennes).		2023	RDF
16	Quoc-Tung Le	Algorithmic and theoretical aspects of sparse deep neural networks. (Aspects algorithmiques et th 'eoriques des r 'eseaux de neurones profonds parcimonieux).		2023	RDF
16	Aristeidis Karras, Christos N. Karras, Nikolaos Schizas, Spyros Sioutas, Christos D. Zaroliagis	Algorithmic Aspects of Distributed Hash Tables on Cloud, Fog, and Edge Computing Applications: A Survey.	ALGOCLOUD	2023	DBLP DOI BibTeX RDF
16	Zhiming Liu 0001, Jiadong Teng, Bo Liu 0033	Formal Aspects of Component Software - An Overview on Concepts and Relations of Different Theories.	FACS	2023	DBLP DOI BibTeX RDF
16	Eléa Thibault Greugny	Computational modeling approaches to multifactorial aspects of atopic dermatitis. (Approches de modélisation computationnelle des aspects multifactoriels de la dermatite atopique).		2022	RDF
16	Stefania Costantini, Andrea Formisano 0001, Valentina Pitoni	Cognitive Aspects in Epistemic Logic L-DINF.	CAKR@IJCAI	2022	DBLP BibTeX RDF
16	Anna-Lena Meiners, Jessica Kollmorgen, Martin Schrepp, Jörg Thomaschewski	Which UX Aspects Are Important for a Software Product?: Importance Ratings of UX Aspects for Software Products for Measurement with the UEQ+.	MuC	2021	DBLP DOI BibTeX RDF
16	Neville A. Stanton (eds.)	Advances in Human Aspects of Transportation - Proceedings of the AHFE 2021 Virtual Conference on Human Aspects of Transportation, July 25-29, 2021, USA	AHFE (12)	2021	DBLP DOI BibTeX RDF
16	Benjamin Nast, Kurt Sandkuhl	Meta-Model and Tool Support for the Organizational Aspects of Internet-of-Things Development Methods: Organizational Aspects of IoT Development Methods.	AISS	2021	DBLP DOI BibTeX RDF