Search results for "goals"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
19	M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer	Goal-oriented modularity in agent programming.	AAMAS	2006	DBLP DOI BibTeX RDF	semantics, modularity, agent programming languages, declarative goals
19	Søren Lauesen, Jens Vium	Communication gaps in a tender process.	Requir. Eng.	2005	DBLP DOI BibTeX RDF	Tender process, Integration requirements, Task and support, Use cases, COTS, Software requirements, Business goals
19	Erol Gelenbe	User Cooperation and Search in Intelligent Networks.	WAC	2005	DBLP DOI BibTeX RDF	Network Intelligence, Users and Services, User Goals and Quality of Service, Cognitive Packet Networks, Autonomic Networks
19	Søren Lauesen	Task Descriptions as Functional Requirements.	IEEE Softw.	2003	DBLP DOI BibTeX RDF	tender process, validation, requirements, use cases, COTS, business goals, task descriptions
19	Thomas M. Graefe, Susan L. Keenan, Karen C. Bowen	Meeting the challenge of measuring return on investment for user centered development.	CHI Extended Abstracts	2003	DBLP DOI BibTeX RDF	user centered activities, measures, objectives, goals, return on investment
19	Kapali Viswanathan, Colin Boyd, Ed Dawson	An Analysis of Integrity Services in Protocols.	INDOCRYPT	2001	DBLP DOI BibTeX RDF	representation of cryptologic goals, integrity, Confidentiality
19	Kristin Zibell	Klare's "useful information" ist useful for Web designers.	ACM J. Comput. Documentation	2000	DBLP DOI BibTeX RDF	web architecture, user goals, audience analysis
19	Steffen Lipperts	On the Efficient Deployment of Mobility in Distributed System Management.	DEXA Workshops	2000	DBLP DOI BibTeX RDF	mobility deployment, future networks, disruptive links, competing goals, performance evaluation, mobile computing, mobile agents, nondeterminism, utility theory, prototype implementation, distributed system management, enabling technology
19	Uwe Jendricke, Daniela Gerd tom Markotten	Usability Meets Security -The Identity-Manager as Your Personal Security Assistant for the Internet.	ACSAC	2000	DBLP DOI BibTeX RDF	security mechanism usability, protection goals, personal security assistant, security functions configuration, security functionality, user identity selection, inexperienced users, security needs negotiation, Internet, user interfaces, user interface, human factors, Identity-Manager, personal computing, Internet applications, authorisation, telecommunication security
19	Bill Davey, Clive Mathews	A model for information support of environmental management systems.	ISCNZ	1996	DBLP DOI BibTeX RDF	information support, environmental management systems, Australian Chief Financial Officers, company policy, companies, research findings, organisational goals, information systems, information systems, enterprise information systems, Australia, literature, Information Systems Managers
19	Robert E. Filman, Ted Linden	Communicating security agents.	WETICE	1996	DBLP DOI BibTeX RDF	communicating security agents, dynamically confederating security agents, preexisting applications, security goals, linguistic mechanisms, compilation mechanisms, application components, algorithmic definitions, agent code fragments, compilation mechanism, cost effective generation, redundant agents, subverted elements, computer networks, security models
19	Mark S. Fox, Mihai Barbuceanu, Michael Grüninger	An organisation ontology for enterprise modelling: preliminary concepts for linking structure and behaviour.	WETICE	1995	DBLP DOI BibTeX RDF	organisation ontology, TOVE enterprise model, organisation agent, status changing actions, communication, authority, structure, roles, positions, commitment, goals, enterprise modelling, office automation, management information systems, behaviour, empowerment, corporate modelling
19	Jen-Yao Chwng, Donald F. Ferguson, George Wang, Christos Nikolaou, Jim Teng	Goal-oriented dynamic buffer pool management for data base systems.	ICECCS	1995	DBLP DOI BibTeX RDF	goal-oriented dynamic buffer pool management, dynamic buffer pool size adjustment, multiple buffer pools, complex constrained optimization problem, random access response time goal, database workload, pre-defined response time goals, goal satisfaction algorithm, dynamic tuning, relational databases, optimisation, database management systems, transaction processing, storage management, trace driven simulations, buffer storage, virtual storage
19	Martyn Thomas, Frank E. McGarry	Top-Down vs. Bottom-Up Process Improvement.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	bottom-up process improvement, generally accepted standard process, new software, organization goals, product attributes, local domain, accepted practices, defect-free software, software quality, project management, process change, bottom-up approach, top-down approach
19	Norman F. Schneidewind	Methodology For Validating Software Metrics.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	comprehensive metrics validation methodology, quality functions, software organizations, project quality goals, nonparametric statistical methods, discriminative power validity criterion, metrics validation process, predictability, tracking, software metrics, software metrics, software reliability, program verification, quality control, repeatability, contingency tables, discriminative power, validity criteria
19	Fatemeh Zahedi, Noushin Ashrafi	Software Reliability Allocation Based on Structure, Utility, Price, and Cost.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	software reliability allocation, reliability goals, project control, performance evaluation, software reliability, structure, cost, price, utility, reliability theory
19	Jeannette M. Wing, Mark R. Nixon	Extending Ina Jo with Temporal Logic.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ina Jo, language design goals, temporal logic, specification language, specification languages, expressiveness, proof system, decisions
19	Laurent Sikóssy	Impertinent Question-Answering Systems: justification and theory.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	Artificial intelligence, User model, Discontinuity, Question answering systems, Data base management systems, User goals
18	Qi Guo 0002, Eugene Agichtein	Ready to buy or just browsing?: detecting web searcher goals from interaction data.	SIGIR	2010	DBLP DOI BibTeX RDF	search advertising, search behavior modeling, user intent inference
18	Kees Goossens, Andreas Hansson 0001	The aethereal network on chip after ten years: goals, evolution, lessons, and future.	DAC	2010	DBLP DOI BibTeX RDF	network on chip, rate control, circuit switching
18	Eyhab Al-Masri, Qusay H. Mahmoud	Web Service Discovery and Client Goals.	Computer	2009	DBLP DOI BibTeX RDF
18	Paloma Díaz 0001, Mary Beth Rosson, Ignacio Aedo, John M. Carroll 0001	Web Design Patterns: Investigating User Goals and Browsing Strategies.	IS-EUD	2009	DBLP DOI BibTeX RDF	web design patterns, design, end-user development
18	Almudena Ruiz-Iniesta, Guillermo Jiménez-Díaz, Mercedes Gómez-Albarrán	User-Adaptive Recommendation Techniques in Repositories of Learning Objects: Combining Long-Term and Short-Term Learning Goals.	EC-TEL	2009	DBLP DOI BibTeX RDF	User-adaptive Learning, Content-based Recommendation Techniques, Personalization, Learning Objects
18	Dustin Arthur Smith, Henry Lieberman	Recognizing and using goals in event management.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	user modeling, PIM, calendaring, common sense, event management
18	Christopher Amato, Shlomo Zilberstein	Achieving goals in decentralized POMDPs.	AAMAS (1)	2009	DBLP BibTeX RDF
18	Rudolf Felix	Real world applications of a fuzzy decision model based on relationships between goals for finance services and sequencing for the assembly of cars.	Soft Comput.	2008	DBLP DOI BibTeX RDF
18	Alfred Kirigha, Neema-Abooki	Systemic Design of Instruction On Achieving The Goals of Undergraduate Level Education in Universities: A Case Study of Makerere University.	Innovative Techniques in Instruction Technology, E-learning, E-assessment, and Education	2008	DBLP DOI BibTeX RDF	ADDIE: Analysis, Implementation and Evaluation, FCIT: Faculty of Computing and Information Technologies, ICT: Information Communication Technologies, MANCOVA: Multiple Analysis of Covariance, SOE: School of Education, Design, Development
18	Sanjay Modgil, Michael Luck	Argumentation Based Resolution of Conflicts between Desires and Normative Goals.	ArgMAS	2008	DBLP DOI BibTeX RDF
18	Yijun Yu, Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Julio César Sampaio do Prado Leite	From Goals to High-Variability Software Design.	ISMIS	2008	DBLP DOI BibTeX RDF
18	Alessio Gugliotta, Stefan Dietze, John Domingue	A Situations & Goals Semantic Model for Designing and Implementing Semantic Web Services-based Processes.	IEEE SCC (2)	2008	DBLP DOI BibTeX RDF	semantic web services, semantic model, situation
18	Andreas Jürgen Lachenmann, Pedro José Marrón, Daniel Minder, Kurt Rothermel	Meeting lifetime goals with energy levels.	SenSys	2007	DBLP DOI BibTeX RDF	lifetime goal, wireless sensor network, energy, programming abstraction
18	Patricia H. Shaw, Rafael H. Bordini	Towards Alternative Approaches to Reasoning About Goals.	DALT	2007	DBLP DOI BibTeX RDF
18	Marek Makowski	Rational governance of conflicting goals, uncertainties and risks.	SMC	2007	DBLP DOI BibTeX RDF
18	Lu Yin, Yixin Yin, Xuyan Tu, Daoping Jiang, Guobao Xu	An Improved Method of Sensor-Based Path Planning Using Instant Goals.	FSKD (4)	2007	DBLP DOI BibTeX RDF
18	Kuan-Yu He, Yao-Sheng Chang, Wen-Hsiang Lu	Improving Identification of Latent User Goals through Search-Result Snippet Classification.	Web Intelligence	2007	DBLP DOI BibTeX RDF
18	Jinpeng Huai, Xianxian Li, Wenyi Zhang, Jun Han, Yongzhen Zhuang	A Software Protocol of Goals and Operations Based on BDI Model.	SUTC (1)	2006	DBLP DOI BibTeX RDF
18	Birgit Korherr, Beate List	Extending the UML 2 Activity Diagram with Business Process Goals and Performance Measures and the Mapping to BPEL.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
18	Fabiel Zúñiga, Félix F. Ramos Corchado, H. Iván Piza	Specifying Agent's Goals in 3D Scenarios Using Process Algebras.	ISSADS	2005	DBLP DOI BibTeX RDF
18	Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee	Fluent-based web animation: exploring goals for requirements validation.	ICSE	2005	DBLP DOI BibTeX RDF	modelling, design, animation, validation, requirements
18	Jürg Nievergelt	Why Teach Introductory Computer Science? Reconciling Diverse Goals and Expectations.	ISSEP	2005	DBLP DOI BibTeX RDF
18	M. Jamshid Bagherzadeh, S. Arun-Kumar	Layered Clausal Resolution in the Multi-modal Logic of Beliefs and Goals.	LPAR	2004	DBLP DOI BibTeX RDF	proof method, multi-agent systems, resolution, belief revision, multi-modal logic
18	Esther Hochsztain, Socorro Millán, B. Pardo, José M. Peña 0002, Ernestina Menasalvas Ruiz	A Framework to Integrate Business Goals in Web Usage Mining.	AWIC	2003	DBLP DOI BibTeX RDF
18	Rudolf Felix	Calculating Limit Decisions in Factoring Using a Fuzzy Decision Model Based on Interactions between Goals.	IFSA	2003	DBLP DOI BibTeX RDF
18	Minseong Kim, Hwasil Yang, Sooyong Park	A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features.	APSEC	2003	DBLP DOI BibTeX RDF
18	Emmanuel Letier, Axel van Lamsweerde	Deriving operational software specifications from system goals.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	incremental specification, reasoning about partial models, patterns, goal-oriented requirements engineering, KAOS, operationalization, frame problem
18	Michael A. Gilbert	Getting Good Value. Facts, Values, and Goals in Computational Linguistics.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
18	Dirk Hamann, Andrew Beitz, Markus Müller, Rini van Solingen	Using FAME Assessments to Define Measurement Goals.	IWSM	2000	DBLP DOI BibTeX RDF
18	Joshua D. Guttman	Security Goals: Packet Trajectories and Strand Spaces.	FOSAD	2000	DBLP DOI BibTeX RDF
18	Hisashi Hayashi	Knowledge Assimilation and Proof Restoration Through the Addition of Goals.	AIMSA	1998	DBLP DOI BibTeX RDF
18	Jyrki Kontio, Gianluigi Caldiera, Victor R. Basili	Defining factors, goals and criteria for reusable component evaluation.	CASCON	1996	DBLP BibTeX RDF
18	Alan Chmura, Henry David Crockett	Tools To Align Goals And Information Systems.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
18	Sase Narine Singh, Carson Woo	Investigating business-IT alignment through multi-disciplinary goal concepts.	Requir. Eng.	2009	DBLP DOI BibTeX RDF	Goal-based frameworks, Requirements engineering, Business-IT alignment
18	Travis D. Breaux, Annie I. Antón, Jon Doyle	Semantic parameterization: A process for modeling domain descriptions.	ACM Trans. Softw. Eng. Methodol.	2008	DBLP DOI BibTeX RDF	formal specification, Natural language, description logic, domain knowledge
18	Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin	Strategic Agent Communication: An Argumentation-Driven Approach.	DALT	2008	DBLP DOI BibTeX RDF	Complexity, Argumentation, Agent Communication, Strategic Reasoning, Social Commitments
18	Viji R. Avali, Michael N. Huhns	Commitment-Based Multiagent Decision Making.	CIA	2008	DBLP DOI BibTeX RDF	Commitments, BDI, CTL*
18	Phan Minh Dung, Phan Minh Thang, Nguyen Duy Hung	Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.	CLIMA	2008	DBLP DOI BibTeX RDF
18	Elspeth Golden, Len Bass	Creating Meaningful Assessments for Professional Development Education in Software Architecture.	CSEE&T	2007	DBLP DOI BibTeX RDF
18	Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Myrna Regardie, Adam Trendowicz	GQM+ Strategies - Aligning Business Strategies with Software Measurement.	ESEM	2007	DBLP DOI BibTeX RDF
18	Jaap Gordijn, Michaël Petit, Roel J. Wieringa	Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling.	RE	2006	DBLP DOI BibTeX RDF
18	Alexander Pokahr, Lars Braubach, Winfried Lamersdorf	A Goal Deliberation Strategy for BDI Agent Systems.	MATES	2005	DBLP DOI BibTeX RDF
18	Haeng-Kon Kim	A Study on the Mechanism for Mobile Embedded Agent Development Based on Product Line.	ICCSA (3)	2005	DBLP DOI BibTeX RDF	ABCD Agents, Multi-Agent Systems, Logic Programming, Negotiation, ACL
18	Leila Amgoud, Henri Prade	Formal handling of threats and rewards in a negotiation dialogue.	AAMAS	2005	DBLP DOI BibTeX RDF	negotiation, argumentation
18	Emmanuel Letier, Axel van Lamsweerde	Reasoning about partial goal satisfaction for requirements and design engineering.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	partial satisfaction of requirements, probabilistic requirements modeling, reasoning about design alternatives, non-functional requirements, goal-oriented requirements engineering
18	Robert O. Briggs, Sajda Qureshi, Bruce A. Reinig	Satisfaction Attainment Theory as a Model for Value Creation.	HICSS	2004	DBLP DOI BibTeX RDF
18	Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni	Planning Partially for Situated Agents.	CLIMA	2004	DBLP DOI BibTeX RDF
18	Evangelia Kavakli	Goal-Oriented Requirements Engineering: A Unifying Framework.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Goal analysis, Goal modelling, Goal-oriented requirements engineering, Method integration
18	Alexandra M. Coddington	A Continuous Planning Framework with Durative Actions.	TIME	2002	DBLP DOI BibTeX RDF
18	Mark Bearden, Sachin Garg, Woei-Jyh Lee	Integrating Goal Specification in Policy-Based Management.	POLICY	2001	DBLP DOI BibTeX RDF
18	Axel van Lamsweerde, Emmanuel Letier	Handling Obstacles in Goal-Oriented Requirements Engineering.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	high-level exception handling, obstacle-based requirements transformation, defensive requirements specification, Goal-oriented requirements engineering, lightweight formal methods, specification refinement
18	Gina Kingston, D. Ross Jeffery, Wayne Huang 0001	An Explanatory Study on the Goal Alignment Problem in Joint Software Reviews.	Australian Software Engineering Conference	2000	DBLP DOI BibTeX RDF	joint software review, goal alignment, Software review
18	Axel van Lamsweerde, Robert Darimont, Emmanuel Letier	Managing Conflicts in Goal-Driven Requirements Engineering.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Goal-driven requirements engineering, divergent requirements, specification transformation, viewpoints, lightweight formal methods, conflict management
18	Robert Darimont, Axel van Lamsweerde	Formal Refinement Patterns for Goal-Driven Requirements Elaboration.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	goal-drive requirements engineering, reuse of specifications and proof, formal methods, design patterns, refinement
15	Tim Pidun, Johannes Buder, Carsten Felden	Optimizing Process Performance Visibility through Additional Descriptive Features in Performance Measurement.	EDOCW	2011	DBLP DOI BibTeX RDF	Non-numeric, Process Performance Management, Business Performance Measurement, Performance Measurement System, Performance Assessment Syste, Ontologies, Performance, Semantics, Metrics, Generic, Visibility, BPM, Goals, Indicator, Descriptive, KPI, Indirect
15	João Paulo A. Almeida, Evellin Cristine Souza Cardoso, Giancarlo Guizzardi	On the Goal Domain in the RM-ODP Enterprise Language: An Initial Appraisal Based on a Foundational Ontology.	EDOCW	2010	DBLP DOI BibTeX RDF	enterprise viewpoint, social concepts, objectives, goals, foundational ontology
15	Evellin Cristine Souza Cardoso, João Paulo A. Almeida, Renata S. S. Guizzardi	On the Support for the Goal Domain in Enterprise Modelling Approaches.	EDOCW	2010	DBLP DOI BibTeX RDF	business processes, survey, goals, enterprise modelling
15	Roman V. Efremov, Georgy K. Kamenev	Properties of a method for polyhedral approximation of the feasible criterion set in convex multiobjective problems.	Ann. Oper. Res.	2009	DBLP DOI BibTeX RDF	Polyhedral approximation, Estimation refinement method, Feasible goals method, Multicriteria optimization
15		A Research in Using Particle Swarm to Optimize Da Qing's Industrial Structure of Agriculture.	IFITA (3)	2009	DBLP DOI BibTeX RDF	Agricultural industrial structure, Multi-goals optimized models, particle swarm optimization
15	Sunny Consolvo, Predrag V. Klasnja, David W. McDonald, James A. Landay	Goal-setting considerations for persuasive technologies that encourage physical activity.	PERSUASIVE	2009	DBLP DOI BibTeX RDF	goal source, goal strategy, goal timeframe, persuasive technology, goals, physical activity, behavior change, goal-setting
15	Sonja Pedell, Tim Miller 0001, Frank Vetere, Leon Sterling, Steve Howard, Jeni Paay	Having fun at home: interleaving fieldwork and goal models.	OZCHI	2009	DBLP DOI BibTeX RDF	domestic domain, quality goals, probes, fieldwork, agent-oriented modelling
15	Célia da Costa Pereira, Andrea Tettamanzi	Goal generation from beliefs based on trust and distrust.	AAMAS (2)	2009	DBLP BibTeX RDF	desires and goals, fuzzy logic, beliefs
15	Cristiano Castelfranchi, Fabio Paglieri	The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions.	Synth.	2007	DBLP DOI BibTeX RDF	Goal dynamics, Intention revision, Goals, Intentions, Belief change
15	Gavriel Yarmish, Danny Kopec	Revisiting novice programmer errors.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	advanced novice programmers, intermediate programmers, plans and goals, programmer errors, semantic analysis
15	Danny Kopec, Gavriel Yarmish, Patrick Cheung	A description and study of intermediate student programmer errors.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	advanced novice programmers, intermediate programmers, plans and goals, programmer errors, semantic analysis
15	Richard T. Watson, Detmar W. Straub	Future IS research in net-enabled organizations.	Data Base	2007	DBLP DOI BibTeX RDF	information systems research, net-enabled organizations, organizational goals, value of information systems, networks, stakeholders
15	Helen M. Hodgetts, Dylan M. Jones	Reminders, Alerts and Pop-ups: The Cost of Computer-Initiated Interruptions.	HCI (1)	2007	DBLP DOI BibTeX RDF	Tower of London, memory, interruption, activation, goals
15	Janice G. El-Bayoumi	Client services work planning.	SIGUCCS	2007	DBLP DOI BibTeX RDF	mission, work alignment, work plan, goals
15	Bill Marion, John Impagliazzo, Caroline St. Clair, Barry I. Soroka, Deborah Whitfield	Assessing computer science programs: what have we learned.	SIGCSE	2007	DBLP DOI BibTeX RDF	assessment, objectives, instruments, goals, accreditation, outcomes
15	Humberto Nicolás Castejón Martínez, Rolv Bræk	A collaboration-based approach to service specification and detection of implied scenarios.	SCESM	2006	DBLP DOI BibTeX RDF	UML 2.0 collaborations, goal sequences, implied scenarios, roles, goals, service specification
15	Avelino F. Zorzo, Felipe Rech Meneguzzi	An agent model for fault-tolerant systems.	SAC	2005	DBLP DOI BibTeX RDF	CA actions, planning, declarative goals, BDI model
15	Kelly Braun, Klaus Kaasgaard, Stephanie Rosenbaum, Anna M. Wichansky	Corporate re-orgs: poison or catalyst to HCI?	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	HCI groups, HCI management, organizational change, reorganization, business goals
15	Miguel A. Laguna, Bruno González-Baixauli	Requirements variability models: meta-model based transformations.	Metainformatics	2005	DBLP DOI BibTeX RDF	model driven engineering, goals
15	Stephen Fickas	Clinical requirements engineering.	ICSE	2005	DBLP DOI BibTeX RDF	clinical requirements engineering, deferred requirements/goals, goal attainment scale, skill assessment, requirements monitoring
15	M. Birna van Riemsdijk	Cognitive agent programming.	AAMAS	2005	DBLP DOI BibTeX RDF	plan revision, operational semantics, denotational semantics, dynamic logic, agent programming languages, declarative goals
15	Paolo Donzelli	A goal-driven and agent-based requirements engineering framework.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Soft and hard goals, UML, Agents, Requirements engineering, Non-functional requirements, Quality models
15	Peter J. Wild, Peter Johnson 0001, Hilary Johnson	Towards a composite modelling approach for multitasking.	TAMODIA	2004	DBLP DOI BibTeX RDF	exceptions interruptions, events, tasks, multitasking, goals
15	Susanne Graf	Preface by the section editor.	Int. J. Softw. Tools Technol. Transf.	2003	DBLP DOI BibTeX RDF	Goals: Conformance testing, Formal verification Techniques: Static analysis, Tool integration Application domains: Asynchronous systems, Performance evaluation, Model-checking, Markov chains, Theorem proving, Security protocols, Slicing, Partial-order reductions, Probabilistic systems, Component-based approaches
15	Thomas Juan, Leon Sterling	A meta-model for intelligent adaptive multi-agent systems in open environments.	AAMAS	2003	DBLP DOI BibTeX RDF	intelligent adaptive systems, software quality goals, meta-model, agent-oriented software engineering, open environments
15	Ita Richardson	SPI Models: What Characteristics are Required for Small Software Development Companies?	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	flexible model, software process, software process improvement, return on investment, business goals, small companies, quality function deployment
15	Paolo Donzelli, Roberto Setola	Handling the knowledge acquired during the requirements engineering process: a case study.	SEKE	2002	DBLP DOI BibTeX RDF	soft and hard goals, agents, requirements engineering, process modeling, quality modeling
15	Ravi Wijayaratne, A. L. Narasimha Reddy	Providing QOS Guarantees for Disk I/O.	Multim. Syst.	2000	DBLP DOI BibTeX RDF	Multiple QOS goals, Seek optimization, QOS, Disk scheduling, VBR streams