Stem goal$ (all stems)

301 papers:

DAC-2015-Kahng #game studies

New game, new goal posts: a recent history of timing closure (ABK), p. 6.

FASE-2015-BurdekLBHRA015 #generative #multi #product line #reuse #testing

Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines (JB, ML, SB, AH, AvR, SA, DB), pp. 84–99.

CHI-2015-BrotmanBFHL #design

Building Change: Constructive Design of Smart Domestic Environments for Goal Achievement (RB, WB, JF, WH, JL), pp. 3083–3092.

CHI-2015-HarteveldS #education #game studies #performance

The Goal of Scoring: Exploring the Role of Game Performance in Educational Games (CH, SCS), pp. 2235–2244.

CSCW-2015-SleeperACKMS #behaviour #network #social

I Would Like To..., I Shouldn’t..., I Wish I...: Exploring Behavior-Change Goals for Social Networking Sites (MS, AA, LFC, PGK, SAM, NMS), pp. 1058–1069.

HCI-DE-2015-WatsonS #assessment #using

Using Readers’ and Organizations’ Goals to Guide Assessment of Success in Information Websites (RBW, JHS), pp. 283–294.

CAiSE-2015-PalmieriCA #product line

Handling Regulatory Goal Model Families as Software Product Lines (AP, PC, DA), pp. 181–196.

KDD-2015-KicKimanR #identification #social #social media #towards

Towards Decision Support and Goal Achievement: Identifying Action-Outcome Relationships From Social Media (EK, MR), pp. 547–556.

RecSys-2015-JannachLJ #adaptation #evaluation #recommendation

Adaptation and Evaluation of Recommendations for Short-term Shopping Goals (DJ, LL, MJ), pp. 211–218.

SEKE-2015-SubramanianKKG #reasoning

Quantitative Reasoning of Goal Satisfaction in the i*Framework (CS, AK, AK, RPG), pp. 666–669.

MoDELS-2015-NguyenGA #case study #requirements

Integrating goal-oriented and use case-based requirements engineering: The missing link (THN, JCG, MA), pp. 328–337.

SAC-2015-MaltaPSBF #analysis #bibliography #case study #distance #information management

A survey analysis on goal orientation changes in an information systems distance course: a Brazilian case study (CAM, ROAP, APdS, IIB, AQdOF), pp. 227–232.

SAC-2015-OjameruayeB #analysis #framework

A risk — aware framework for compliance goal-obstacle analysis (BO, RB), pp. 1401–1402.

SAC-2015-VilelaCPSCL #behaviour #modelling

Deriving the behavior of context-sensitive systems from contextual goal models (JV, JBdC, JP, MS, PC, ML), pp. 1397–1400.

ESEC-FSE-2015-NguyenGA #case study #modelling #rule-based

Rule-based extraction of goal-use case models from text (THN, JCG, MA), pp. 591–601.

ASPLOS-2015-Sidiroglou-Douskos #automation #branch #integer #using

Targeted Automatic Integer Overflow Discovery Using Goal-Directed Conditional Branch Enforcement (SSD, EL, NR, PP, FL, DK, MCR), pp. 473–486.

CHI-2014-JiangATBZ

Pupil responses during discrete goal-directed movements (XJ, MSA, GT, RB, BZ), pp. 2075–2084.

CHI-2014-MatthewsCWPZBS #community #enterprise #online #question #what

Goals and perceived success of online enterprise communities: what is important to leaders & members? (TM, JC, SW, AP, HZ, HB, BAS), pp. 291–300.

CAiSE-2014-EngelsmanW #architecture #concept #enterprise #requirements

Understandability of Goal-Oriented Requirements Engineering Concepts for Enterprise Architects (WE, RW), pp. 105–119.

CAiSE-2014-GralhaG0 #composition #identification #modelling #requirements

Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.

CAiSE-2014-RuizCEFP #analysis #information management #process

Integrating the Goal and Business Process Perspectives in Information System Analysis (MR, DC, SE, XF, OP), pp. 332–346.

KR-2014-BaierMM #problem

Diagnostic Problem Solving via Planning with Ontic and Epistemic Goals (JAB, BM, SAM).

SIGIR-2014-KellyRT #constraints #information retrieval #research

Choices and constraints: research goals and approaches in information retrieval (part 1) (DK, FR, JT), p. 1283.

SIGIR-2014-KellyRT14a #constraints #information retrieval #research

Choices and constraints: research goals and approaches in information retrieval (part 2) (DK, FR, JT), p. 1284.

RE-2014-CailliauL #exception #modelling

Integrating exception handling in goal models (AC, AvL), pp. 43–52.

RE-2014-GhanavatiRDA #multi

Goal-oriented compliance with multiple regulations (SG, AR, ED, DA), pp. 73–82.

RE-2014-LiuSYM14a #feature model #reasoning #requirements

Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav (YL, YS, XY, GM), pp. 321–322.

SAC-2014-HoritaHSNTO #approach #modelling #refinement #using

Transformation approach from KAOS goal models to BPMN models using refinement patterns (HH, KH, YS, HN, YT, AO), pp. 1023–1024.

ICSE-2014-DegiovanniAAU #automation #satisfiability

Automated goal operationalisation based on interpolation and SAT solving (RD, DA, NA, SU), pp. 129–139.

ICLP-J-2014-MarpleG #consistency #programming #set

Dynamic Consistency Checking in Goal-Directed Answer Set Programming (KM, GG), pp. 415–427.

DRR-2013-Obafemi-AjayiA #algorithm #documentation #evaluation #image

Goal-oriented evaluation of binarization algorithms for historical document images (TOA, GA).

ESOP-2013-BeyerHTV #analysis #multi #reachability #reuse

Information Reuse for Multi-goal Reachability Analyses (DB, AH, MT, HV), pp. 472–491.

CHI-2013-RauARR #design #interactive #learning #why

Why interactive learning environments can have it all: resolving design conflicts between competing goals (MAR, VA, NR, SR), pp. 109–118.

CHI-2013-Samp #design #visual notation

