Search results for "goal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Steven J. Bleistein, Karl Cox, June M. Verner	Requirements Engineering for e-Business Systems: Integrating Jackson Problem Diagrams with Goal Modeling and BPM.	APSEC	2004	DBLP DOI BibTeX RDF
15	Haruhiko Kaiya, Motoshi Saeki	Weaving Multiple Viewpoint Specifications in Goal Oriented Requirements Analysis.	APSEC	2004	DBLP DOI BibTeX RDF
15	Lars Braubach, Alexander Pokahr, Daniel Moldt, Winfried Lamersdorf	Goal Representation for BDI Agent Systems.	PROMAS	2004	DBLP DOI BibTeX RDF
15	Kongwah Wan, Xin Yan 0001, Xinguo Yu, Changsheng Xu	Robust goal-mouth detection for virtual content insertion.	ACM Multimedia	2003	DBLP DOI BibTeX RDF
15	Jacky Baltes	Strategy selection, goal generation, and role assignment in a robotic soccer team.	ICARCV	2002	DBLP DOI BibTeX RDF
15	Hugo Liu, Henry Lieberman, Ted Selker	GOOSE: A Goal-Oriented Search Engine with Commonsense.	AH	2002	DBLP DOI BibTeX RDF
15	Dong-Han Ham, Wan Chul Yoon	Design of Information Content and Layout for Process Control Based on Goal-Means Domain Analysis.	Cogn. Technol. Work.	2001	DBLP DOI BibTeX RDF	Functionally abstracted information, Information display design, Fault diagnosis, Process control, Abstraction hierarchy
15	Yoshiki Uemura	Fusion of evaluation of possibility production function and DEA by introducing a fuzzy goal.	KES (1)	1998	DBLP DOI BibTeX RDF
15	Evangelia Kavakli, Pericles Loucopoulos, Despina Filippidou	Using Scenarios to Systematically Support Goal-Directed Elaboration for Information System Requirements.	ECBS	1996	DBLP DOI BibTeX RDF
15	John Bell, Zhisheng Huang	Dynamic Goal Hierarchies.	PRICAI Workshop on Intelligent Agent Systems	1996	DBLP DOI BibTeX RDF
15	Annie I. Antón, W. Michael McCracken, Colin Potts	Goal Decomposition and Scenario Analysis in Business Process Reengineering	CAiSE	1994	DBLP DOI BibTeX RDF
15	Liliana Díaz-Olavarrieta, K. Illanko, Safwat G. Zaky	Goal-oriented decomposition of switching functions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1993	DBLP DOI BibTeX RDF
15	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
15	Sandra Julieta Rueda, Hayawardh Vijayakumar, Trent Jaeger	Analysis of virtual machine system policies.	SACMAT	2009	DBLP DOI BibTeX RDF	xen security modules (xsm), virtual machines, selinux, policy analysis
15	Jyotishman Pathak, Samik Basu 0001, Vasant G. Honavar	Composing Web Services through Automatic Reformulation of Service Specifications.	IEEE SCC (1)	2008	DBLP DOI BibTeX RDF	Web Services, Composition, Labeled Transition Systems, Reformulation
14	Rongwei Cen, Yiqun Liu 0001, Min Zhang 0006, Liyun Ru, Shaoping Ma	Study language models with specific user goals.	WWW	2010	DBLP DOI BibTeX RDF	language model, log analysis, user goal
14	Reem Al-Nanih, Hana Al-Nuaim, Olga Ormandjieva	New Health Information Systems (HIS) Quality-in-Use Model Based on the GQM Approach and HCI Principles.	HCI (4)	2009	DBLP DOI BibTeX RDF	Health Information System (HIS), Goal Question Metrics (GQM), Human Computer Interaction (HCI), Quality-in-Use
14	Oualid Ktata, Ghislain Lévesque	Agile development: issues and avenues requiring a substantial enhancement of the business perspective in large projects.	C3S2E	2009	DBLP DOI BibTeX RDF	scrum and business modeling, software valuation, requirements engineering, project management, decision making, agile development, goal oriented approaches
14	Wenting Ma, Lin Liu 0001, Haihua Xie, Hongyu Zhang 0002, Jinglei Yin	Preference Model Driven Services Selection.	CAiSE	2009	DBLP DOI BibTeX RDF	Actor Dependency Network, Decision Making, Services Selection, Goal Modeling
14	Xavier Franch	A Method for the Definition of Metrics over i* Models.	CAiSE	2009	DBLP DOI BibTeX RDF	goal-oriented models, business process performance, metrics, i*
14	André T. S. Fialho, Herjan van den Heuvel, Qonita Shahab, Qing Liu, Li Li, Privender Saini, Joyca Lacroix, Panos Markopoulos 0001	ActiveShare: sharing challenges to increase physical activities.	CHI Extended Abstracts	2009	DBLP DOI BibTeX RDF	sedentary lifestyle, persuasive technology, physical activity, captology, goal setting
14	Gunter Mussbacher, Daniel Amyot	Extending the User Requirements Notation with Aspect-Oriented Concepts.	SDL Forum	2009	DBLP DOI BibTeX RDF	Aspect-oriented User Requirements Notation, Aspects, Aspect-oriented Modeling, User Requirements Notation, Aspect-oriented Requirements Engineering, Use Case Maps, Goal-oriented Requirement Language
14	Yuan An, Prudence W. Dalrymple, Michelle L. Rogers, Patricia Gerrity, Jennifer Horkoff, Eric S. K. Yu	Collaborative social modeling for designing a patient wellness tracking system in a nurse-managed health care center.	DESRIST	2009	DBLP DOI BibTeX RDF	health care information systems, system design, requirements analysis, social modeling, goal-oriented analysis
14	Shuichiro Yamamoto, Komon Ibe, June M. Verner, Karl Cox, Steven J. Bleistein	Actor Relationship Analysis for the i* Framework.	ICEIS	2009	DBLP DOI BibTeX RDF	i* framework, Actor relationship analysis, Goal oriented requirements engineering
14	Jacinto González-Pachón, Carlos Romero	A method for obtaining transitive approximations of a binary relation.	Ann. Oper. Res.	2008	DBLP DOI BibTeX RDF	Transitive approximation, Maximal transitive sub-relation, Transitive opening, Transitive closure, Goal programming, Binary relation
14	Kyriaki Kosmidou, Constantin Zopounidis	Generating interest rate scenarios for bank asset liability management.	Optim. Lett.	2008	DBLP DOI BibTeX RDF	Asset liability management, Interest rate, Duration-gap, Simulation, Goal programming
14	Doug Downey, Susan T. Dumais, Daniel J. Liebling, Eric Horvitz	Understanding the relationship between searchers' queries and information goals.	CIKM	2008	DBLP DOI BibTeX RDF	information goal, web search, user behavior
14	M. Y. Konovalikhhin, D. O. Sergienko, O. V. Balaeva	The Scaling Approach for Credit Limit Management and Its Application.	World Congress on Engineering (Selected Papers)	2008	DBLP DOI BibTeX RDF	Credit Limit Management, Scaling Approach, goal-oriented parameters, cause-effect model
14	Jennifer Horkoff, Golnaz Elahi, Samer Abdulhadi, Eric S. K. Yu	Reflective Analysis of the Syntax and Semantics of the i* Framework.	ER Workshops	2008	DBLP DOI BibTeX RDF	i* Modeling Framework, Language Variation, Goal Orientation
14	Ken Decreus, Geert Poels	Putting Business into Business Process Models.	COMPSAC	2008	DBLP DOI BibTeX RDF	super, enterprise modelling, goal-modelling
14	Paloma Díaz 0001, Ignacio Aedo, Mary Beth Rosson	Visual representation of web design patterns for end-users.	AVI	2008	DBLP DOI BibTeX RDF	design patterns, web design, goal-oriented design
14	Takashi Kuremoto, Masanao Obayashi, Kunikazu Kobayashi, Hirotaka Adachi, Kentaro Yoneda	A Neuro-fuzzy Learning System for Adaptive Swarm Behaviors Dealing with Continuous State Space.	ICIC (2)	2008	DBLP DOI BibTeX RDF	neuro-fuzzy net, swarm behavior, actor-critic algorithm, goal-exploration problem, multi-agent system, reinforcement learning
14	Eric Grandry, Eric Dubois 0001, Michel Picard, André Rifaut	Managing the Alignment between Business and Software Services Requirements from a Capability Model Perspective.	ServiceWave	2008	DBLP DOI BibTeX RDF	Business Service Design, Service Level Objective, Capability Model, Service management, Goal-Oriented Requirements Engineering
14	Aaron X. L. Shen, Christy M. K. Cheung, Matthew K. O. Lee, Weiping Wang	The Power of We: Using Instant Messaging for Student Group Project Discussion.	HICSS	2008	DBLP DOI BibTeX RDF	We-Intention, Social Computing Technology, synchronous communication medium, theory of reasoned action, goal- directed emotion, e-learning, Instant Messaging, social influence, e- collaboration
14	Boaz Golany, Oded Shmueli	A quantitative foundation for defining and manipulating deals to facilitate automated e-commerce.	Electron. Commer. Res.	2007	DBLP DOI BibTeX RDF	Deal manipulation, Automated e-commerce, Automated negotiations, Goal programming
14	Jacinto González-Pachón, Carlos Romero	Inferring consensus weights from pairwise comparison matrices without suitable properties.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Goal programming, Preference aggregation, Group decisions, Pairwise comparisons
14	Christophe Ponsard, Philippe Massonet, Jean-François Molderez, André Rifaut, Axel van Lamsweerde, Hung Tran Van	Early verification and validation of mission critical systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Model-checking, Animation, Requirements engineering, Monitoring, Verification and validation, Goal modelling
14	Nan Niu, Steve M. Easterbrook	So, You Think You Know Others' Goals? A Repertory Grid Study.	IEEE Softw.	2007	DBLP DOI BibTeX RDF	Requirements interference and discordance, Requirements elicitation, Goal-oriented analysis, Repertory grid technique
14	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
14	Ali Azadeh, S. F. Ghaderi, A. Dabbaghi, M. Dehghanbaghi	Application of a multi-criteria simulation optimization based DSS.	SCSC	2007	DBLP BibTeX RDF	qualitative and quantitative factors, optimization, metamodel, multi-criteria decision making, goal programming
14	Zhongnan Shen, Jianwen Su	On automated composition for web services.	WWW	2007	DBLP DOI BibTeX RDF	goal service, tightening, service composition, service discovery, completeness
14	Kai-Hui Chang, Igor L. Markov, Valeria Bertacco	Fixing Design Errors with Counterexamples and Resynthesis.	ASP-DAC	2007	DBLP DOI BibTeX RDF	simulation-based verification, digital design errors, error-correction framework, resynthesis techniques, goal-directed search, entropy-guided search, counterexamples, digital designs, combinational equivalence-checking
14	Esther Dopazo, Mauricio Ruiz-Tagle, Juan Robles	Preference Learning from Interval Pairwise Data. A Distance-Based Approach.	IDEAL	2007	DBLP DOI BibTeX RDF	pairwise comparison matrices, distance methods, interval goal programming, interval data, Preference learning
14	Amy Lo, Eric S. K. Yu	From Business Models to Service-Oriented Design: A Reference Catalog Approach.	ER	2007	DBLP DOI BibTeX RDF	business modeling techniques, agent and goal-oriented conceptual modeling, business models, Service-oriented design
14	Sarah Hatton	Early Prioritisation of Goals.	ER Workshops	2007	DBLP DOI BibTeX RDF	Goal Prioritisation, MoSCoW, Hundred Dollar Method, Simple Ranking, Software Engineering, Analytical Hierarchy Process (AHP), Agile
14	Ali Azadeh, S. F. Ghaderi, A. Dabbaghi, M. Dehghanbaghi	Application of a multi-criteria simulation optimization based DSS.	SpringSim (3)	2007	DBLP BibTeX RDF	qualitative and quantitative factors, optimization, metamodel, multi-criteria decision making, goal programming
14	Özgür Eski, Irem Ozkarahan	Design of Manufacturing Cells for Uncertain Production Requirements with Presence of Routing Flexibility.	ICIC (2)	2007	DBLP DOI BibTeX RDF	Cellular manufacturing, fuzzy goal programming, routing flexibility, simulation, tabu search
14	David B. Kaber, Noa Segall, Rebecca S. Green, K. Entzian, S. Junginger	Using multiple cognitive task analysis methods for supervisory control interface design in high-throughput biological screening processes.	Cogn. Technol. Work.	2006	DBLP DOI BibTeX RDF	Goal-directed task analysis, Human-machine interface design, Cognitive task analysis, Abstraction hierarchy, High-throughput screening
14	Forrest Shull, Carolyn B. Seaman, Marvin V. Zelkowitz	Victor R. Basili's Contributions to Software Quality.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Victor Basili, Software Engineering Laboratory, software quality, Quality Improvement Paradigm, Goal Question Metric
14	Suqin Tang, Cungen Cao	A Framework for Automated Test Generation in Intelligent Tutoring Systems.	KSEM	2006	DBLP DOI BibTeX RDF	domain conceptual model, testing goal, test-generation rules, individualized testing, test generation, Intelligent tutoring system
14	Buntarou Shizuki, Takaomi Hisamatsu, Shin Takahashi, Jiro Tanaka	Laser pointer interaction techniques using peripheral areas of screens.	AVI	2006	DBLP DOI BibTeX RDF	computer-based presentation, goal crossing, interaction techniques, pointing, laser pointers
14	Luigi Lavazza, Marco Mauri	Software Process Measurement in the Real World: Dealing with Operating Constraints.	SPW/ProSim	2006	DBLP DOI BibTeX RDF	Product metrics Goal/Question/Metrics, Process quality assessment, Process metrics
14	Hiroyuki Nakagawa, Takuya Karube, Shinichi Honiden	Analysis of multi-agent systems based on KAOS modeling.	ICSE	2006	DBLP DOI BibTeX RDF	multi-agent systems, requirement analysis, goal-oriented analysis
14	Noa Segall, Rebecca S. Green, David B. Kaber	User, robot and automation evaluations in high-throughput biological screening processes.	HRI	2006	DBLP DOI BibTeX RDF	abstraction hierarchy modeling, goal-directed task analysis, human error, cognitive task analysis, high-throughput screening
14	Diana Arellano Távara, Andreas Meier 0008	Agents with Personality for Videogames.	AMDO	2006	DBLP DOI BibTeX RDF	motivational state, inter-active narrative, Unreal, agents, artificial intelligence, personality, standard, emotion, map, fuzzy set, memory, event, behavior, actor, action, goal, fuzzy rules, attitude, mood
14	Alexei Lapouchnian, Sotirios Liaskos, John Mylopoulos, Yijun Yu	Towards requirements-driven autonomic systems design.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	autonomic computing software customization, software variability, self-management, goal-oriented requirements engineering
14	Neil A. M. Maiden	What Has Requirements Research Ever Done for Us?	IEEE Softw.	2005	DBLP DOI BibTeX RDF	agent-oriented requirements and scenarios simulations, goal modeling
14	Steven J. Bleistein, Karl Cox, June M. Verner	Strategic alignment in requirements analysis for organizational IT: an integrated approach.	SAC	2005	DBLP DOI BibTeX RDF	requirements engineering, goal modeling, strategic alignment, problem frames
14	Luigi Lavazza, Giancarlo Barresi	Automated support for process-aware definition and execution of measurement plans.	ICSE	2005	DBLP DOI BibTeX RDF	goal/question/metrics (GQM), software metrics definition, software metrics, process modeling, software process measurement
14	Evangelia Kavakli	Modeling organizational goals: analysis of current methods.	SAC	2004	DBLP DOI BibTeX RDF	organizational change management, goal modeling
14	Paul E. Utgoff, Richard P. Cochran	A Least-Certainty Heuristic for Selective Search.	Computers and Games	2000	DBLP DOI BibTeX RDF	Selective search, evaluation function error, misordering assumption, evaluation goal, swing threshold, LCF, random trees, artificial time, confidence, certainty, swing, Amazons, Othello
14	Xiangyun Ye, Mohamed Cheriet, Ching Y. Suen, Ke Liu 0009	Extraction of bankcheck items by mathematical morphology.	Int. J. Document Anal. Recognit.	1999	DBLP DOI BibTeX RDF	Check image processing, Baseline elimination, Local thresholding binarization, Gray level mathematical morphology, Goal-directed evaluation
14	Tokuyasu Kakuta, Makoto Haraguchi	A demonstration of a legal reasoning system based on teleological analogies.	ICAIL	1999	DBLP DOI BibTeX RDF	goal-dependent abstraction, legal reasoning system, order-sorted logic, analogy
14	Günther Ruhe	Experience Factory-Based Professional Education and Training.	CSEE&T	1999	DBLP DOI BibTeX RDF	Empirical Knowledge, Courses and Programs, Training, Experience Factory, Quality Improvement Paradigm, Professional Education, Goal-Oriented Measurement
14	Ian F. Alexander	Supporting a Cooperative Requirements Engineering Process.	DEXA Workshops	1999	DBLP DOI BibTeX RDF	Co-operative Inquiry, Requirements Tool, Requirements Metrics, Test Script Generation, Requirements Engineering, Scenario, Goal Model, Agent Model, Use Case
14	Hongxue Wang, Vijay Varadharajan, John K. Slaney	Towards Perfect Objects.	TOOLS (32)	1999	DBLP DOI BibTeX RDF	extended object model, constraint, rules, identity, active, goal, autonomous, trigger, reactive
14	Jacky Estublier, Samir Dami	About reuse in multi-paradigm process modelling approach.	ISPW	1996	DBLP DOI BibTeX RDF	multiparadigm process modelling approach, process model reuse, software quality improvement, PERFECT project, PERFECT Improvement Approach, product improvement, APEL tool, textual language, software reuse, process improvement, software development management, graphical language, goal-oriented measurement
14	J. Daniel Douger, Akira Ishikawa	Comparing motivation of Japanese computer personnel versus those of the United States.	HICSS (4)	1995	DBLP DOI BibTeX RDF	Japanese computer personnel, United States computer personnel, IS computer personnel, analysts, programmer/analysts, JDS-DP II, job diagnostic survey instrument, job variables, job components, satisfaction levels, growth needs, achievement needs, goal participation/feedback, middle management, information systems, human factors, managers, programming, perceptions, motivation, human resource management, DP management, social aspects of automation, personnel, DP industry, professional aspects, cultural factors, application programmers
14	Dar-Tzen Peng, Kang G. Shin	Optimal Scheduling of Cooperative Tasks in a Distributed System Using an Enumerative Method.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	cooperative tasks, enumerative method, processing nodes, common goal, normalized task response time, system hazard, PERT/CPM form, activity on arc, dominance relationship, simultaneously schedulable modules, active schedules, task scheduling problem, scheduling, distributed system, real-time systems, distributed processing, task graph, precedence constraints, optimal schedule, PERT, AOA, intertask communications, computational experiences
14	R. Geoff Dromey	Systematic Program Development.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	goal-oriented programming, case analysis, constructive program proofs, software engineering, data structure, refinements, programming, program development, problem decomposition, program structure, postcondition
13	Karin Nieuwenhuizen, Dzmitry Aliakseyeu, Jean-Bernard Martens	Insight into goal-directed movement strategies.	CHI	2010	DBLP DOI BibTeX RDF	pointing tasks, movement analysis, computer input devices
13	Paul W. Schermerhorn, J. Benton 0001, Matthias Scheutz, Kartik Talamadupula, Subbarao Kambhampati	Finding and exploiting goal opportunities in real-time during plan execution.	IROS	2009	DBLP DOI BibTeX RDF
13	Yingying She, Peter Grogono	A Procedural Planning System for Goal Oriented Agents in Games.	Canadian AI	2009	DBLP DOI BibTeX RDF
13	Cuiwen Cao, Jinwei Gu, Bin Jiao, Zhong Xin, Xingsheng Gu	Optimizing constrained non-convex NLP problems in chemical engineering field by a novel modified goal programming genetic algorithm.	GEC Summit	2009	DBLP DOI BibTeX RDF	equality constraints, mgpga, non-convex NLP
13	Koen V. Hindriks, Tijmen Roberti	GOAL as a Planning Formalism.	MATES	2009	DBLP DOI BibTeX RDF
13	Dalal Alrajeh, Jeff Kramer, Alessandra Russo, Sebastián Uchitel	Learning operational requirements from goal models.	ICSE	2009	DBLP DOI BibTeX RDF
13	Kenji Higuchi, Fumiko Harada, Hiromitsu Shimakawa	Making links between goal and tasks to retrieve information from web browsing histories.	ICIS	2009	DBLP DOI BibTeX RDF	browsing history, clustering, information retrieval, vector space
13	Falk Fleischer, Antonino Casile, Martin A. Giese	Bio-inspired Approach for the Recognition of Goal-Directed Hand Actions.	CAIP	2009	DBLP DOI BibTeX RDF
13	May Yee Chong, Björn Bjurling, Ramide Dantas, Carlos Alberto Kamienski, Börje Ohlman	Goal-Based Service Creation Using Autonomic Entities.	MACE	2009	DBLP DOI BibTeX RDF
13	Brian P. Bailey, Shamsi T. Iqbal	Understanding changes in mental workload during execution of goal-directed tasks and its application for interruption management.	ACM Trans. Comput. Hum. Interact.	2008	DBLP DOI BibTeX RDF	user studies, Attention, task models, interruption, workload, pupil size
13	Jane Cleland-Huang, Will Marrero, Brian Berenbach	Goal-Centric Traceability: Using Virtual Plumblines to Maintain Critical Systemic Qualities.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
13	Martin V. Butz, Oliver Herbort, Giovanni Pezzulo	Anticipatory, Goal-Directed Behavior.	The Challenge of Anticipation	2008	DBLP DOI BibTeX RDF
13	Dominic A. P. Greenwood	Goal-Oriented Autonomic Business Process Modeling and Execution: Engineering Change Management Demonstration.	BPM	2008	DBLP DOI BibTeX RDF
13	Michele Piunti, Alessandro Ricci, Lars Braubach, Alexander Pokahr	Goal-Directed Interactions in Artifact-Based MAS: Jadex Agents Playing in CARTAGO Environments.	IAT	2008	DBLP DOI BibTeX RDF
13	Yih-Kuen Tsay, Yu-Fang Chen 0001, Ming-Hsien Tsai 0001, Wen-Chin Chan, Chi-Jian Luo	GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic.	TACAS	2008	DBLP DOI BibTeX RDF
13	Juntao Gao, Li Zhang 0029, Zhiyao Wang	Decision Support for Handling Gaps between ERP Functionalities and Organizational Needs: A Goal Reasoning Based Approach.	CSSE (2)	2008	DBLP DOI BibTeX RDF
13	Mirko Morandini, Loris Penserini, Anna Perini	Modelling Self-Adaptivity: A Goal-Oriented Approach.	SASO	2008	DBLP DOI BibTeX RDF
13	Tae Bok Yoon, Jee-Hyong Lee 0001	Goal and path prediction based on user's moving path data.	ICUIMC	2008	DBLP DOI BibTeX RDF	user's location prediction, location based service, path selection
13	Damian Dechev, Nicolas Rouquette, Peter Pirkelbauer, Bjarne Stroustrup	Verification and semantic parallelization of goal-driven autonomous software.	Autonomics	2008	DBLP DOI BibTeX RDF	autonomous space software, semantic parallelization, C++, nonblocking synchronization
13	Qin Zhu	Goal trees and fault trees for root cause analysis.	ICSM	2008	DBLP DOI BibTeX RDF
13	Erdem Eser Ekinci, Ali Murat Tiryaki, Övünç Çetin, Oguz Dikenelli	Goal-Oriented Agent Testing Revisited.	AOSE	2008	DBLP DOI BibTeX RDF
13	Dalal Alrajeh, Alessandra Russo, Sebastián Uchitel	Deriving Non-zeno Behavior Models from Goal Models Using ILP.	FASE	2008	DBLP DOI BibTeX RDF
13	Man Xiao, Mohamed El-Attar 0001, Marek Z. Reformat, James Miller 0001	Empirical evaluation of optimization algorithms when used in goal-oriented automated test data generation techniques.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Empirical results, Empirical software engineering, Test-data generation, Optimization techniques
13	Sunae Seo, Hongseok Yang, Kwangkeun Yi, Taisook Han	Goal-directed weakening of abstract interpretation results.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	static analysis, Abstract interpretation, program verification, Hoare logic, backward analysis
13	Jade Goldstein, Gary M. Ciany, Jaime G. Carbonell	Genre identification and goal-focused summarization.	CIKM	2007	DBLP DOI BibTeX RDF	genre identification, task-based information retrieval, data mining, machine learning, evaluation, text classification, text categorization, summarization, metadata extraction
13	Julia M. B. Braman, Richard M. Murray, David A. Wagner 0002	Safety verification of a fault tolerant reconfigurable autonomous goal-based robotic control system.	IROS	2007	DBLP DOI BibTeX RDF
13	Mariano Jiménez 0001	On Unfeasible Fuzzy Goal Programming Problems.	FUZZ-IEEE	2007	DBLP DOI BibTeX RDF
13	Mikio Aoyama	Persona-Scenario-Goal Methodology for User-Centered Requirements Engineering.	RE	2007	DBLP DOI BibTeX RDF
13	Ibrahim Habli, Weihang Wu, Katrina Attwood, Tim Kelly	Extending Argumentation to Goal-Oriented Requirements Engineering.	ER Workshops	2007	DBLP DOI BibTeX RDF
13	Raimundas Matulevicius, Patrick Heymans	Visually Effective Goal Models Using KAOS.	ER Workshops	2007	DBLP DOI BibTeX RDF