Designing graphical menus for novices and experts: connecting design characteristics with design goals (KS), pp. 3159–3168.

HIMI-D-2013-LeeY #behaviour #comparison #information management #research

Research on Website Usage Behavior through Information Search Perspective: A Comparison of Experiential and Goal-Directed Behaviors (JL, MY), pp. 456–464.

OCSC-2013-KaratasBK #security #towards #visual notation

Towards Visual Configuration Support for Interdependent Security Goals (FK, MB, DK), pp. 375–384.

CAiSE-2013-ChatzikonstantinouKA #data analysis #framework

A Goal Driven Framework for Software Project Data Analytics (GC, KK, IMA), pp. 546–561.

CAiSE-2013-Espada0A #complexity #framework #modelling

A Framework to Evaluate Complexity and Completeness of KAOS Goal Models (PE, MG, JA), pp. 562–577.

EDOC-2013-NagelGEP #consistency #modelling #process

Ensuring Consistency among Business Goals and Business Process Models (BN, CG, GE, JP), pp. 17–26.

SEKE-2013-SadiqJ #approach #elicitation #fuzzy #process #requirements

A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (S) (MS, SKJ), pp. 54–58.

SIGIR-2013-WestWH #predict #process #query

Here and there: goals, activities, and predictions about location from geotagged queries (RW, RWW, EH), pp. 817–820.

ER-BR-2013-GuedesSC #approach #product line

Goals and Scenarios to Software Product Lines: the GS2SPL Approach (GG, CTLLS, JC).

RE-2013-NakagawaOH #evolution

A goal model elaboration for localizing changes in software evolution (HN, AO, SH), pp. 155–164.

REFSQ-2013-BencomoB #adaptation #modelling #network #self

Supporting Decision-Making for Self-Adaptive Systems: From Goal Models to Dynamic Decision Networks (NB, AB), pp. 221–236.

SAC-2013-WestermannHF #automation #empirical #performance #specification

An experiment specification language for goal-driven, automated performance evaluations (DW, JH, RF), pp. 1043–1048.

ICSE-2013-AlrajehRLMMN

Computational alignment of goals and scenarios for complex systems (DA, AR, JL, NAMM, AM, MN), pp. 1249–1252.

CAV-2013-TsaiTH #automaton #game studies #logic

GOAL for Games, ω-Automata, and Logics (MHT, YKT, YSH), pp. 883–889.

ASE-2012-WestermannHKF #automation #performance #predict

Automated inference of goal-oriented performance prediction functions (DW, JH, RK, RF), pp. 190–199.

DAC-2012-AhmadyanKV #generative

Goal-oriented stimulus generation for analog circuits (SNA, JAK, SV), pp. 1018–1023.

PODS-2012-Chaudhuri #big data #data transformation #research #what

What next?: a half-dozen data management research goals for big data and the cloud (SC), pp. 1–4.

CHI-2012-TeoJB #layout #named

CogTool-Explorer: a model of goal-directed user exploration that considers information layout (LT, BEJ, MHB), pp. 2479–2488.

CSCW-2012-ZhuKK12a #identification #modelling #online #social

Organizing without formal organization: group identification, goal setting and social modeling in directing online production (HZ, RK, AK), pp. 935–944.

AdaEurope-2012-PereverzevaTL #development

Formal Goal-Oriented Development of Resilient MAS in Event-B (IP, ET, LL), pp. 147–161.

KEOD-2012-SantosG #ontology

Building Application Ontologies through Knowledge System Goals (LES, RG), pp. 115–124.

SEKE-2012-GuedesSCSDS #named #product line

GS2SPL: Goals and Scenarios to Software Product Lines (GG, CTLLS, JC, MS, DD, CS), pp. 651–656.

SEKE-2012-HuangL

A Goal-Driven Method for Selecting Issues Used in Agent Negotiation (YCH, AL), pp. 759–762.

SEKE-2012-SoaresPCSTGD #architecture #automation #generative #modelling

Automatic Generation of Architectural Models From Goals Models (MS, JP, JC, CTLLS, CTNS, GG, DD), pp. 444–447.

LOPSTR-2012-MarpleG #named #set

Galliwasp: A Goal-Directed Answer Set Solver (KM, GG), pp. 122–136.

PPDP-2012-MarpleBMG #execution #set #source code

Goal-directed execution of answer set programs (KM, AB, RM, GG), pp. 35–44.

RE-2012-CailliauL #analysis #framework #probability

A probabilistic framework for goal-oriented risk analysis (AC, AvL), pp. 201–210.

RE-2012-LiaskosJA #elicitation #metric #modelling #on the

On eliciting contribution measures in goal models (SL, RJ, JA), pp. 221–230.

RE-2012-VrbaskiPA #reasoning #rule-based #tool support

Tool support for combined rule-based and goal-based reasoning in Context-Aware systems (MV, DCP, DA), pp. 335–336.

REFSQ-2012-EngelsmanW #architecture #case study #enterprise #lessons learnt #requirements

Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned (WE, RW), pp. 306–320.

SAC-2012-ChanvilaiHNTO #approach #constraints #diagrams #ocl

Goal-oriented approach to creating class diagrams with OCL constraints (SC, KH, HN, YT, AO), pp. 1051–1056.

SAC-2012-SouzaMGTM #monitoring #requirements

Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.

SPLC-2012-GillainFHJS #optimisation

Product portfolio scope optimization based on features and goals (JG, SF, PH, IJ, MS), pp. 161–170.

QoSA-ISARCS-2011-HauckKHR #framework #named

Ginpex: deriving performance-relevant infrastructure properties through goal-oriented experiments (MH, MK, NH, RHR), pp. 53–62.

ASE-2011-OsterSB #analysis #automation #requirements

Automating analysis of qualitative preferences in goal-oriented requirements engineering (ZJO, GRS, SB), pp. 448–451.

CSMR-2011-SalehieLTDLM #testing

Prioritizing Requirements-Based Regression Test Cases: A Goal-Driven Practice (MS, SL, LT, RD, SL, MM), pp. 329–332.

MSR-2011-RotellaC #implementation #metric #quality

Implementing quality metrics and goals at the corporate level (PR, SC), pp. 113–122.

HCI-ITE-2011-InoueIFHIM #analysis

Manual and Accelerometer Analysis of Head Nodding Patterns in Goal-oriented Dialogues (MI, TI, NF, RH, TI, HM), pp. 259–267.

CAiSE-2011-LiaskosLJM #behaviour #information management

Goal-Based Behavioral Customization of Information Systems (SL, ML, MDJ, JM), pp. 77–92.

KEOD-2011-PhamS #reasoning

Practical Goal-based Reasoning in Ontology-driven Applications (HP, DS), pp. 99–109.

RE-2011-HeavenL #design #modelling #optimisation #simulation

Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.

RE-2011-WeiYJZ #automation #modelling #named #non-functional #reasoning

rΣ: Automated reasoning tool for non-functional requirement goal models (BW, BY, ZJ, DZ), pp. 337–338.

SAC-2011-AsadiBGHM #product line

Goal-driven software product line engineering (MA, EB, DG, MH, BM), pp. 691–698.

SAC-2011-HorkoffY #how #modelling

Analyzing goal models: different approaches and how to choose among them (JH, ESKY), pp. 675–682.

ESEC-FSE-2011-Durdik #approach #architecture #elicitation #requirements

An architecture-centric approach for goal-driven requirements elicitation (ZD), pp. 384–387.

DAC-2010-GoossensH #evolution #network

The aethereal network on chip after ten years: goals, evolution, lessons, and future (KG, AH), pp. 306–311.

CHI-2010-LawranceBBBS #evolution #information management

Reactive information foraging for evolving goals (JL, MMB, RKEB, CB, CS), pp. 25–34.

CHI-2010-NieuwenhuizenAM

Insight into goal-directed movement strategies (KN, DA, JBM), pp. 883–886.

CAiSE-2010-ChopraDGM #modelling #reasoning

Modeling and Reasoning about Service-Oriented Applications via Goals and Commitments (AKC, FD, PG, JM), pp. 113–128.

CAiSE-2010-EsfahaniYC #approach #evaluation

Situational Evaluation of Method Fragments: An Evidence-Based Goal-Oriented Approach (HCE, ESKY, JC), pp. 424–438.

ICEIS-ISAS-2010-HoangK #quality

Goal, Soft-goal and Quality Requirement (TTHH, MK), pp. 13–22.

ECIR-2010-JamborW #approach #collaboration #fault

Goal-Driven Collaborative Filtering — A Directional Error Based Approach (TJ, JW), pp. 407–419.

KEOD-2010-Girardi #learning #ontology

Guiding Ontology Learning and Population by Knowledge System Goals (RG), pp. 480–484.

SIGIR-2010-GuoA #detection #interactive #web

Ready to buy or just browsing?: detecting web searcher goals from interaction data (QG, EA), pp. 130–137.

OOPSLA-2010-Stanley

To achieve our highest goals, we must be willing to abandon them (KOS), p. 3.

RE-2010-BaresiPS #adaptation #fuzzy

Fuzzy Goals for Requirements-Driven Adaptation (LB, LP, PS), pp. 125–134.

RE-2010-ClementsB #architecture #using

Using Business Goals to Inform a Software Architecture (PCC, LB), pp. 69–78.

RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #requirements #towards

Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling (IJ, AB, NAE, JM), pp. 115–124.

RE-2010-LiaskosMSM #modelling #requirements

Integrating Preferences into Goal Models for Requirements Engineering (SL, SAM, SS, JM), pp. 135–144.

RE-2010-MonteiroAAP #modelling #named #requirements #towards

Mdgore: Towards Model-Driven and Goal-Oriented Requirements Engineering (RM, JA, VA, PP), pp. 405–406.

RE-2010-PengCYZ #feedback #self

Self-Tuning of Software Systems Through Goal-based Feedback Loop Control (XP, BC, YY, WZ), pp. 104–107.

SAC-2010-MeertensIN #architecture #design #framework #modelling

Goal and model driven design of an architecture for a care service platform (LOM, MEI, LJMN), pp. 158–164.

SPLC-2010-ClementsMB #architecture #elicitation #product line

Eliciting and Capturing Business Goals to Inform a Product Line’s Business Case and Architecture (PCC, JDM, LB), pp. 393–405.

ASE-2009-Jokhio #semantics #testing #web #web service

Goal-Based Testing of Semantic Web Services (MSJ), pp. 707–711.

ASE-2009-SaekiHK #analysis #requirements

A Tool for Attributed Goal-Oriented Requirements Analysis (MS, SH, HK), pp. 674–676.

VLDB-2009-DeutchMY #navigation #online

Goal-Oriented Web-site Navigation for On-line Shoppers (DD, TM, TY), pp. 1642–1645.

CHI-2009-KriegerSK #coordination #design

Coordinating tasks on the commons: designing for personal goals, expertise and serendipity (MK, EMS, SRK), pp. 1485–1494.

HCI-NT-2009-SilvaBB #adaptation #design #interactive

Designing for Change: Engineering Adaptable and Adaptive User Interaction by Focusing on User Goals (BSdS, AMB, SDJB), pp. 715–724.

EDOC-2009-QuartelEJS #architecture #enterprise #modelling #requirements

A Goal-Oriented Requirements Modelling Language for Enterprise Architecture (DACQ, WE, HJ, MvS), pp. 3–13.

ICEIS-J-2009-BoglSPW #automation #process

Automated Construction of Process Goal Trees from EPC-Models to Facilitate Extraction of Process Patterns (AB, MS, GP, NW), pp. 427–442.

KEOD-2009-MaioS #named #ontology

GOALS — A Test-Bed for Ontology Matching (PM, NS), pp. 293–299.

KMIS-2009-MottaPR #case study #documentation #elicitation #requirements

User Goal-oriented Requirements Elicitation to Improve Acceptance and Use — A Case Study on Document Management (GM, GP, PR), pp. 153–160.

SEKE-2009-FengHPWM #modelling #towards

Towards Merging Goal Models of Networked Software (ZF, KH, RP, JW, YM), pp. 178–184.

MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism #requirements

A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.

MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism #requirements

A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.

LOPSTR-2009-IborraNV #dependence #proving #termination

Goal-Directed and Relative Dependency Pairs for Proving the Termination of Narrowing (JI, NN, GV), pp. 52–66.

RE-2009-DecreusSP #challenge #modelling #process

Practical Challenges for Methods Transforming i* Goal Models into Business Process Models (KD, MS, GP), pp. 15–23.

RE-2009-GhanavatiAP #analysis #evaluation

Compliance Analysis Based on a Goal-oriented Requirement Language Evaluation Methodology (SG, DA, LP), pp. 133–142.

RE-2009-MussbacherGA #analysis #modelling

Modeling and Analysis of URN Goals and Scenarios with jUCMNav (GM, SG, DA), pp. 383–384.

SAC-2009-AgentA #approach #problem

Extending Problem Frames to deal with stakeholder problems: An Agent- and Goal-Oriented Approach (SS, LC), pp. 389–394.

SAC-2009-Hohn #modelling #reasoning

Model-based reasoning on the achievement of business goals (SH), pp. 1589–1593.

ICSE-2009-AlrajehKRU #learning #modelling #requirements

Learning operational requirements from goal models (DA, JK, AR, SU), pp. 265–275.

WICSA-2008-Klein #architecture #evolution

Interplay of Architecture, Business Goals, and Current Technology in the Evolution of Call Center Systems (JK), pp. 93–94.

ASE-2008-MorandiniPP #adaptation #automation #modelling #self

Automated Mapping from Goal Models to Self-Adaptive Systems (MM, LP, AP), pp. 485–486.

CASE-2008-GuetaCAUO #configuration management #design #multi

Design of the end-effector tool attachment for robot arm with multiple reconfigurable goals (LBG, RC, TA, TU, JO), pp. 876–881.

FASE-2008-AlrajehRU #behaviour #modelling #using

Deriving Non-zeno Behavior Models from Goal Models Using ILP (DA, AR, SU), pp. 1–15.

TACAS-2008-TsayCTCL #automaton #logic #research #towards

GOAL Extended: Towards a Research Tool for ω Automata and Temporal Logic (YKT, YFC, MHT, WCC, CJL), pp. 346–350.

ICSM-2008-Zhu #analysis #fault

Goal trees and fault trees for root cause analysis (QZ), pp. 436–439.

CHI-2008-HornbaekF #empirical #evaluation #usability

Making use of business goals in usability evaluation: an experiment with novice evaluators (KH, EF), pp. 903–912.

EDOC-2008-MarkovicK #modelling #process #semantics

Linking Business Goals to Process Models in Semantic Business Process Modeling (IM, MK), pp. 332–338.

ICEIS-ISAS2-2008-BrunetSLG #modelling #using

Using Variants in KAOS Goal Modelling (JB, FS, RL, CG), pp. 339–344.

CIKM-2008-DowneyDLH #comprehension #query

Understanding the relationship between searchers’ queries and information goals (DD, STD, DJL, EH), pp. 449–458.

KR-2008-Lin #proving

Proving Goal Achievability (FL), pp. 621–628.

KR-2008-UckelmanE #modelling

Preference Modeling by Weighted Goals with Max Aggregation (JU, UE), pp. 579–588.

RecSys-2008-DrennerST #community #experience #user interface

Crafting the initial user experience to achieve community goals (SD, SS, LGT), pp. 187–194.

SEKE-2008-SilvaAAMC #approach

Tailoring an Aspectual Goal-oriented Approach to Model Features (CTLLS, FMRA, JA, AMDM, JBdC), pp. 472–477.

SEKE-2008-XiPLH #component #repository

A Goal-oriented Mixed-granularity Component Selection Method for Huge Component Repositories (XX, JP, JL, SH), pp. 573–576.

RE-2008-RifautD #assessment #framework #quality #requirements #using

Using Goal-Oriented Requirements Engineering for Improving the Quality of ISO/IEC 15504 based Compliance Assessment Frameworks (AR, ED), pp. 33–42.

RE-2008-Szoke #automation #scheduling #using

A Proposed Method for Automated Project Scheduling using Goals and Scenarios (AS), pp. 339–340.

RE-2008-TanabeUAYKS #analysis #requirements

Supporting Requirements Change Management in Goal Oriented Analysis (DT, KU, KA, TY, HK, MS), pp. 3–12.

SAC-2008-RamnathR #adaptation #enterprise #execution #modelling

Integrating goal modeling and execution in adaptive complex enterprises (RR, JR), pp. 532–539.

SAC-2008-YuLLM #configuration management

Configuring features with stakeholder goals (YY, JCSdPL, AL, JM), pp. 645–649.

ECSA-2007-GrauF #approach #architecture #evaluation #generative

A Goal-Oriented Approach for the Generation and Evaluation of Alternative Architectures (GG, XF), pp. 139–155.

DATE-2007-MuellerGS #design #polynomial #programming #trade-off #using

Trade-off design of analog circuits using goal attainment and “Wave Front” sequential quadratic programming (DM, HEG, US), pp. 75–80.

TACAS-2007-TsayCTWC #automaton #named #visual notation

GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal Formulae (YKT, YFC, MHT, KNW, WCC), pp. 466–471.

CHI-2007-GuiardDC #documentation #evaluation #navigation

Quantifying degree of goal directedness in document navigation: application to the evaluation of the perspective-drag technique (YG, YD, OC), pp. 327–336.

DHM-2007-BeauregardC #concept #experience #framework #metric #quality #user interface

User Experience Quality: A Conceptual Framework for Goal Setting and Measurement (RB, PC), pp. 325–332.

CAiSE-2007-LinS #modelling #process #semantics

Goal Annotation of Process Models for Semantic Enrichment of Process Knowledge (YL, AS), pp. 355–369.

ICEIS-EIS-2007-KorherrL #metric #performance #process

Extending the EPC and the BPMN with Business Process Goals and Performance Measures (BK, BL), pp. 287–294.

CIKM-2007-GoldsteinCC #identification #summary

Genre identification and goal-focused summarization (JG, GMC, JGC), pp. 889–892.

RE-2007-Aoyama #requirements

Persona-Scenario-Goal Methodology for User-Centered Requirements Engineering (MA), pp. 185–194.

RE-2007-BolchiniGP #communication #interactive

Branding and Communication Goals for Content-Intensive Interactive Applications (DB, FG, PP), pp. 173–182.

RE-2007-Fricker #network #social #using

Explaining Stakeholder Negotiation Using Social Goal Networks (SF), pp. 387–388.

RE-2007-JiangTBM #concept #database #design

Goal-Oriented Conceptual Database Design (LJ, TT, AB, JM), pp. 195–204.

RE-2007-YuNGCMELV #aspect-oriented #validation

Tracing and Validating Goal Aspects (YY, NN, BGB, WC, JM, SME, JCSdPL, GV), pp. 53–56.

REFSQ-2007-DarimontL #requirements #security #uml

Security Requirements for Civil Aviation with UML and Goal Orientation (RD, ML), pp. 292–299.

REFSQ-2007-MatuleviciusH #empirical #modelling

Comparing Goal Modelling Languages: An Experiment (RM, PH), pp. 18–32.

ICSE-2007-AbrahamE #debugging #named #spreadsheet

GoalDebug: A Spreadsheet Debugger for End Users (RA, ME), pp. 251–260.

ASE-2006-WinbladhAZR #approach #automation #testing

An Automated Approach for Goal-driven, Specification-based Testing (KW, TAA, HZ, DJR), pp. 289–292.

FASE-2006-Ghezzi #problem #re-engineering

Software Engineering: Emerging Goals and Lasting Problems (CG), p. 2.

CHI-2006-FaaborgL #web

A goal-oriented web browser (AF, HL), pp. 751–760.

ICEIS-ISAS-2006-GoeppK #information management #problem #question #requirements

Key-Problem and Goal Driven Requirements Engineering — Which Complementarities for Manufacturing Information Systems? (VG, FK), pp. 102–109.

KR-2006-FeldmannBW

Planning with Prioritized Goals (RF, GB, SW), pp. 503–514.

RE-2006-GoldsbyC #adaptation #modelling #requirements

Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System (HG, BHCC), pp. 338–339.

RE-2006-GordijnPW #comprehension #modelling #using

Understanding Business Strategies of Networked Value Constellations Using Goal- and Value Modeling (JG, MP, RW), pp. 126–135.

RE-2006-JiangTBM #analysis #biology #case study #data transformation #database #design

Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management (LJ, TT, AB, JM), pp. 196–204.

RE-2006-JuretaFS #modelling

Justifying Goal Models (IJ, SF, PYS), pp. 116–125.

RE-2006-LiaskosLYYM #analysis #on the #variability

On Goal-based Variability Acquisition and Analysis (SL, AL, YY, ESKY, JM), pp. 76–85.

RE-2006-LiuJ #analysis #problem #requirements

Integrating Goals and Problem Frames in Requirements Analysis (LL, ZJ), pp. 342–343.

RE-2006-Mylopoulos #requirements

Goal-Oriented Requirements Engineering, Part II (JM), p. 4.

RE-2006-NiuE #grid #modelling

Managing Terminological Interference in Goal Models with Repertory Grid (NN, SME), pp. 296–299.

FSE-2006-DamasLL #state machine #synthesis

Scenarios, goals, and state machines: a win-win partnership for model synthesis (CD, BL, AvL), pp. 197–207.

SIGMOD-2005-ConsensBTM #benchmark #metric #recommendation

Goals and Benchmarks for Autonomic Configuration Recommenders (MPC, DB, AMT, LM), pp. 239–250.

ITiCSE-2005-MullerH #algorithm #guidelines #multi #object-oriented #problem

Guidelines for a multiple-goal CS introductory course: algorithmic problem-solving woven into OOP (OM, BH), p. 356.

ICSM-2005-Jurjens #comprehension #implementation #security

Understanding Security Goals Provided by Crypto-Protocol Implementations (JJ), pp. 643–646.

CAiSE-2005-Franch #lightweight #modelling #on the

On the Lightweight Use of Goal-Oriented Models for Software Package Selection (XF), pp. 551–566.

ECIR-2005-DominichGHK #principle

“Beauty” of the World Wide Web-Cause, Goal, or Principle (SD, JG, MH, TK), pp. 67–80.

SEKE-2005-ArdimentoBCV #information management

Decision Tables for Knowledge Acquisition during Goal Interpretation (PA, MTB, DC, GV), pp. 404–407.

RE-2005-BreauxA #semantics

Analyzing Goal Semantics for Rights, Permissions, and Obligations (TDB, AIA), pp. 177–188.

RE-2005-RegevW #requirements

Where do Goals Come from: the Underlying Principles of Goal-Oriented Requirements Engineering (GR, AW), pp. 353–362.

RE-2005-YuWMLLL #legacy #modelling #reverse engineering

Reverse Engineering Goal Models from Legacy Code (YY, YW, JM, SL, AL, JCSdPL), pp. 363–372.

ICSE-2005-ChatleyUKM #animation #requirements #validation #web

Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.

ICSE-2005-Cleland-HuangSKBC #non-functional #requirements #traceability

Goal-centric traceability for managing non-functional requirements (JCH, RS, OBK, EB, SC), pp. 362–371.

ICSE-2005-DemskyR #data type #reasoning #using

Data structure repair using goal-directed reasoning (BD, MCR), pp. 176–185.

SEFM-2004-SandersB #modelling #peer-to-peer #uml

Modeling Peer-to-Peer Service Goals in UML (RTS, RB), pp. 144–153.

CAiSE-2004-SebastianiGM #low cost #modelling #satisfiability

Simple and Minimum-Cost Satisfiability for Goal Models (RS, PG, JM), pp. 20–35.

CAiSE-2004-SofferW #analysis #process

Goal-Driven Analysis of Process Model Validity (PS, YW), pp. 521–535.

ICEIS-v3-2004-BennasriS #approach #component #requirements #variability

Capturing Requirements Variability into Components: A Goal Driven Approach (SB, CS), pp. 438–443.

CIKM-2004-SiersdorferSW #classification #documentation #parametricity

Goal-oriented methods and meta methods for document classification and their parameter tuning (SS, SS, GW), pp. 59–68.

ICPR-v2-2004-BaiH #approach #documentation #image

A Goal-Oriented Verification-Based Approach for Target Text Line Extraction from a Document Image Captured by a Pen Scanner (ZLB, QH), pp. 574–577.

RE-2004-Gonzalez-BaixauliLM #analysis #modelling #variability #visual notation

Visual Variability Analysis for Goal Models (BGB, JCSdPL, JM), pp. 198–207.

RE-2004-Lamsweerde #requirements #research

Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice (AvL), pp. 4–7.

RE-2004-UchitelCKM #animation #requirements #validation

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (SU, RC, JK, JM), pp. 208–217.

RE-2004-VanLMP #animation #requirements

Goal-Oriented Requirements Animation (HTV, AvL, PM, CP), pp. 218–228.

RE-2004-YuLM #aspect-oriented #modelling #requirements

From Goals to Aspects: Discovering Aspects from Requirements Goal Models (YY, JCSdPL, JM), pp. 38–47.

SAC-2004-Kavakli #analysis #modelling

Modeling organizational goals: analysis of current methods (EK), pp. 1339–1343.

SAC-2004-SanthanakrishnanACL #algorithm #named #self

GD-GhOST: a goal-oriented self-tuning caching algorithm (GS, AA, PKC, DL), pp. 1141–1145.

FSE-2004-LetierL #design #reasoning #requirements

Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.

CSL-2004-MetcalfeOG #logic

Goal-Directed Methods for Lukasiewicz Logic (GM, NO, DMG), pp. 85–99.

ESOP-2003-GenaimK #analysis #independence #logic programming #scheduling #source code

Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling (SG, AK), pp. 84–98.

SFM-2003-Lamsweerde #architecture

From System Goals to Software Architecture (AvL), pp. 25–43.

CAiSE-2003-DonzelliB #case study #requirements

Goal-Oriented Requirements Engineering: A Case Study in E-government (PD, PB), pp. 601–616.

ICEIS-v3-2003-BrowneSW #workflow

A Two Tier, Goal-Driven Workflow Model for the Healthcare Domain (EDB, MS, JRW), pp. 32–39.

ICEIS-v3-2003-LiLWWL #adaptation #elicitation #process #requirements

A Context-Aware User-Adaptive Supporting System for Goal-Oriented Requirements Elicitation Process (CL, HL, JW, QW, ML), pp. 347–356.

ICML-2003-IsaacS #learning

Goal-directed Learning to Fly (AI, CS), pp. 258–265.

RE-2003-AlspaughA #analysis #case study

Contrasting Use Case, Goal, and Scenario Analysis of the Euronet System (TAA, AIA), pp. 355–356.

RE-2003-BolchiniPR #analysis #hypermedia #requirements

Adding Hypermedia Requirements to Goal-Driven Analysis (DB, PP, GR), pp. 127–137.

RE-2003-HuiLM #analysis #framework #requirements

Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework (BH, SL, JM), pp. 117–126.

RE-2003-LandtsheerLL #modelling #requirements #specification

Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models (RDL, EL, AvL), p. 200–?.

RE-2003-OshiroWS #elicitation #generative #idea #requirements

Goal-Oriented Idea Generation Method for Requirements Elicitation (KO, KW, MS), pp. 363–364.

SAC-2003-Bella #protocol

Availability of Protocol Goals (GB), pp. 312–317.

ICSE-2003-Lamsweerde #modelling #precise #requirements #specification #uml

Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.

CSL-2003-MetcalfeOG #logic

Goal-Directed Calculli for Gödel-Dummett Logics (GM, NO, DMG), pp. 413–426.

WCRE-2002-TahvildariK #graph #maintenance #using

A Methodology for Developing Transformations Using the Maintainability Soft-Goal Graph (LT, KK), p. 77–?.

PLDI-2002-JoshiNR #named

Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.

CAiSE-2002-CaiY #approach #performance #requirements #using

Addressing Performance Requirements Using a Goal and Scenario-Oriented Approach (ZC, ESKY), pp. 706–710.

CAiSE-2002-LiuY #approach #design #social

Designing Web-Based Systems in Social Context: A Goal and Scenario Based Approach (LL, ESKY), pp. 37–51.

ICEIS-2002-Petit

A Method for WIS Centered on Users Goals (NP), pp. 975–980.

KR-2002-WinikoffPHT #declarative

Declarative & Procedural Goals in Intelligent Agent Systems (MW, LP, JH, JT), pp. 470–481.

SEKE-2002-AlvesF #challenge #off the shelf #perspective #requirements

Challenges in COTS decision-making: a goal-driven requirements engineering perspective (CFA, AF), pp. 789–794.

RE-2002-AntonER #privacy #requirements #taxonomy #using

Analyzing Website Privacy Requirements Using a Privacy Goal Taxonomy (AIA, JBE, AR), pp. 23–31.

RE-2002-KaiyaHS #analysis #named #requirements

AGORA: Attributed Goal-Oriented Requirements Analysis Method (HK, HH, MS), pp. 13–22.

SAC-2002-Jurjens02a #development #using

Using UMLsec and goal trees for secure systems development (JJ), pp. 1026–1030.

FSE-2002-LetierL #specification

Deriving operational software specifications from system goals (EL, AvL), pp. 119–128.

ICSE-2002-LetierL #requirements

Agent-based tactics for goal-oriented requirements elaboration (EL, AvL), pp. 83–93.

ICSE-2002-WeissBPTZ #assessment

Goal-oriented software assessment (DMW, DB, JYP, PT, PZ), pp. 221–231.

FLOPS-2001-Almendros-JimenezB #bottom-up #evaluation #framework #functional #logic programming #source code

A Framework for Goal-Directed Bottom-Up Evaluation of Functional Logic Programs (JMAJ, ABT), pp. 153–169.

ICEIS-v2-2001-MendesVCNST #modelling #representation

Representing Business Strategy through Goal Modeling (RM, AV, AC, JN, PS, JMT), pp. 884–887.

SAIG-2001-DanvyGR #approach #evaluation

A Unifying Approach to Goal-Directed Evaluation (OD, BG, MR), pp. 108–125.

PADL-2001-BaldoniBCP #logic #programming #using #web

Programming Goal-Driven Web Sites Using an Agent Logic Language (MB, CB, AC, VP), pp. 60–75.

RE-2001-GrossY #approach #architecture #evolution

Evolving System Architecture to Meet Changing Business Goals: An Agent and Goal-Oriented Approach (DG, ESKY), pp. 316–317.

RE-2001-Lamsweerde #requirements

Goal-Oriented Requirements Engineering: A Guided Tour (AvL), p. 249.

SAC-2001-Chainbi #logic

A belief-goal-role logic for a single-agent system (WC), pp. 22–26.

SAC-2001-Jeffery #object-oriented #programming

Goal-directed object-oriented programming in unicon (CLJ), pp. 306–308.

CC-2001-WattersonD #profiling

Goal-Directed Value Profiling (SAW, SKD), pp. 319–333.

RTA-2001-LynchM

Goal-Directed E-Unification (CL, BM), pp. 231–245.

SIGMOD-2000-GillmannWSWW #distributed #workflow

A Goal-driven Auto-Configuration Tool for the Distributed Workflow Management System Mentor-lite (MG, JW, GS, WW, GW), p. 595.

CSMR-2000-Oinas #case study #fault #metric

Defining Goal-driven Fault Management Metrics in a Real World Environment: A Case-Study from Nokia (AO), pp. 101–108.

KR-2000-Thomason #framework

Desires and Defaults: A Framework for Planning with Inferred Goals (RHT), pp. 702–713.

CL-2000-HarlandLW #logic #multi #proving

Goal-Directed Proof Search in Multiple-Conclusions Intuitionistic Logic (JH, TL, MW), pp. 254–268.

HCI-CCAD-1999-Lehtola #information management #multi

Multilingual information services as a goal (AL), pp. 767–771.

CAiSE-1999-YiJ #process #reasoning #representation

Beyond Goal Representation: Checking Goal-Satisfaction by Temporal Reasoning with Business Processes (CHY, PJ), pp. 462–466.

ICEIS-1999-DoladoFOU #estimation #project management

Software Effort Estimation: The Elusive Goal in Project Management (JJD, LF, MCO, LU), pp. 412–418.

SEKE-1999-WangenheimAB #re-engineering #retrieval #similarity

Goal-Oriented and Similarity-Based Retrieval of Software Engineering Experienceware (CGvW, KDA, RMB), pp. 118–141.

LOPSTR-1999-PettorossiP #logic programming #source code

Transformation Rules for Logic Programs with Goals as Arguments (AP, MP), pp. 176–195.

RE-1999-RollandGK #experience #requirements

Experience with Goal-Scenario Coupling in Requirements Engineering (CR, GG, RK), p. 74–?.

ICSE-1999-MemonPS #approach #testing #user interface #using

Using a Goal-Driven Approach to Generate Test Cases for GUIs (AMM, MEP, MLS), pp. 257–266.

ITiCSE-1998-Cassel #education #library

A digital library for undergraduate education: goals and status of efforts at the US National Science Foundation (poster) (LNC), p. 272.

CAiSE-1998-KavakliL #analysis #process

Goal-Driven Business Process Analysis — Application in Electricity Deregulation (VK, PL), pp. 305–324.

KDD-1998-KellyHA #data mining #mining #performance

Defining the Goals to Optimise Data Mining Performance (MGK, DJH, NMA), pp. 234–238.

KR-1998-Sandewall #behaviour #logic #modelling

Logic Based Modelling of Goal-Directed Behavior (ES), pp. 304–315.

REFSQ-1998-YuM #requirements #why

Why Goal-Oriented Requirements Engineering (ESKY, JM), pp. 15–22.

ICSE-1998-AntonP #evolution #requirements

The Use of Goals to Surface Requirements for Evolving Systems (AIA, CP), pp. 157–166.

ICSE-1998-LamsweerdeL #requirements

Integrating Obstacles in Goal-Driven Requirements Engineering (AvL, EL), pp. 53–62.

PLDI-1997-Proebsting #evaluation

Simple Translation of Goal-Directed Evaluation (TAP), pp. 1–6.

ICML-1997-ReddyT #learning #using

Learning Goal-Decomposition Rules using Exercises (CR, PT), pp. 278–286.

RE-1997-DarimontDML #analysis #integration #layout #named #requirements

GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout (RD, ED, PM, AvL), p. 140.

ICSE-1997-DarimontDML #named #requirements

GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (RD, ED, PM, AvL), pp. 612–613.

ICLP-1997-Codish #bottom-up #evaluation #logic programming #performance #source code

Efficient Goal Directed Bottom-up Evaluation of Logic Programs (MC), p. 422.

RTA-1997-Lynch #graph #using

Goal-Directed Completion Using SOUR Graphs (CL), pp. 8–22.

SIGMOD-1996-BrownCL #revisited

Goal-Oriented Buffer Management Revisited (KPB, MJC, ML), pp. 353–364.

ICML-1996-EzawaSN #learning #network #risk management

Learning Goal Oriented Bayesian Networks for Telecommunications Risk Management (KJE, MS, SWN), pp. 139–147.

ICML-1996-ReddyTR #composition #empirical #learning

Theory-guided Empirical Speedup Learning of Goal Decomposition Rules (CR, PT, SR), pp. 409–417.

KR-1996-LeshE #recognition #scalability

Scaling Up Goal Recognition (NL, OE), pp. 244–255.

SEKE-1996-KimSK #communication

Relationship Between Communication Capability and Goal Achievement in System of Agents (HGK, YCS, MhK), pp. 246–252.

ICRE-1996-Anton #analysis #requirements

Goal-Based Requirements Analysis (AIA), pp. 136–144.

FSE-1996-DarimontL #refinement #requirements

Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.

AdaEurope-1995-RybinSZ #implementation #problem

ASIS for GNAT: Goals, Problems and Implementation Strategy (SR, AS, EZ), pp. 139–151.

PLILP-1995-ShimajiriSI #database #logic #query

Goal-Directed Query Processing in Disjunctive Logic Databases (YS, HS, HI), pp. 415–430.

RE-1995-LamsweerdeDM #lessons learnt #problem #requirements

Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (AvL, RD, PM), pp. 194–203.

ICLP-1995-ShimajiriSI #database #logic #query

Making Query Processing Goal-Directed in Disjunctive Logic Databases (YS, HS, HI), p. 820.

ILPS-1995-Dershowitz #semantics

Goal Solving as Operational Semantics (ND), pp. 3–17.

CSEE-1994-MooreP #experience #learning #re-engineering

Learning by Doing: Goals & Experience of Two Software Engineering Project Courses (MMM, CP), pp. 151–164.

CAiSE-1994-AntonMP #analysis #composition #process #re-engineering

Goal Decomposition and Scenario Analysis in Business Process Reengineering (AIA, WMM, CP), pp. 94–104.

SAC-1994-Foster #analysis #education #named #using

FRA: using a goal-based scenario to teach financial statement analysis (DAF), pp. 568–572.

SAC-1994-GabbrielliG #analysis #logic programming #source code

Goal independency and call patterns in the analysis of logic programs (MG, RG), pp. 394–399.

CADE-1994-Bruning #detection

Detecting Non-Provable Goals (SB), pp. 222–236.

KBSE-1993-DrummondHI #automation

Accelerating Browsing By Automatically Inferring A User’s Search Goal (CD, RH, DI), p. 23.

VLDB-1993-BrownCL #memory management #multi

Managing Memory to Meet Multiclass Workload Response Time Goals (KPB, MJC, ML), pp. 328–341.

HCI-ACS-1993-AielloS #feedback #monitoring #performance

Electronic Performance Monitoring and Stress: The Role of Feedback and Goal Setting (JRA, YS), pp. 1011–1016.

TOOLS-USA-1993-Deshpande #named

COBRA: Its Goals and Impact on the O-O World (SD), p. 549.

LOPSTR-1993-BoulangerB #abstract interpretation #using

Using Abstract Interpretation for Goal Replacement (DB, MB), pp. 210–228.

ESEC-1993-EmmerichSW #database #re-engineering

Databases for Software Engineering Environments — The Goal has not yet been attained (WE, WS, JW), pp. 145–162.

ICLP-1993-Brzoska #bound #logic programming

Temporal Logic Programming with Bounded Universal Modality Goals (CB), pp. 239–256.

ILPS-1993-BerryE #generative #query #recursion

Generating Goals and Their Use In Recursive Query Processing (VB, PÉ), p. 649.

ILPS-1993-ChenSW #evaluation

Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.

ILPS-1993-Harland #logic #on the

On Goal-Directed Provability in Classical Logic (JH), p. 677.

ILPS-1993-Nilsson #bottom-up #evaluation #logic programming #source code

Goal-directed Bottom-up Evaluation of Normal Logic Programs (UN), p. 647.

KR-1992-HaddawyH

Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals (PH, SH), pp. 71–82.

ML-1992-ConverseH #learning

Learning to Satisfy Conjunctive Goals (TMC, KJH), pp. 117–122.

ALP-1992-Socher-Ambrosius

A Goal Oriented Strategy Based on Completion (RSA), pp. 435–445.

JICSLP-1992-ChenW #approach #semantics

A Goal-Oriented Approach to Computing Well Founded Semantics (WC, DSW), pp. 589–603.

KDD-1991-KaufmanMK #database #mining

Mining for Knowledge in Databases: Goals and General Description of the INLEN System (KAK, RSM, LK), pp. 449–464.

ML-1991-RamH #approach #information retrieval

A Goal-Based Approach to Intelligent Information Retrieval (AR, LH), pp. 265–269.

RTA-1991-SnyderL

Goal Directed Strategies for Paramodulation (WS, CL), pp. 150–161.

ML-1990-Bostrom #approach #order

Generalizing the Order of Goals as an Approach to Generalizing Number (HB), pp. 260–267.

ALP-1990-Han #graph #query #recursion

Recursive Query Processing in Predicate-Goal Graph (JLH), pp. 247–261.

CSL-1990-Burgard #logic programming #performance #source code

Efficiency Considerations on Goal-Directed Chaining for Logic Programs (WB), pp. 80–94.

ML-1989-Morris #learning

Reducing Search and Learning Goal Preferences (SM), pp. 46–48.

RTA-1989-BertlingG #optimisation

Completion-Time Optimization of Rewrite-Time Goal Solving (HB, HG), pp. 45–58.

PLILP-1988-BarbutiM #logic programming #source code

A Tool to Check the Non-Floundering Logic Programs and Goals (RB, MM), pp. 58–67.

CADE-1988-Plaisted #proving #theorem proving

A Goal Directed Theorem Prover (DAP), p. 737.

ICSE-1987-BasiliR #process

Tailoring the Software Process to Project Goals and Environments (VRB, HDR), pp. 345–359.

ICLP-1987-Hermenegildo87 #execution #logic programming #memory management #precedence #source code

Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs (MVH), pp. 556–575.

SLP-1987-SchmidtKGB87 #compilation #deduction

Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.

CSCW-1986-Neches #people #tool support

Tools help people co-operate only to the extent that they help them share goals and terminology (RN), pp. 192–201.

POPL-1976-Wegbreit #program transformation

Goal-Directed Program Transformation (BW), pp. 153–170.

DAC-1973-Mitchell #standard

A standard test language — GOAL (Ground Operations Aerospace Language) (TRM), pp. 87–96.