BibSLEIGH — requirements tag

requirements

requirements

Tag #requirements

2027 papers:

SANER-2019-Jin #challenge #traceability: Forward and backward traceability: Requirements and challenges (Keynote) (ZJ), p. 3.
MoDELS-2019-AlferezPSBR #behaviour #development #modelling: Bridging the Gap between Requirements Modeling and Behavior-Driven Development (MA, FP, MS, LCB, JRR), pp. 239–249.
MoDELS-2019-DeVriesC #analysis #modelling #non-functional: Goal-Based Modeling and Analysis of Non-Functional Requirements (BD, BHCC), pp. 261–271.
ASE-2019-HuangFZZWJMP #analysis #editing #modelling #named #precise: Prema: A Tool for Precise Requirements Editing, Modeling and Analysis (YH, JF, HZ, JZ, SW, SJ, WM, GP), pp. 1166–1169.
ASE-2019-Kolthoff #automation #generative #natural language #prototype #strict #user interface #visual notation: Automatic Generation of Graphical User Interface Prototypes from Unrestricted Natural Language Requirements (KK), pp. 1234–1237.
ASE-2019-Reich #automation #verification: Inference of Properties from Requirements and Automation of Their Formal Verification (MR), pp. 1222–1225.
ESEC-FSE-2019-BarashFJRTZ #feature model #interactive #ml #using: Bridging the gap between ML solutions and their business requirements using feature interactions (GB, EF, IJ, OR, RTB, MZ), pp. 1048–1058.
ESEC-FSE-2019-Gizzatullina #agile #communication #empirical #problem: Empirical study of customer communication problem in agile requirements engineering (IG), pp. 1262–1264.
ESEC-FSE-2019-Melegati: Improving requirements engineering practices to support experimentation in software startups (JM), pp. 1172–1175.
ESEC-FSE-2019-NejatiGMBFW #model checking #modelling #testing: Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.
ICST-2019-VuottoNPT #automation #consistency #named: Poster: Automatic Consistency Checking of Requirements with ReqV (SV, MN, LP, AT), pp. 363–366.
MSR-2018-0002LM08 #debugging #information management #locality #traceability: Analyzing requirements and traceability information to improve bug localization (MR0, DL0, PM), pp. 442–453.
SANER-2018-LiSS #automation #network: Extracting features from requirements: Achieving accuracy and automation with neural networks (YL0, SS, GS), pp. 477–481.
FM-2018-MunozND: From Formal Requirements to Highly Assured Software for Unmanned Aircraft Systems (CAM, AN, AD), pp. 647–652.
SEFM-2018-GolraDSSG #specification #using: Bridging the Gap Between Informal Requirements and Formal Specifications Using Model Federation (FRG, FD, JS, IS, SG), pp. 54–69.
ECMFA-2018-Ramadan0SRJ #detection #modelling #process #security: Detecting Conflicts Between Data-Minimization and Security Requirements in Business Process Models (QR, DS, MS, VR, JJ), pp. 179–198.
MoDELS-2018-HolmesZ #architecture #modelling #refactoring: Refactoring Architecture Models for Compliance with Custom Requirements (TH, UZ), pp. 267–277.
ASE-2018-Cleland-Huang #automation #challenge: Automated requirements engineering challenges with examples from small unmanned aerial systems (keynote) (JCH), p. 3.
ASE-2018-Galinier #approach #domain-specific language: A DSL for requirements in the context of a seamless approach (FG), pp. 932–935.
ESEC-FSE-2018-ImtiazB #data-driven #predict #towards: Towards data-driven vulnerability prediction for requirements (SMI, TB), pp. 744–748.
ICSE-2018-GralhaDWG0 #evolution: The evolution of requirements practices in software startups (CG, DED, AIW, MG, JA0), pp. 823–833.
SLE-2018-RiesCG #approach #named #uml: Messir: a text-first DSL-based approach for UML requirements engineering (BR, AC, NG), pp. 103–107.
ECSA-2017-HaselbockWB #case study #design #modelling: Decision Models for Microservices: Design Areas, Stakeholders, Use Cases, and Requirements (SH, RW, GB), pp. 155–170.
CSEET-2017-IacobF #education #using: Using Extreme Characters to Teach Requirements Engineering (CI, SF), pp. 107–111.
CSEET-2017-RupakhetiHMCS #on the: On a Pursuit for Perfecting an Undergraduate Requirements Engineering Course (CRR, MH, SM, SC, AS), pp. 97–106.
MSR-2017-PaixaoFDM #integration #non-functional #on the: On the interplay between non-functional requirements and builds on continuous integration (KVRP, CZF, FMD, MdAM), pp. 479–482.
SANER-2017-AntinyanS: Proactive reviews of textual requirements (VA, MS), pp. 541–545.
SEFM-2017-MahmudSL #analysis #embedded #logic #semantics #specification: Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic (NM, CS, OL), pp. 332–348.
SEFM-2017-MasciZJC #analysis #identification #safety #user interface: A Hazard Analysis Method for Systematic Identification of Safety Requirements for User Interface Software in Medical Devices (PM, YZ0, PLJ, JCC), pp. 284–299.
SEFM-2017-MatteplackelPW #calculus #diagrams #formal method: Formalizing Timing Diagram Requirements in Discrete Duration Calculus (RMM, PKP, AW), pp. 253–268.
SEFM-2017-NguyenSGM #evolution #modelling #reasoning: Modeling and Reasoning on Requirements Evolution with Constrained Goal Models (CMN, RS, PG, JM), pp. 70–86.
ASE-2017-Busari #analysis #architecture #modelling #search-based #towards: Towards search-based modelling and analysis of requirements and architecture decisions (SAB), pp. 1026–1029.
ASE-2017-KritzingerKVRG #monitoring #visualisation: Visualization support for requirements monitoring in systems of systems (LMK, TK, MV, RR, PG), pp. 889–894.
ESEC-FSE-2017-AlrajehPN #forensics #on the: On evidence preservation requirements for forensic-ready systems (DA, LP, BN), pp. 559–569.
ICSE-2017-BusariL #analysis #architecture #lightweight #named: RADAR: a lightweight tool for requirements and architecture decision analysis (SAB, EL), pp. 552–562.
SLE-2017-BarisicBAG #approach #development #domain-specific language #usability: A requirements engineering approach for usability-driven DSL development (AB, DB, VA, MG), pp. 115–128.
ASPLOS-2017-CherupalliDY0S #energy #power management: Determining Application-specific Peak Power and Energy Requirements for Ultra-low Power Processors (HC, HD, WY, RK0, JS), pp. 3–16.
CASE-2017-OliveiraCMS #hybrid #simulation: Simulation of hybrid systems from natural-language requirements (BO, GC, MRM, AS), pp. 1320–1325.
FASE-2017-LaraRRGIPC #model transformation #modelling #reuse #type system: Reusing Model Transformations Through Typing Requirements Models (JdL, JDR, DDR, EG, LI, AP, JSC), pp. 264–282.
ICST-2017-WangPB #automaton #case study #testing: System Testing of Timing Requirements Based on Use Cases and Timed Automata (CW, FP, LCB), pp. 299–309.
CSEET-2016-DaunSWPT #case study #experience #industrial #learning: Project-Based Learning with Examples from Industry in University Courses: An Experience Report from an Undergraduate Requirements Engineering Course (MD, AS, TW, KP, BT), pp. 184–193.
CSEET-2016-MarsicanoMFF #approach #education #modelling #process: An Integrated Approach to the Requirements Engineering and Process Modelling Teaching (GM, FFM, MVF, SAAdF), pp. 166–174.
CSEET-2016-WeiDCS #concept #education #framework #graph #modelling #uml: A Conceptual Graphs Framework for Teaching UML Model-Based Requirements Acquisition (BW, HSD, EC, CS), pp. 71–75.
SEFM-2016-BendikBBC #analysis #bound #order #safety #set: Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis (JB, NB, JB, IC), pp. 121–136.
ICML-2016-Pimentel-Alarcon #clustering: The Information-Theoretic Requirements of Subspace Clustering with Missing Data (DLPA, RDN), pp. 802–810.
SKY-2016-Fraga #industrial #process: Systems Engineering in the Industrial Environment: Requirements Engineering Processes (AF), pp. 78–80.
SKY-2016-Genova: Requirements Engineering: More Is Not Necessarily Better (GG), pp. 65–68.
SKY-2016-TanITAJ #development #evaluation #ontology: Development and Evaluation of a Software Requirements Ontology (HT, MI, VT, AA, MEJ), pp. 11–18.
ICMT-2016-TehraniZL #development: Requirements Engineering in Model-Transformation Development: An Interview-Based Study (SYT, SZ, KL), pp. 123–137.
MoDELS-2016-AroraSBZ #approach #domain model #evaluation #industrial #modelling: Extracting domain models from natural-language requirements: approach and industrial evaluation (CA, MS, LCB, FZ), pp. 250–260.
MoDELS-2016-DeVriesC #analysis #automation #detection: Automatic detection of incomplete requirements via symbolic analysis (BD, BHCC), pp. 385–395.
ASE-2016-MoketarKSRG #automation #collaboration #validation: An automated collaborative requirements engineering tool for better validation of requirements (NAM, MK, SS, MR, JCG), pp. 864–869.
ASE-2016-Mougouei #dependence #graph #integer #programming #using: Factoring requirement dependencies in software requirement selection using graphs and integer programming (DM), pp. 884–887.
ASE-2016-PescadorL #design #domain-specific language #named: DSL-maps: from requirements to design of domain-specific languages (AP, JdL), pp. 438–443.
FSE-2016-NejatiS0BM #automation #design #impact analysis #modelling: Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
FSE-2016-NiuWG #traceability #using: Gray links in the use of requirements traceability (NN, WW0, AG), pp. 384–395.
ICSE-2016-AlrajehLKRU #modelling: Risk-driven revision of requirements models (DA, AvL, JK, AR, SU), pp. 855–865.
ICSE-2016-AnishBSCDWG #architecture: Probing for requirements knowledge to stimulate architectural thinking (PRA, BB, AS, JCH, MD, RJW, SG), pp. 843–854.
ICST-2016-ArtsH #how #question: How Well are Your Requirements Tested? (TA, JH), pp. 244–254.
ECSA-2015-GroherW #architecture: Collecting Requirements and Ideas for Architectural Group Decision-Making Based on Four Approaches (IG, RW), pp. 181–192.
ECSA-2015-SporerMKB #agile #approach #design: A Lean Automotive E/E-System Design Approach with Integrated Requirements Management Capability (HS, GM, CK, EB), pp. 251–258.
MSR-2015-ZouXGYYZ #analysis #developer #empirical #non-functional #stack overflow #topic #using: Which Non-functional Requirements Do Developers Focus On? An Empirical Study on Stack Overflow Using Topic Analysis (JZ, LX, WG, MY, DY, XZ), pp. 446–449.
SANER-2015-LianZ #feature model #non-functional #product line #towards: Optimized feature selection towards functional and non-functional requirements in Software Product Lines (XL, LZ), pp. 191–200.
SEFM-2015-CarvalhoBCCMS #csp #natural language #testing: NAT2TEST Tool: From Natural Language Requirements to Test Cases Based on CSP (GC, FAB, AC, AC, AM, AS), pp. 283–290.
CHI-PLAY-2015-MerdenyanP #experience #user interface: User Reviews of Gamepad Controllers: A Source of User Requirements and User Experience (BM, HP), pp. 643–648.
VS-Games-2015-ShreenathKRM #gamification #maintenance: A Feasibility Study for Gamification in Transport Maintenance: Requirements to Implement Gamification in Heterogeneous Organizations (VMS, MK, JR, SM), pp. 1–7.
CHI-2015-MunteanuMMROV #human-computer #interactive: Situational Ethics: Re-thinking Approaches to Formal Ethics Requirements for Human-Computer Interaction (CM, HM, WM, MR, SO, JV), pp. 105–114.
DHM-EH-2015-MeryS #modelling #using: Analyzing Requirements Using Environment Modelling (DM, NKS), pp. 345–357.
DHM-EH-2015-SinghWLMW #formal method #modelling #reasoning: Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (NKS, HW, ML, TSEM, AW), pp. 387–398.
DUXU-UI-2015-Bahr #mobile #prototype #tool support #towards #user interface: Towards a Requirements Catalogue for Prototyping Tools of Mobile User Interfaces (BB), pp. 495–507.
DUXU-UI-2015-LiHF #quality #scalability #user interface #using: Scaling Preferences of Different Stakeholders — Using the Example of Prioritizing Quality Requirements on User Interface Texts (YL, TH, PF), pp. 75–86.
HCI-DE-2015-StopkaPF #concept: User Requirements for Intermodal Mobility Applications and Acceptance of Operating Concepts (US, RP, KF), pp. 415–425.
HCI-UC-2015-Wittenberg #automation #industrial #question #user interface: Cause the Trend Industry 4.0 in the Automated Industry to New Requirements on User Interfaces? (CW), pp. 238–245.
CAiSE-2015-DelmasP #policy #verification: Need-to-Share and Non-diffusion Requirements Verification in Exchange Policies (RD, TP), pp. 151–165.
CAiSE-2015-SirenSJ #lifecycle: The Requirements and Needs of Global Data Usage in Product Lifecycle Management (AS, KS, MJ), pp. 103–117.
CAiSE-2015-TsuchiyaWFOM #configuration management #feedback #interactive #traceability #using: Interactive Recovery of Requirements Traceability Links Using User Feedback and Configuration Management Logs (RT, HW, YF, KO, RM), pp. 247–262.
ICEIS-v2-2015-JuniorP #approach #identification #named #ontology: OnTheme/Doc — An Ontology-based Approach for Crosscutting Concern Identification from Software Requirements (PAPJ, RADP), pp. 188–200.
ICEIS-v2-2015-ThommazoCHGPBF #complexity #dependence #testing #using: Using the Dependence Level Among Requirements to Priorize the Regression Testing Set and Characterize the Complexity of Requirements Change (ADT, KC, EMH, GG, JP, AB, SF), pp. 231–241.
SEKE-2015-BurnayJF #elicitation #how: How Stakeholders’ Commitment May Affect the Success of Requirements Elicitation (CB, IJ, SF), pp. 336–341.
SEKE-2015-KalinowskiSCPF0 #problem #towards: Towards Building Knowledge on Causes of Critical Requirements Engineering Problems (MK, ROS, TC, RP, DMF, SW), pp. 1–6.
SEKE-2015-TakahashiNT #automation #elicitation #feedback #topic #towards #using: Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA (HT, HN, TT), pp. 489–494.
SEKE-2015-YangL #classification #identification: Identification and Classification of Requirements from App User Reviews (HY, PL), pp. 7–12.
SKY-2015-BoschenR: Tracing of Informal and Formal Requirements through Model Variables (MB, CR), pp. 58–63.
SKY-2015-Fraga #industrial #quality: Quality of Requirements in the Industrial Environment (AF), pp. 69–70.
SKY-2015-Goldin #elicitation: GQR Model to Support Requirements Elicitation for Content Rich Systems (LG), pp. 46–52.
MoDELS-2015-NguyenGA #case study: Integrating goal-oriented and use case-based requirements engineering: The missing link (THN, JCG, MA), pp. 328–337.
SPLC-2015-Beuche15a #product line: Managing requirements in product lines (DB), p. 387.
SPLC-2015-Munoz-Fernandez #adaptation #approach #named #self #simulation: REFAS: a PLE approach for simulation of self-adaptive systems requirements (JCMF, GT, IR, RM, CS), pp. 121–125.
AdaEurope-2015-UruenaPCFJ: Guaranteeing Timing Requirements in the IXV On-Board Software (SU, NP, BNC, CF, AJ), pp. 100–115.
REFSQ-2015-Berntsson-Svensson #case study #elicitation #evaluation #quality: A Case Study Evaluation of the Guideline-Supported QUPER Model for Elicitation of Quality Requirements (RBS, BR), pp. 230–246.
REFSQ-2015-BreinerGKM #perspective #research: Requirements Engineering in the Bidding Stage of Software Projects — A Research Preview (KB, MG, AK, CM), pp. 270–276.
REFSQ-2015-CanchiD #functional #interactive #modelling: Functional Requirements Modelling for Interactive TV Applications (SC, JED), pp. 254–261.
REFSQ-2015-DaunWP #detection #embedded: Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
REFSQ-2015-DuanDCM #clustering #online: User-Constrained Clustering in Online Requirements Forums (CD, HD, JCH, BM), pp. 284–299.
REFSQ-2015-GharibG #modelling #quality #reasoning: Modeling and Reasoning About Information Quality Requirements (MG, PG), pp. 49–64.
REFSQ-2015-GhaziSG #approach #named #visualisation: FlexiView: A Magnet-Based Approach for Visualizing Requirements Artifacts (PG, NS, MG), pp. 262–269.
REFSQ-2015-GroenDA #perspective #research #towards: Towards Crowd-Based Requirements Engineering A Research Preview (ECG, JD, SA), pp. 247–253.
REFSQ-2015-HarbersDN #process: Embedding Stakeholder Values in the Requirements Engineering Process (MH, CD, MAN), pp. 318–332.
REFSQ-2015-HiisilaKK #case study #challenge #outsourcing #process: Challenges of the Customer Organization’s Requirements Engineering Process in the Outsourced Environment — A Case Study (HH, MK, SK), pp. 214–229.
REFSQ-2015-KnaussARI #development #feedback #research: Research Preview: Supporting Requirements Feedback Flows in Iterative System Development (EK, AA, MR, EI), pp. 277–283.
REFSQ-2015-LiHBG0M #refinement #specification: From Stakeholder Requirements to Formal Specifications Through Refinement (FLL, JH, AB, GG, LL, JM), pp. 164–180.
REFSQ-2015-LiHM #security #specification: Analyzing and Enforcing Security Mechanisms on Requirements Specifications (TL, JH, JM), pp. 115–131.
REFSQ-2015-LiHT #case study #formal method #performance #towards: Towards More Efficient Requirements Formalization: A Study (WL, JHH, MT), pp. 181–197.
REFSQ-2015-Liskin #communication #how: How Artifacts Support and Impede Requirements Communication (OL), pp. 132–147.
REFSQ-2015-RazavianG: Consonance Between Economic and IT Services: Finding the Balance Between Conflicting Requirements (MR, JG), pp. 148–163.
REFSQ-2015-RempelM #agile #development #implementation #metric #traceability: Estimating the Implementation Risk of Requirements in Agile Software Development Projects with Traceability Metrics (PR, PM), pp. 81–97.
REFSQ-2015-RiegelD #overview: A Systematic Literature Review of Requirements Prioritization Criteria (NR, JD), pp. 300–317.
ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language: NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ESEC-FSE-2015-GreenyerHMB #analysis #re-engineering: Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering (JG, MH, JM, RB), pp. 1002–1005.
ESEC-FSE-2015-KoskiM #architecture #lessons learnt #quality: Requirements, architecture, and quality in a mission critical system: 12 lessons learned (AK, TM), pp. 1018–1021.
ICSE-v1-2015-Ben-DavidSAB #model checking #product line #satisfiability #using: Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods (SBD, BS, JMA, SB), pp. 189–199.
ICSE-v2-2015-Franch #state of the art: Software Requirements Patterns — A State of the Art and the Practice (XF), pp. 943–944.
SAC-2015-BarnPB #approach #evaluation #privacy: An approach to early evaluation of informational privacy requirements (BSB, GP, RB), pp. 1370–1375.
SAC-2015-BassoMJV #architecture #design #evaluation #privacy #web: Requirements, design and evaluation of a privacy reference architecture for web applications and services (TB, RM, MJ, MV), pp. 1425–1432.
SAC-2015-JuniorRSM #approach #deployment #multi #non-functional: A multi-criteria approach for assessing cloud deployment options based on non-functional requirements (RGJ, TR, AS, NCM), pp. 1383–1389.
SAC-2015-LeTN #using #verification: Verifying eventuality properties of imprecise system requirements using event-B (HAL, NTT, SN), pp. 1651–1653.
SAC-2015-MarquesRA15a #process #towards #traceability: Towards a requirements traceability process centered on the traceability model (AM, FR, WdLA), pp. 1364–1369.
SAC-2015-MoralesNSA #named #specification: TRiStar: an i* extension for teleo-reactive systems requirements specifications (JMM, EN, PS, DA), pp. 283–288.
SAC-2015-Soares0W #approach #modelling #named #recognition #speech: VoiceToModel: an approach to generate requirements models from speech recognition mechanisms (FS, JA, FW), pp. 1350–1357.
CASE-2015-JeongMS #composition #design #functional: Product modularity to jointly address functional and ecological requirements in the early design stage (MGJ, JRM, HWS), pp. 33–38.
ICST-2015-BardinDDKPTM #detection: Sound and Quasi-Complete Detection of Infeasible Test Requirements (SB, MD, RD, NK, MP, YLT, JYM), pp. 1–10.
TAP-2015-MijatovMLK #diagrams #functional #process #testing #uml: Testing Functional Requirements in UML Activity Diagrams (SM, TM, PL, GK), pp. 173–190.
ECSA-2014-CaraccioloLN #architecture #how #quality #question #validation: How Do Software Architects Specify and Validate Quality Requirements? (AC, MFL, ON), pp. 374–389.
ECSA-2014-KochHD #generative #specification: Generating EAST-ADL Event Chains from Scenario-Based Requirements Specifications (TK, JH, JD), pp. 146–153.
WICSA-2014-ZernadjiTC #approach #evolution #quality #web #web service: Processing the Evolution of Quality Requirements of Web Service Orchestrations: A Pattern-Based Approach (TZ, CT, CF), pp. 139–142.
CSEET-2014-DaunSTWP #case study #industrial #motivation #student: Industrial case studies in graduate requirements engineering courses: The impact on student motivation (MD, AS, BT, TW, KP), pp. 3–12.
CSEET-2014-SedelmaierL #modelling #process #using: Using business process models to foster competencies in requirements engineering (YS, DL), pp. 13–22.
FM-2014-LiTC #component: Management of Time Requirements in Component-Based Systems (YL, THT, MC), pp. 399–415.
FDG-2014-GrowGGMW #analysis #architecture #authoring #tool support: A methodology for requirements analysis of AI architecture authoring tools (AG, SEG, PG, MM, NWF).
DUXU-TMT-2014-SakamotoM #elicitation #interactive #mobile #named #perspective: M4REMAIP: Method for Requirements Elicitation Based on Mobile Applications under an Interaction Perspective (SGS, LCdM), pp. 74–85.
HCI-AIMT-2014-LackeyBM #communication #interactive #recommendation: Recommended Considerations for Human-Robot Interaction Communication Requirements (SJL, DJB, SGM), pp. 663–674.
HCI-AS-2014-FerreiraB #analysis #elicitation #people #semantics: Eliciting Accessibility Requirements for People with Hearing Loss: A Semantic and Norm Analysis (MAMF, RB), pp. 277–288.
HCI-AS-2014-Stopka #identification #mobile: Identification of User Requirements for Mobile Applications to Support Door-to-Door Mobility in Public Transport (US), pp. 513–524.
HIMI-DE-2014-TeixeiraSFSS #prototype #tool support #using: Requirements Engineering Using Mockups and Prototyping Tools: Developing a Healthcare Web-Application (LT, VS, CF, JS, BSS), pp. 652–663.
LCT-TRE-2014-Ward #human-computer: HCI Requirements for Young Primary School CALL Learners (MW), pp. 339–348.
CAiSE-2014-BurnayJF #case study #elicitation #topic: An Exploratory Study of Topic Importance in Requirements Elicitation Interviews (CB, IJ, SF), pp. 180–195.
CAiSE-2014-EngelsmanW #architecture #concept #enterprise: Understandability of Goal-Oriented Requirements Engineering Concepts for Enterprise Architects (WE, RW), pp. 105–119.
CAiSE-2014-GralhaG0 #composition #identification #modelling: Identifying Modularity Improvement Opportunities in Goal-Oriented Requirements Models (CG, MG, JA), pp. 91–104.
CAiSE-2014-LiH #approach #security: Dealing with Security Requirements for Socio-Technical Systems: A Holistic Approach (TL, JH), pp. 285–300.
EDOC-2014-KoetterKWFL: Integrating Compliance Requirements across Business and IT (FK, MK, AW, CF, FL), pp. 218–225.
ICEIS-v2-2014-GarciaP #as a service #maintenance: SaaS Usage Information for Requirements Maintenance (AG, ACRP), pp. 323–330.
ICEIS-v2-2014-JuniorP #aspect-oriented: Aspect-Oriented Requirements Engineering — A Systematic Mapping (PAPJ, RADP), pp. 83–95.
ICEIS-v2-2014-PanfilenkoEML #impact analysis #independence #model transformation #platform #recommendation: Recommendations for Impact Analysis of Model Transformations — From the Requirements Model to the Platform-independent Model (DVP, AE, CM, PL), pp. 428–434.
ICEIS-v2-2014-RalyteB #implementation #novel: Implementing Novel IT Products in Small Size Organizations — Technology-driven Requirements Engineering (JR, LB), pp. 153–160.
ICEIS-v2-2014-SarmientoLRS #approach #automation #concurrent #generative #testing: An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions (ES, JCSdPL, NR, AvS), pp. 339–347.
ICEIS-v2-2014-Silva #automation #framework #quality #specification #validation: Quality of Requirements Specifications — A Framework for Automatic Validation of Requirements (ARdS), pp. 96–107.
KMIS-2014-Grim-Yefsah #case study #information management #process #using: A First Step in Improving the Requirements Engineering Process by Using the Knowledge Management Perspective — Case Study from French Public Institute (MGY), pp. 280–288.
SEKE-2014-NguyenC #case study #coordination #verification: Formal Verification of Coordination Systems’ Requirements — A Case Study on the European Train Control System (HNN, ARC), pp. 393–396.
SEKE-2014-RodriguesPTZOS #automation #component #design #on the: On the Requirements and Design Decisions of an In-House Component-Based SPL Automated Environment (EMR, LTP, LT, AFZ, FMdO, RSS), pp. 402–407.
SEKE-2014-SantosRBC #elicitation #security: Persona Security: A Technique for Supporting the Elicitation of Security Requirements (MADS, JR, RdSB, TC), pp. 603–608.
SEKE-2014-SinghS #machine learning #using: Software Requirement Prioritization using Machine Learning (DS, AS), pp. 701–704.
SKY-2014-FragaM: Systems Engineering Requirements: A Guided Example of an Applied Knowledge System (AF, JLM), pp. 19–30.
SPLC-2014-MannionS #architecture #product line: Mapping product line requirements to a product line architecture (MM, JS), p. 362.
AdaEurope-2014-ZhouLL #approach #embedded #safety #validation: A TASM-Based Requirements Validation Approach for Safety-Critical Embedded Systems (JZ, YL, KL), pp. 43–57.
RE-2014-AlkhaniferL #design #elicitation #towards #visual notation: Towards a situation awareness design to improve visually impaired orientation in unfamiliar buildings: Requirements elicitation study (AA, SL), pp. 23–32.
RE-2014-AnishG #analysis: Product knowledge configurator for requirements gap analysis and customizations (PRA, SG), pp. 437–443.
RE-2014-BadgerTC #analysis #design #named #verification: VARED: Verification and analysis of requirements and early designs (JMB, DT, CC), pp. 325–326.
RE-2014-Bano #feedback: Aligning services and requirements with user feedback (MB), pp. 473–478.
RE-2014-Bhowmik #interactive #open source #social: Stakeholders’ social interaction in requirements engineering of open source software (TB), pp. 467–472.
RE-2014-BhowmikNMS #automation: Automated support for combinational creativity in requirements engineering (TB, NN, AM, JS), pp. 243–252.
RE-2014-BreauxS #policy #privacy #scalability: Scaling requirements extraction to the crowd: Experiments with privacy policies (TDB, FS), pp. 163–172.
RE-2014-BruunHIJK #distributed #mobile: Handling design-level requirements across distributed teams: Developing a new feature for 12 Danish mobile banking apps (LB, MBH, JBI, JBJ, BK), pp. 335–343.
RE-2014-Chen #architecture: From architecture to requirements: Relating requirements and architecture for better Requirements Engineering (FC), pp. 451–455.
RE-2014-Daneva #approach #game studies #how #multi #online: How practitioners approach gameplay requirements? An exploration into the context of massive multiplayer online role-playing games (MD), pp. 3–12.
RE-2014-DanielrappANPEM #lightweight: Lightweight requirements engineering assessments in software projects (DD, AA, NN, PP, EE, MM), pp. 354–363.
RE-2014-Ferreira #evolution: Creative Strategic Scenarios for preparation to requirements evolution (MGF), pp. 494–499.
RE-2014-FilipovikjNR #approach #formal method: Reassessing the pattern-based approach for formalizing requirements in the automotive domain (PF, MN, GRN), pp. 444–450.
RE-2014-FotrousiFF #elicitation #quality: Quality requirements elicitation based on inquiry of quality-impact relationships (FF, SAF, MF), pp. 303–312.
RE-2014-GartnerRBSJ #maintenance #security: Maintaining requirements for long-living software systems by incorporating security knowledge (SG, TR, JB, KS, JJ), pp. 103–112.
RE-2014-GordonB: The role of legal expertise in interpretation of legal requirements and definitions (DGG, TDB), pp. 273–282.
RE-2014-GregoriadesPS: Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.
RE-2014-IngolfoSM #reasoning: Nòmos 3: Reasoning about regulatory compliance of requirements (SI, AS, JM), pp. 313–314.
RE-2014-KnaussDKB #ecosystem #trade-off: Openness and requirements: Opportunities and tradeoffs in software ecosystems (EK, DED, AK, AB), pp. 213–222.
RE-2014-LetychevskyiW #verification: Symbolic verification of requirements in VRS system (OL, TW), pp. 331–332.
RE-2014-LiHMGGB0 #non-functional #ontology: Non-functional requirements as qualities, with a spice of ontology (FLL, JH, JM, RSSG, GG, AB, LL), pp. 293–302.
RE-2014-LiuSYM14a #feature model #reasoning: Combined goal and feature model reasoning with the User Requirements Notation and jUCMNav (YL, YS, XY, GM), pp. 321–322.
RE-2014-MartinsO #analysis #case study #fault #functional #protocol #safety #using: A case study using a protocol to derive safety functional requirements from Fault Tree Analysis (LEGM, TdO), pp. 412–419.
RE-2014-MasseyRAS #ambiguity #identification: Identifying and classifying ambiguity for regulatory requirements (AKM, RLR, AIA, PPS), pp. 83–92.
RE-2014-NguyenGA #analysis #automation #named #ontology: GUITAR: An ontology-based automated requirements analysis tool (THN, JCG, MA), pp. 315–316.
RE-2014-NiuBLN #refactoring: Traceability-enabled refactoring for managing just-in-time requirements (NN, TB, HL, ZN), pp. 133–142.
RE-2014-Pinto-AlbuquerqueR: Tackling the requirements jigsaw puzzle (MPA, AR), pp. 233–242.
RE-2014-PorterLS #case study #experience #feedback #framework #using: Building a National E-Service using Sentire experience report on the use of Sentire: A volere-based requirements framework driven by calibrated personas and simulated user feedback (CP, EL, MAS), pp. 374–383.
RE-2014-PutnamC #approach #game studies #multi: Therapist-centered requirements: A multi-method approach of requirement gathering to support rehabilitation gaming (CP, JC), pp. 13–22.
RE-2014-RahimiMC #automation #quality #specification #visualisation: Automated extraction and visualization of quality concerns from requirements specifications (MR, MM, JCH), pp. 253–262.
RE-2014-RiazKSW #automation #identification #natural language #security: Hidden in plain sight: Automatically identifying security requirements from natural language artifacts (MR, JTK, JS, LAW), pp. 183–192.
RE-2014-RubythonM #implementation #modelling #off the shelf #variability: The effect of variability modeling on requirements satisfaction for the configuration and implementation of off-the-shelf software packages (AR, NAMM), pp. 394–401.
RE-2014-SaitoTYA #design #named #quality #set: RISDM: A requirements inspection systems design methodology: Perspective-based design of the pragmatic quality model and question set to SRS (SS, MT, SY, MA), pp. 223–232.
RE-2014-SaxenaC #agile #analysis #named: Decisively: Application of Quantitative Analysis and Decision Science in Agile Requirements Engineering (SKS, RC), pp. 323–324.
RE-2014-SlavinLNB #diagrams #feature model #security #using: Managing security requirements patterns using feature diagram hierarchies (RS, JML, JN, TDB), pp. 193–202.
RE-2014-SutcliffeRBS: Discovering affect-laden requirements to achieve system acceptance (AS, PR, CNB, PS), pp. 173–182.
RE-2014-Teruel #collaboration #specification: Improving collaborative and Post-WIMP systems through requirements specification (MAT), pp. 461–466.
RE-2014-TsigkanosPMGN #adaptation #runtime #security: Engineering topology aware adaptive security: Preventing requirements violations at runtime (CT, LP, CM, CG, BN), pp. 203–212.
RE-2014-ValencaAHJB #case study #collaboration #contest #ecosystem: Competition and collaboration in requirements engineering: A case study of an emerging software ecosystem (GV, CFA, VH, SJ, SB), pp. 384–393.
RE-2014-Wasserman: Startups and requirements (AIW), p. 1.
RE-2014-WohlrabGKB #experience #industrial #performance: Experience of pragmatically combining RE methods for performance requirements in industry (RW, TdG, AK, SB), pp. 344–353.
RE-2014-Zhou #development #embedded #realtime: Requirements development and management of embedded real-time systems (JZ), pp. 479–484.
RE-2014-ZhouLLLKL #feature model #towards #validation: Towards feature-oriented requirements validation for automotive systems (JZ, YL, KL, HL, DK, BL), pp. 428–436.
REFSQ-2014-AlebrahimFHM #analysis #interactive #problem: Problem-Based Requirements Interaction Analysis (AA, SF, MH, RM), pp. 200–215.
REFSQ-2014-AlrobaiPA #perspective: Digital Addiction: A Requirements Engineering Perspective (AA, KP, RA), pp. 112–118.
REFSQ-2014-Condori-FernandezESDG #collaboration #interactive #performance #validation: Analyzing the Effect of the Collaborative Interactions on Performance of Requirements Validation (NCF, SE, KS, MD, AG), pp. 216–231.
REFSQ-2014-CooperNL #education #formal method #game studies #modelling #towards: Towards Model-Driven Requirements Engineering for Serious Educational Games: Informal, Semi-formal, and Formal Models (KMLC, ESN, CSL), pp. 17–22.
REFSQ-2014-FerraridSG #natural language: Measuring and Improving the Completeness of Natural Language Requirements (AF, FD, GOS, SG), pp. 23–38.
REFSQ-2014-HerrmannHLW #case study #education #experience: Experience-Oriented Approaches for Teaching and Training Requirements Engineering: An Experience Report (AH, AH, DL, RW), pp. 254–267.
REFSQ-2014-KamstiesKVIK #documentation #smarttech: Feedback-Aware Requirements Documents for Smart Devices (EK, FK, MV, BI, BK), pp. 119–134.
REFSQ-2014-KasurinenMS #development #game studies #question: Is Requirements Engineering Useless in Game Development? (JK, AM, KS), pp. 1–16.
REFSQ-2014-KnaussO #automation #categorisation #natural language: (Semi-) automatic Categorization of Natural Language Requirements (EK, DO), pp. 39–54.
REFSQ-2014-LiBHT #programming: Answer-Set Programming in Requirements Engineering (WL, DB, JHH, MT), pp. 168–183.
REFSQ-2014-OjameruayeB #using: Systematic Elaboration of Compliance Requirements Using Compliance Debt and Portfolio Theory (BO, RB), pp. 152–167.
REFSQ-2014-PalomaresFQ #overview #reuse: Requirements Reuse and Patterns: A Survey (CP, XF, CQ), pp. 301–308.
REFSQ-2014-SannierB #analysis #approach #modelling #named: INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis (NS, BB), pp. 135–151.
REFSQ-2014-SethiaP #analysis #elicitation #empirical #performance: The Effects of Requirements Elicitation Issues on Software Project Performance: An Empirical Analysis (NKS, ASP), pp. 285–300.
REFSQ-2014-VierhauserRG #framework #monitoring: A Requirements Monitoring Infrastructure for Very-Large-Scale Software Systems (MV, RR, PG), pp. 88–94.
REFSQ-2014-YangLJC #adaptation #analysis #modelling #overview #self: A Systematic Literature Review of Requirements Modeling and Analysis for Self-adaptive Systems (ZY, ZL, ZJ, YC), pp. 55–71.
ASE-2014-EllisHKLLLMM #analysis #automation: Automated requirements analysis for a molecular watchdog timer (SJE, ERH, THK, JIL, JHL, RRL, DM, ASM), pp. 767–778.
ASE-2014-Vierhauser #framework #monitoring: A requirements monitoring infrastructure for systems of systems (MV), pp. 887–890.
ICSE-2014-LetierSB #architecture #nondeterminism: Uncertainty, risk, and information value in software requirements and architecture (EL, DS, ETB), pp. 883–894.
ICSE-2014-MantylaPLL #development #empirical #overview #perspective #testing: Time pressure: a controlled experiment of test case development and requirements review (MM, KP, TOAL, CL), pp. 83–94.
ICSE-2014-MohananiRS: Requirements fixation (RM, PR, BS), pp. 895–906.
ICSE-2014-ShethKM #case study #privacy: Us and them: a study of privacy requirements across north america, asia, and europe (SS, GEK, WM), pp. 859–870.
ICSE-2014-ThomasBPN #mobile #privacy: Distilling privacy requirements for mobile applications (KT, AKB, BAP, BN), pp. 871–882.
SAC-2014-AlmenteroLL #composition #towards: Towards software modularization from requirements (EA, JCSdPL, CJPdL), pp. 1007–1012.
SAC-2014-BeckersCG #in the cloud #security: A catalog of security requirements patterns for the domain of cloud computing systems (KB, IC, LG), pp. 337–342.
SAC-2014-OhK #architecture #traceability: A hierarchical model for traceability between requirements and architecture (JO, SK), pp. 1035–1042.
SAC-2014-PimentelCMAS #design #refinement: From requirements to statecharts via design refinement (JP, JC, JM, KA, VESS), pp. 995–1000.
SAC-2014-Silva #approach #automation #overview #quality #specification #validation: Quality of requirements specifications: a preliminary overview of an automatic validation approach (ARdS), pp. 1021–1022.
SAC-2014-SypeS #case study #online #social #using: Case study: legal requirements for the use of social login features for online reputation updates (YSVDS, JMS), pp. 1698–1705.
FASE-2014-LanduytJ #architecture: Modularizing Early Architectural Assumptions in Scenario-Based Requirements (DVL, WJ), pp. 170–184.
STOC-2014-EneV #algorithm #approximate #bound #design #network #problem: Improved approximation algorithms for degree-bounded network design problems with node connectivity requirements (AE, AV), pp. 754–763.
ECSA-2013-ChoualiCM #architecture #component #interface #specification: Specifying System Architecture from SysML Requirements and Component Interfaces (SC, OC, HM), pp. 348–352.
QoSA-2013-BeckerLB #adaptation #analysis #performance #self #validation: Performance analysis of self-adaptive systems for requirements validation at design-time (MB, ML, SB), pp. 43–52.
TPDL-2013-NadeemOAV #approach: Users Requirements in Audiovisual Search: A Quantitative Approach (DN, RO, RA, EV), pp. 241–246.
TPDL-2013-SuchodoletzR #as a service #challenge #performance: Efficient Access to Emulation-as-a-Service — Challenges and Requirements (DvS, KR), pp. 409–412.
CSEET-2013-GabrysiakHPG #education #implementation: Cooperating with a non-governmental organization to teach gathering and implementation of requirements (GG, RH, LP, HG), pp. 11–20.
ITiCSE-WGR-2013-KorhonenNBCKMMM #design #interactive #open source: Requirements and design strategies for open source interactive computer science eBooks (AK, TLN, CB, PC, VK, LM, BM, BM, SHR, RR, CAS), pp. 53–72.
CSMR-2013-AsgharMSS #metric #traceability #using: Maintainability-Based Requirements Prioritization by Using Artifacts Traceability and Code Metrics (MWA, AM, AS, GS), pp. 417–420.
ICPC-2013-SharafiMSAG #comprehension #empirical #performance #visual notation: An empirical study on the efficiency of graphical vs. textual representations in requirements comprehension (ZS, AM, AS, GA, YGG), pp. 33–42.
WCRE-2013-AliJH #co-evolution #traceability: Leveraging historical co-change information for requirements traceability (NA, FJ, AEH), pp. 361–370.
SEFM-2013-Klimek #logic #modelling #specification #verification: From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models (RK), pp. 61–75.
SEFM-2013-MenadD #approach #multi: A Transformation Approach for Multiform Time Requirements (NM, PD), pp. 16–30.
DUXU-NTE-2013-ArningZM #design #exclamation #framework #guidelines #interface #platform: Join the Ride! User Requirements and Interface Design Guidelines for a Commuter Carpooling Platform (KA, MZ, HM), pp. 10–19.
DUXU-PMT-2013-ArningTZJ #architecture #elicitation #mobile: Eliciting User Requirements and Acceptance for Customizing Mobile Device System Architecture (KA, BT, MZ, EMJ), pp. 439–448.
DUXU-WM-2013-KnolmayerSC #empirical #online: Fulfilled and Missed Requirements for Online Reservation Systems: An Empirical Investigation of Austrian and Swiss Hotels (GK, VS, PC), pp. 221–230.
HCI-AMTE-2013-WendlerP #generative #user interface: Requirements for a Definition of Generative User Interface Patterns (SW, IP), pp. 510–520.
HCI-AS-2013-CravenSMSMVRC #development #self #smarttech: User Requirements for the Development of Smartphone Self-reporting Applications in Healthcare (MPC, KS, RSKM, HS, AM, KV, NRF, JC), pp. 36–45.
HIMI-D-2013-Terawaki #framework #quality: Framework for Quantitatively Evaluating the Quality Requirements of Software System (YT), pp. 383–392.
HIMI-LCCB-2013-NieminenTR #design: Digital War Room for Design — Requirements for Collocated Group Work Spaces (MPN, MT, MR), pp. 352–361.
CAiSE-2013-KramerE #outsourcing: Outsourcing Location Selection with SODA: A Requirements Based Decision Support Methodology and Tool (TK, ME), pp. 530–545.
CAiSE-2013-MethME #automation #elicitation #information management: Is Knowledge Power? The Role of Knowledge in Automated Requirements Elicitation (HM, AM, ME), pp. 578–593.
CAiSE-2013-OrmenoP #elicitation #usability: Mapping Study about Usability Requirements Elicitation (YIO, JIP), pp. 672–687.
CAiSE-2013-TaghiabadiFDA: Diagnostic Information for Compliance Checking of Temporal Compliance Requirements (ERT, DF, BFvD, WMPvdA), pp. 304–320.
EDOC-2013-GoknilKM #approach #metamodelling #modelling #multi #reasoning: A metamodeling approach for reasoning on multiple requirements models (AG, IK, JVM), pp. 159–166.
ICEIS-v1-2013-KozminaNG #concept: Deriving the Conceptual Model of a Data Warehouse from Information Requirements (NK, LN, MG), pp. 136–144.
ICEIS-v2-2013-GratiBB #metamodelling #monitoring: A Meta Model for Monitoring Requirements in Cloud Environnment (RG, KB, HBA), pp. 223–231.
ICEIS-v2-2013-OliveiraS #aspect-oriented #modelling #using: Modeling Aspects in Requirements using SysML Extensions (KSdO, MdSS), pp. 126–133.
ICEIS-v2-2013-RibeiroS #approach #modelling #realtime: An Approach for Modeling Real-time Requirements with SysML and MARTE Stereotypes (FGCR, MSS), pp. 70–81.
KDIR-KMIS-2013-SaidiDZC #process #semantics #towards #unification #using: Towards Unification of Requirements Engineering Approaches using Semantics-based Process (IES, TD, NZ, PJC), pp. 443–450.
SEKE-2013-BurnayJF #matter #problem #what #why: Context Factors: What they are and why they matter for Requirements Problems (CB, IJ, SF), pp. 30–35.
SEKE-2013-JanesMSS #analysis #problem #programming: Domain Analysis in Combination with Extreme Programming toAddress Requirements Volatility Problems (AJ, SM, AS, GS), pp. 226–231.
SEKE-2013-SadiqJ #approach #elicitation #fuzzy #process: A fuzzy based approach for requirements prioritization in goal oriented requirements elicitation process (MS, SKJ), pp. 54–58.
SEKE-2013-Unkelos-ShpigelHL #deployment #information management #traceability: Enhancing Deployment Requirements’ Traceability via Knowledge Management Audit (NUS, IH, ML), pp. 574–577.
SEKE-2013-WangZLBCT #analysis #modelling #non-functional #object-oriented: Integrating Functional with Non-functional Requirements Analysis In Object Oriented Modeling Tool Based on HOOMT (JW, FZ, X(L, ECB, BC, MT), pp. 59–62.
SEKE-2013-WuZG #named: DOPROPC: a domain property pattern system helping to specify control system requirements (FW, HZ, MG), pp. 695–698.
SIGIR-2013-RaueAJ #exclamation #social #social media: #trapped!: social media search system requirements for emergency management professionals (SR, LA, CWJ), pp. 1073–1076.
SKY-2013-RineF #complexity #information management #metric #quality #representation #using: Requirements Quality Knowledge Representation using Chunking Complexity Measurement: Prior to Formal Inspections (DCR, AF), pp. 3–13.
AMT-2013-NalchigarSC #model transformation #non-functional #towards #transformation language: Towards a Catalog of Non-Functional Requirements in Model Transformation Languages (SN, RS, MC), pp. 72–81.
PLEASE-2013-AnishSMG: Knowledge-assisted product requirements configurator (PRA, SKS, MM, SG), pp. 29–32.
PLEASE-2013-SimmondsBSQ #industrial #modelling #process #variability: Variability in software process models: Requirements for adoption in industrial settings (JS, MCB, LS, AQ), pp. 33–36.
SPLC-2013-Beuche13a #product line: Managing requirements in product lines (DB), p. 276.
SPLC-2013-MannionS #architecture #product line: Aligning product line business and technical strategies: mapping product line requirements to a product line architecture (MM, JS), p. 278.
SPLC-2013-TsuchiyaKWKFY #source code #traceability: Recovering traceability links between requirements and source code in the same series of software products (RT, TK, HW, MK, YF, KY), pp. 121–130.
ER-BR-2013-AlencarCS #portuguese: Evolução de requisitos na metodologia ágil (FMRA, TC, RS).
ER-BR-2013-BarbozaFS #portuguese: Uma proposta sobre rastreabilidade de requisitos legais no processo de contratação de soluções de TI na Administração Pública Federal (LdSB, GAdACF, RACDS).
ER-BR-2013-CabrejosMC #approach #development #elicitation #usability #web: An Approach for the Elicitation of Usability Requirements in the Development of Web Applications (LJERC, SM, TC).
ER-BR-2013-FerreiraL #evolution: Requirements Engineering with a Perspective of Software Evolution — Anticipating requirements based on organizational change (MGF, JCSdPL).
ER-BR-2013-HadadD #process #variability: Introducing Variability in a Client-Oriented Requirements Engineering Process (GDSH, JHD).
ER-BR-2013-JaqueiraGL #portuguese: Integrando Requisitos ágeis com Modelos i (AJ, BG, ML).
ER-BR-2013-JuniorL0 #portuguese #reuse: Abordagem para Reuso de Requisitos Tardios em Sistemas de Informação (MMCJ, ML, JA).
ER-BR-2013-LancastreD #portuguese: Práticas e Desafios da Indústria Brasileira na Area de Engenharia de Requisitos (ML, LD).
ER-BR-2013-LealSL #portuguese: Desafios de monitoração de requisitos não funcionais: avaliação em Transparência de Software (ALdCL, HPS, JCSdPL).
ER-BR-2013-MartinsOB #embedded #process #towards: Towards Requirements Engineering Process for Embedded Systems (LEGM, JCO, AB).
ER-BR-2013-MotaMT #portuguese: Usando Modelos Para Apoiar a Especificação e Verificação de Requisitos de Ubiquidade (LSM, JLM, GHT).
ER-BR-2013-Mylopoulos #design #modelling #runtime: Requirements Models at Design and Runtime (JM).
ER-BR-2013-OliveiraVVMC #elicitation #portuguese: Elicitação de Requisitos a partir de Modelos de Processos de Negócio e Modelos Organizacionais: Uma pesquisa para definição de técnicas baseadas em heurísticas (MO, SRCV, DV, SM, TC).
ER-BR-2013-PimentelCSSVG #adaptation #architecture: Requirements and Architectures for Adaptive Systems (JP, JC, ES, MS, JV, GG).
ER-BR-2013-SantanderSS #portuguese: Integrando Modelagem Organizacional ao Processo de Engenharia de Requisitos (VFAS, IFdS, ES).
ER-BR-2013-SantosW #communication #ecosystem #on the: On the Impact of Software Ecosystems in Requirements Communication and Management (RPdS, CMLW).
ER-BR-2013-SerranoS13a #portuguese: Requisitos ao Código: Uma Proposta para o Ensino da Engenharia de Software no Ensino Médio (MS, MS).
ER-BR-2013-SilvaLLM #portuguese: Uma extensão do STREAM para Escolha de Padrões Arquiteturais baseada em Requisitos Não-Funcionais (FS, ML, LL, RM).
ER-BR-2013-SiqueiraS #model transformation #portuguese: Transformação de um Modelo de Empresa em Requisitos de Software (FLS, PSMS).
ER-BR-2013-SoaresCA #agile #development #portuguese: Gerenciamento de Requisitos em Scrum baseado em Test Driven Development (RS, TC, FMRA).
ER-BR-2013-ValaskiSRM #portuguese #semantics: Apoio Semântico à Engenharia de Requisitos (JV, WS, SSR, AM).
ER-BR-2013-ValencaA #portuguese: Um Modelo para Negociação de Requisitos em Ecossistemas de Software (GV, CFA).
RE-2013-AlspaughS #development: Ongoing software development without classical requirements (TAA, WS), pp. 165–174.
RE-2013-BaresiRP #named #platform: IRET: Requirements for service platforms (LB, GR, LP), pp. 336–337.
RE-2013-Beatty: Winning the hidden battle: Requirements tool selection and adoption (JB), pp. 364–365.
RE-2013-BreauxR #analysis #formal method #multi #privacy #specification: Formal analysis of privacy requirements specifications for multi-tier applications (TDB, AR), pp. 14–20.
RE-2013-CaireGHM #design #towards #visual notation: Visual notation design 2.0: Towards user comprehensible requirements engineering notations (PC, NG, PH, DLM), pp. 115–124.
RE-2013-Cleland-HuangCH #design #empirical #using: Using tracelab to design, execute, and baseline empirical requirements engineering experiments (JCH, AC, JHH), pp. 338–339.
RE-2013-Cleland-HuangG #named: Ready-Set-Transfer: Technology transfer in the requirements engineering domain (JCH, SG), pp. 345–346.
RE-2013-Cousins #architecture #challenge #industrial: Starchitects and Jack-Hammers: Requirements engineering challenges and practices in the construction industry (FC), p. 2.
RE-2013-DietrichA #interface: A mode-based pattern for feature requirements, and a generic feature interface (DD, JMA), pp. 82–91.
RE-2013-DwarakanathRS #automation #natural language #taxonomy: Automatic extraction of glossary terms from natural language requirements (AD, RRR, SS), pp. 314–319.
RE-2013-FeldererB #fault #industrial #taxonomy #using #validation: Using defect taxonomies for requirements validation in industrial projects (MF, AB), pp. 296–301.
RE-2013-GhezziMSS #on the #verification: On requirements verification for model refinements (CG, CM, AMS, PS), pp. 62–71.
RE-2013-GlinzW: RE@21 spotlight: Most influential papers from the requirements engineering conference (MG, RW), pp. 368–370.
RE-2013-Gordon: The regulatory world and the machine: Harmonizing legal requirements and the systems they affect (DGG), pp. 381–384.
RE-2013-GordonB #modelling: Assessing regulatory change through legal requirements coverage modeling (DGG, TDB), pp. 145–154.
RE-2013-Gorschek: A little rebellion now and then is a good thing: Views on the requirements engineering conference (TG), pp. 357–360.
RE-2013-LarburuWBHN #collaboration #elicitation: Early phase telemedicine requirements elicitation in collaboration with medical practitioners (NL, IW, RGAB, HJH, CN), pp. 273–278.
RE-2013-MahauxM #paradigm #research: A new paradigm for applied requirements engineering research (MM, AM), pp. 353–356.
RE-2013-MahmoudN #refactoring #traceability: Supporting requirements traceability through refactoring (AM, NN), pp. 32–41.
RE-2013-Maiden #idea #information management: Requirements engineering as information search and idea discovery (NAMM), p. 1.
RE-2013-MasseyEAS #analysis #automation #documentation #mining #policy: Automated text mining for requirements analysis of policy documents (AKM, JE, AIA, PPS), pp. 4–13.
RE-2013-Mead: A history of the international requirements engineering conference (RE)RE@21 (NRM), pp. 215–221.
RE-2013-MussbacherK: A vision for generic concern-oriented requirements reusere@21 (GM, JK), pp. 238–249.
RE-2013-MuyanjaMNTKN: Requirements engineering for the uganda police force crime records management system (AM, PIM, CN, SSTT, EKK, AN), pp. 302–307.
RE-2013-NairVS #overview #research #traceability: A review of traceability research at the requirements engineering conferencere@21 (SN, JLdlV, SS), pp. 222–229.
RE-2013-NcubeLD #challenge #identification #research: Identifying top challenges for international research on requirements engineering for systems of systems engineering (CN, SLL, HD), pp. 342–344.
RE-2013-NiknafsB #case study #effectiveness #elicitation #generative #idea #industrial: An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 279–283.
RE-2013-NistalaK #analysis #approach #consistency #validation: An approach to carry out consistency analysis on requirements: Validating and tracking requirements through a configuration structure (PN, PK), pp. 320–325.
RE-2013-NiuRC #visual notation: Keeping requirements on track via visual analytics (NN, SR, ZC), pp. 205–214.
RE-2013-PalomaresQF #elicitation #named: PABRE-Proj: Applying patterns in requirements elicitation (CP, CQ, XF), pp. 332–333.
RE-2013-PenzenstadlerFRCW: The requirements engineering body of knowledge (REBoK) (BP, DMF, DR, DC, KW), pp. 377–379.
RE-2013-Reddivari #visual notation: Visual analytics for software requirements engineering (SR), pp. 389–392.
RE-2013-RenzelBKJ #social: Requirements Bazaar: Social requirements engineering for community-driven innovation (DR, MB, RK, MJ), pp. 326–327.
RE-2013-SaitoTHKA #quality #specification: Requirements clinic: Third party inspection methodology and practice for improving the quality of software requirements specifications (SS, MT, MH, TK, MA), pp. 290–295.
RE-2013-Salger #challenge #open science #research: Requirements reviews revisited: Residual challenges and open research questions (FS), pp. 250–255.
RE-2013-SchneiderBB #architecture #enterprise #implementation #modelling: A tool implementation of the unified requirements modeling language as enterprise architect add-in (FS, BB, BB), pp. 334–335.
RE-2013-SultanovH #learning: Application of reinforcement learning to requirements engineering: requirements tracing (HS, JHH), pp. 52–61.
RE-2013-SutcliffeS #elicitation #towards: Requirements elicitation: Towards the unknown unknowns (AS, PS), pp. 92–104.
RE-2013-Terzakis #quality: The impact of requirements on software quality across three product generations (JT), pp. 284–289.
RE-2013-TeuflMR #empirical #modelling #named: MIRA: A tooling-framework to experiment with model-based requirements engineering (ST, DM, DR), pp. 330–331.
RE-2013-TodoranSG #case study #elicitation #how: How cloud providers elicit consumer requirements: An exploratory study of nineteen companies (IT, NS, MG), pp. 105–114.
RE-2013-Valenca #approach #ecosystem #evolution #social: Requirements negotiation model: A social oriented approach for software ecosystems evolution (GV), pp. 393–396.
RE-2013-VogelsanagF #challenge #dependence #empirical #why: Why feature dependencies challenge the requirements engineering of automotive systems: An empirical study (AV, SF), pp. 267–272.
RE-2013-WangLWYZL #debugging #dependence #integration #network #question: Can requirements dependency network be used as early indicator of software integration bugs? (JW, JL, QW, DY, HZ, ML), pp. 185–194.
RE-2013-WieringaEM #industrial #question: Requirements engineering conferences: Wither industry tracks? (RW, PvE, JM), pp. 349–352.
REFSQ-2013-AdamS #effectiveness #elicitation #empirical #product line: Effective Requirements Elicitation in Product Line Application Engineering — An Experiment (SA, KS), pp. 362–378.
REFSQ-2013-AzmehMC #community: Highlighting Stakeholder Communities to Support Requirements Decision-Making (ZA, IM, PC), pp. 190–205.
REFSQ-2013-Bennett-TherkildsenJNR #development #process: Redefinition of the Requirements Engineer Role in Mjølner’s Software Development Process (ABT, JBJ, KN, NMR), pp. 285–291.
REFSQ-2013-Bjarnason #development #process: Distances between Requirements Engineering and Later Software Development Activities: A Systematic Map (EB), pp. 292–307.
REFSQ-2013-BonBGALTBFGATA #analysis #case study: Use Case and Requirements Analysis in a Remote Rural Context in Mali (AB, VdB, NBG, CvA, PDL, WT, SB, MF, AG, MA, AT, HA), pp. 331–346.
REFSQ-2013-BouillonMP #overview #traceability: A Survey on Usage Scenarios for Requirements Traceability in Practice (EB, PM, IP), pp. 158–173.
REFSQ-2013-BreauxG #analysis #specification #traceability #using: Regulatory Requirements Traceability and Analysis Using Semi-formal Specifications (TDB, DGG), pp. 141–157.
REFSQ-2013-CallelePW #identification #interface #risk management: Risk Identification at the Interface between Business Case and Requirements (DC, BP, KW), pp. 253–268.
REFSQ-2013-Cleland-HuangCK #agile #approach #architecture: A Persona-Based Approach for Exploring Architecturally Significant Requirements in Agile Projects (JCH, AC, EK), pp. 18–33.
REFSQ-2013-DanevaBH #architecture #case study #experience #quality #question #what: Software Architects’ Experiences of Quality Requirements: What We Know and What We Do Not Know? (MD, LB, AH), pp. 1–17.
REFSQ-2013-DelaterP #development #perspective #research #source code: Analyzing the Tracing of Requirements and Source Code during Software Development — A Research Preview (AD, BP), pp. 308–314.
REFSQ-2013-FerrariGT #clustering #documentation #natural language #using: Using Clustering to Improve the Structure of Natural Language Requirements Documents (AF, SG, GT), pp. 34–49.
REFSQ-2013-Herrmann: Requirements Engineering in Practice: There Is No Requirements Engineer Position (AH), pp. 347–361.
REFSQ-2013-KlambauerHG #monitoring #multi #product line: Monitoring System-of-Systems Requirements in Multi Product Lines (TK, GH, PG), pp. 379–385.
REFSQ-2013-NoorwaliM #lessons learnt #perspective #research: Maps of Lessons Learnt in Requirements Engineering: A Research Preview (IN, NHM), pp. 119–124.
REFSQ-2013-PasqualeSPBR #experience #game studies: Requirements Engineering Meets Physiotherapy: An Experience with Motion-Based Games (LP, PS, DP, FB, TR), pp. 315–330.
REFSQ-2013-Regnell #modelling #scalability #towards: reqT.org — Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool (BR), pp. 112–118.
REFSQ-2013-RempelMKP #bound #overview #taxonomy #traceability: Requirements Traceability across Organizational Boundaries — A Survey and Taxonomy (PR, PM, TK, IP), pp. 125–140.
REFSQ-2013-TjongB #ambiguity #design #lessons learnt #prototype #specification: The Design of SREE — A Prototype Potential Ambiguity Finder for Requirements Specifications and Lessons Learned (SFT, DMB), pp. 80–95.
ASE-2013-AnnervazKSS #analysis #domain model #modelling #natural language #quality: Natural language requirements quality analysis based on business domain models (KMA, VSK, SS, MS), pp. 676–681.
ASE-2013-DietrichCS #effectiveness #learning #query #retrieval: Learning effective query transformations for enhanced requirements trace retrieval (TD, JCH, YS), pp. 586–591.
ASE-2013-LetsholoZC #analysis #modelling #named: TRAM: A tool for transforming textual requirements into analysis models (KL, LZ, EVC), pp. 738–741.
ASE-2013-VeerappaH #approach #maturity: Assessing the maturity of requirements through argumentation: A good enough approach (VV, RH), pp. 670–675.
ICSE-2013-CarrenoW #analysis #approach #evolution: Analysis of user comments: an approach for software requirements evolution (LVGC, KW), pp. 582–591.
ICSE-2013-Franch: Software requirement patterns (XF), pp. 1499–1501.
ICSE-2013-KnaussD #communication #named #online: V: ISSUE: LIZER: exploring requirements clarification in online communication over time (EK, DD), pp. 1327–1330.
ICSE-2013-Kukreja #approach #towards: Decision theoretic requirements prioritization: a two-step approach for sliding towards value realization (NK), pp. 1465–1467.
ICSE-2013-LetierH #automaton #modelling #synthesis: Requirements modelling by synthesis of deontic input-output automata (EL, WH), pp. 592–601.
ICSE-2013-NiuMCB #comprehension #information management: Departures from optimality: understanding human analyst’s information foraging in assisted requirements tracing (NN, AM, ZC, GB), pp. 572–581.
ICSE-2013-OmoronyiaCSPN #adaptation #privacy: Engineering adaptive privacy: on the role of privacy awareness requirements (IO, LC, MS, LP, BN), pp. 632–641.
SAC-2013-BuarqueCA #modelling: The role of NFRs when transforming i* requirements models into OO-method models (AB, JC, FMRA), pp. 1305–1306.
SAC-2013-CarvalhoFBSMMB #generative #natural language #specification #testing: Test case generation from natural language requirements based on SCR specifications (GC, DF, FAB, AS, AM, LM, MRB), pp. 1217–1222.
SAC-2013-DermevalCSPBBETS #architecture #design #metamodelling #on the #using: On the use of metamodeling for relating requirements and architectural design decisions (DD, JC, CTLLS, JP, IIB, PHdSB, EE, TT, APdS), pp. 1278–1283.
SAC-2013-FilhoB #learning #mobile: A requirements catalog for mobile learning environments (NFDF, EFB), pp. 1266–1271.
SAC-2013-PalomaresQFRG #content management #functional: A catalogue of functional software requirement patterns for the domain of content management systems (CP, CQ, XF, SR, CG), pp. 1260–1265.
SAC-2013-SalgadoMM #modelling #perspective: Modeling the alignment between business and IS/IT: a requirements engineering perspective (CS, RJM, RSPM), pp. 1309–1311.
SAC-2013-ZiftciK #semantics #testing #traceability: Test intents: enhancing the semantics of requirements traceability links in test cases (CZ, IK), pp. 1272–1277.
CASE-2013-ChoiZFWT #industrial: Applications and requirements of industrial robots in meat processing (SC, GZ, TAF, TW, RT), pp. 1107–1112.
FASE-2013-LinPEHR #analysis #behaviour #sequence #specification #string: Augmenting Sequence Enumeration with String-Rewriting for Requirements Analysis and Behavioral Specification (LL, JHP, RE, RMH, CRM), pp. 179–193.
TACAS-2013-BackesGHMS #android #named: AppGuard — Enforcing User Requirements on Android Apps (MB, SG, CH, MM, PvSR), pp. 543–548.
WICSA-ECSA-2012-LanduytTJ #architecture: Documenting Early Architectural Assumptions in Scenario-Based Requirements (DVL, ET, WJ), pp. 329–333.
WICSA-ECSA-2012-PoortKWV #non-functional: Issues Dealing with Non-Functional Requirements across the Contractual Divide (ERP, AK, PHNdW, HvV), pp. 315–319.
WICSA-ECSA-2012-SzlenkZK #architecture #modelling: Modelling Architectural Decisions under Changing Requirements (MS, AZ, SK), pp. 211–214.
TPDL-2012-WalkowskaW #automation #metadata #ontology #semantics #tool support #web: Advanced Automatic Mapping from Flat or Hierarchical Metadata Schemas to a Semantic Web Ontology — Requirements, Languages, Tools (JW, MW), pp. 260–272.
SIGITE-2012-UzokaCGJ #education #identification #industrial #project management #standard: Identifying the link between project management standards and practices in IT education and the industry expectations and requirements (FMEU, AC, KG, JJ), pp. 91–92.
ICSM-2012-AliSGA #empirical #traceability #using: An empirical study on requirements traceability using eye-tracking (NA, ZS, YGG, GA), pp. 191–200.
ICSM-2012-HindleBZN #analysis #developer #implementation #question #topic: Relating requirements to implementation via topic analysis: Do topics extracted from requirements make sense to managers and developers? (AH, CB, TZ, NN), pp. 243–252.
ICSM-2012-KuangMHGHJE #comprehension #dependence #question #source code #traceability: Do data dependencies in source code complement call dependencies for understanding requirements traceability? (HK, PM, HH, AG, LH, JL, AE), pp. 181–190.
ICSM-2012-MaderE #maintenance #traceability: Assessing the effect of requirements traceability for software maintenance (PM, AE), pp. 171–180.
IFM-2012-MarkovskiBB #component: Partially-Supervised Plants: Embedding Control Requirements in Plant Components (JM, DAvB, JCMB), pp. 253–267.
SEFM-2012-BarnatBB: Checking Sanity of Software Requirements (JB, PB, LB), pp. 48–62.
VS-Games-2012-KesselT #game studies #modelling #physics: Accuracy Requirements for Physical Models in Serious Games (RTK, AT), pp. 322–325.
CAiSE-2012-ErnstBMJ #agile #evolution #reasoning: Agile Requirements Evolution via Paraconsistent Reasoning (NAE, AB, JM, IJ), pp. 382–397.
CAiSE-2012-PastorE #code generation #modelling: Full Model-Driven Practice: From Requirements to Code Generation (OP, SE), pp. 701–702.
EDOC-2012-MohebiDC #performance: Efficient QoS-based Service Selection with Consideration of User Requirements (AM, C(D, CHC), pp. 183–190.
ICEIS-J-2012-Loucopoulos12a: Requirements Engineering for Emergent Application Software (PL), pp. 18–28.
ICEIS-v1-2012-Loucopoulos #question: Requirements Engineering: Panacea or Predicament? (PL).
ICEIS-v2-2012-AokiOOM #model checking #quality #specification #using: Quality Improvement of Requirements Specification using Model Checking Technique (YA, SO, HO, SM), pp. 401–406.
ICEIS-v2-2012-ReichelR #process #using: Prioritization of Product Requirements using the Analytic Hierarchy Process (TR, GR), pp. 70–76.
KEOD-2012-HeardK #modelling #protocol: Modelling Agent Protocol Requirements (JH, RCK), pp. 335–338.
KEOD-2012-MuellerHOZ #information management: Knowledge Engineering Requirements for Generic Diagnostic Systems (AM, IH, HO, SZ), pp. 184–189.
KMIS-2012-EddineDZC #towards: Towards Unifying Existing Requirements Engineering Approaches into a Unified Model (SIE, TD, NZ, PJC), pp. 311–315.
RecSys-2012-Ninaus #heuristic #recommendation #using: Using group recommendation heuristics for the prioritization of requirements (GN), pp. 329–332.
SEKE-2012-AlbuquerquePL #approach #case study #experience #natural language #reuse #using: Reuse of Experiences Applied to Requirements Engineering: An Approach Based on Natural Language Processing (AA, VP, TL), pp. 574–577.
SEKE-2012-ChenL #approach #behaviour #elicitation #ontology #security: Eliciting Security Requirements in the Commanded Behavior Frame: An Ontology based Approach (XC, JL), pp. 61–65.
SEKE-2012-FarfelederMK #elicitation #locality #semantics #using: Using Semantic Relatedness and Locality for Requirements Elicitation Guidance (SF, TM, AK), pp. 19–24.
SEKE-2012-HossianG #concept #process: Phases, Activities, and Techniques for a Requirements Conceptualization Process (AH, RGM), pp. 25–32.
SEKE-2012-ZhangCGZSC #named #reduction #testing: CATESR: Change-aware Test Suite Reduction Based on Partial Coverage of Test Requirements (LZ, XC, QG, HZ, XS, DC), pp. 217–224.
AMT-2012-BurguenoWV #perspective #towards: Towards tracking “guilty” transformation rules: a requirements perspective (LB, MW, AV), pp. 27–32.
ECMFA-2012-YueA #case study #industrial #non-functional #state machine #testing: Bridging the Gap between Requirements and Aspect State Machines to Support Non-functional Testing: Industrial Case Studies (TY, SA), pp. 133–145.
MoDELS-2012-FouquetNMDBPJ #eclipse #framework #modelling #runtime: An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements (FF, GN, BM, ED, OB, NP, JMJ), pp. 87–101.
SPLC-2012-SoltaniAGHB #automation #feature model #non-functional: Automated planning for feature model configuration based on functional and non-functional requirements (SS, MA, DG, MH, EB), pp. 56–65.
AdaEurope-2012-MartinezV #component #development #modelling: Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development (PLM, TV), pp. 89–104.
RE-2012-Alexandrova #analysis #development #legacy: Business requirements analysis and development for legacy system replacement projects in government organizations (AA), pp. 337–340.
RE-2012-AmellerACF #architecture #case study #how #non-functional: How do software architects consider non-functional requirements: An exploratory study (DA, CPA, JC, XF), pp. 41–50.
RE-2012-BerenbachSN #industrial #modelling #using: The use of a requirements modeling language for industrial applications (BB, FS, HN), pp. 285–290.
RE-2012-CharradaKG #identification #source code: Identifying outdated requirements based on source code changes (EBC, AK, MG), pp. 61–70.
RE-2012-Chernak #composition: Requirements Composition Table explained (YC), pp. 273–278.
RE-2012-FuPYMZ #monitoring #self: Stateful requirements monitoring for self-repairing socio-technical systems (LF, XP, YY, JM, WZ), pp. 121–130.
RE-2012-Ghazarian #functional #taxonomy: Characterization of functional software requirements space: The law of requirements taxonomic growth (AG), pp. 241–250.
RE-2012-GordonB #case study #multi: Reconciling multi-jurisdictional legal requirements: A case study in requirements water marking (DGG, TDB), pp. 91–100.
RE-2012-GrossD #exclamation #specification #what: What you need is what you get!: The vision of view-based requirements specifications (AG, JD), pp. 171–180.
RE-2012-HauksdottirVS #reuse: Requirements reuse at Danfoss (DH, AV, JS), pp. 309–314.
RE-2012-Hoffmann #approach: A Pattern-based approach for analysing requirements in socio-technical systems engineering (AH), pp. 341–344.
RE-2012-Knauss #ecosystem #elicitation #on the: On the usage of context for requirements elicitation: End-user involvement in IT ecosystems (AK), pp. 345–348.
RE-2012-KnaussDPC #detection: Detecting and classifying patterns of requirements clarifications (EK, DD, GPC, JCH), pp. 251–260.
RE-2012-KukrejaBPP #framework: Selecting an appropriate framework for value-based requirements prioritization (NK, BWB, SSP, SP), pp. 303–308.
RE-2012-LutzLLKMSBH #analysis #product line: Requirements analysis for a product family of DNA nanodevices (RRL, JHL, JIL, THK, DM, DMS, TB, ERH), pp. 211–220.
RE-2012-MaxwellAS #evolution #predict: Managing changing compliance requirements by predicting regulatory evolution (JCM, AIA, PPS), pp. 101–110.
RE-2012-MendizabalSS #approach #elicitation #performance: Log-based approach for performance requirements elicitation and prioritization (OMM, MS, RS), pp. 297–302.
RE-2012-NiknafsB #effectiveness #elicitation #generative #idea: The impact of domain knowledge on the effectiveness of requirements idea generation during requirements elicitation (AN, DMB), pp. 181–190.
RE-2012-NiuM #clustering #generative #revisited: Enhancing candidate link generation for requirements tracing: The cluster hypothesis revisited (NN, AM), pp. 81–90.
RE-2012-PajaDPRG #named #security #social: STS-tool: Socio-technical Security Requirements through social commitments (EP, FD, MP, PR, PG), pp. 331–332.
RE-2012-ReddivariCN #clustering #named #visual notation: ReCVisu: A tool for clustering-based visual exploration of requirements (SR, ZC, NN), pp. 327–328.
RE-2012-SalayCH #modelling #nondeterminism: Managing requirements uncertainty with partial models (RS, MC, JH), pp. 1–10.
RE-2012-ShakerAW #feature model #modelling: A feature-oriented requirements modelling language (PS, JMA, SW), pp. 151–160.
RE-2012-SmialekS: Facilitating transition from requirements to code with the ReDSeeDS tool (MS, TS), pp. 321–322.
RE-2012-SongH #categorisation #contract #integration: Categorizing requirements for a contract-based system integration project (XS, BH), pp. 279–284.
RE-2012-SupakkulC #modelling #multi #tool support: The RE-Tools: A multi-notational requirements modeling toolkit (SS, LC), pp. 333–334.
RE-2012-Todoran #communication #identification #in the cloud #named: StakeCloud: Stakeholder requirements communication and resource identification in the cloud (IT), pp. 353–356.
RE-2012-TunBPYHON #mobile #privacy: Privacy arguments: Analysing selective disclosure requirements for mobile applications (TTT, AKB, BAP, YY, CBH, IO, BN), pp. 131–140.
RE-2012-WelshB #adaptation #evaluation #modelling #runtime #self: Run-time model evaluation for requirements model-driven self-adaptation (KW, NB), pp. 329–330.
RE-2012-WuestSG #flexibility #lightweight #modelling #sketching: Flexible, lightweight requirements modeling with Flexisketch (DW, NS, MG), pp. 323–324.
RE-2012-YangRGWN #automation #detection #natural language #nondeterminism: Speculative requirements: Automatic detection of uncertainty in natural language requirements (HY, ANDR, VG, AW, BN), pp. 11–20.
REFSQ-2012-Adam #elicitation #product line: Providing Software Product Line Knowledge to Requirements Engineers — A Template for Elicitation Instructions (SA), pp. 147–164.
REFSQ-2012-AnhCCHFA #collaboration #component #open source: Collaborative Resolution of Requirements Mismatches When Adopting Open Source Components (NDA, DSC, RC, MH, XF, CPA), pp. 77–93.
REFSQ-2012-BerryGST #tool support: The Case for Dumb Requirements Engineering Tools (DMB, RG, PS, SFT), pp. 211–217.
REFSQ-2012-BruniFST #analysis #automation #multimodal #perspective #research: Automatic Analysis of Multimodal Requirements: A Research Preview (EB, AF, NS, GT), pp. 218–224.
REFSQ-2012-ChowdhuryMSK #diagrams #risk management #security: Aligning Mal-activity Diagrams and Security Risk Management for Security Requirements Definitions (MJMC, RM, GS, PK), pp. 132–139.
REFSQ-2012-Cleland-HuangHHLM #assurance #query #safety: Trace Queries for Safety Requirements in High Assurance Systems (JCH, MPEH, JHH, RRL, PM), pp. 179–193.
REFSQ-2012-DaramolaMSB #perspective #reasoning #research #semantics #using: Managing Implicit Requirements Using Semantic Case-Based Reasoning Research Preview (OD, TM, GS, SB), pp. 172–178.
REFSQ-2012-EngelsmanW #architecture #case study #enterprise #lessons learnt: Goal-Oriented Requirements Engineering and Enterprise Architecture: Two Case Studies and Some Lessons Learned (WE, RW), pp. 306–320.
REFSQ-2012-GulkeRJA #complexity #development #problem: High-Level Requirements Management and Complexity Costs in Automotive Development Projects: A Problem Statement (TG, BR, MJ, JA), pp. 94–100.
REFSQ-2012-KnaussS #documentation #heuristic #learning: Supporting Learning Organisations in Writing Better Requirements Documents Based on Heuristic Critiques (EK, KS), pp. 165–171.
REFSQ-2012-Koziolek #architecture #evaluation #feedback #quality #research: Research Preview: Prioritizing Quality Requirements Based on Software Architecture Evaluation Feedback (AK), pp. 52–58.
REFSQ-2012-MahauxMH #how #people #why: Choose Your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People (MM, AM, PH), pp. 101–116.
REFSQ-2012-OriolQFPM #adaptation #monitoring: Requirements Monitoring for Adaptive Service-Based Applications (MO, NAQ, XF, AP, JM), pp. 280–287.
REFSQ-2012-PoortMWV #architecture #how #non-functional: How Architects See Non-Functional Requirements: Beware of Modifiability (ERP, NM, IvdW, HvV), pp. 37–51.
REFSQ-2012-QureshiJP #adaptation #modelling #self #towards: Towards a Requirements Modeling Language for Self-Adaptive Systems (NAQ, IJ, AP), pp. 263–279.
REFSQ-2012-Radlinski #analysis #empirical #quality: Empirical Analysis of the Impact of Requirements Engineering on Software Quality (LR), pp. 232–238.
ASE-2012-KamalrudinGH #consistency #multi #named #tool support: MaramaAI: tool support for capturing and managing consistency of multi-lingual requirements (MK, JG, JGH), pp. 326–329.
ASE-2012-Lutz0D #collaboration #mobile #using: Using mobile devices for collaborative requirements engineering (RL, SS, SD), pp. 298–301.
ASE-2012-NguyenVLG #detection #framework #knowledge-based #named: REInDetector: a framework for knowledge-based requirements engineering (THN, BQV, ML, JG), pp. 386–389.
ICSE-2012-AlrajehKLRU #generative: Generating obstacle conditions for requirements completeness (DA, JK, AvL, AR, SU), pp. 705–715.
ICSE-2012-Blincoe12a #collaboration #coordination #detection #developer: Timely detection of Coordination Requirements to support collaboration among software developers (KB), pp. 1601–1603.
ICSE-2012-Chioasca #automation #machine learning #model transformation #using: Using machine learning to enhance automated requirements model transformation (EVC), pp. 1487–1490.
ICSE-2012-Kukreja #collaboration #elicitation #framework #named #network #social: Winbook: A social networking based framework for collaborative requirements elicitation and WinWin negotiations (NK), pp. 1610–1612.
ICSE-2012-LutzLLKHMS #programmable #self #verification: Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
ICSE-2012-SamarthyamSGN #adaptation #education #industrial #named: FOCUS: An adaptation of a SWEBOK-based curriculum for industry requirements (GS, GS, AKG, RN), pp. 1215–1224.
SAC-2012-FerrariGT #approach #clustering #specification: A clustering-based approach for discovering flaws in requirements specifications (AF, SG, GT), pp. 1043–1050.
SAC-2012-JafarinezhadR #process #towards: Towards a process factory for developing situational requirements engineering processes (OJ, RR), pp. 1089–1090.
SAC-2012-LemosADR: A systematic mapping study on creativity in requirements engineering (JL, CFA, LD, GNR), pp. 1083–1088.
SAC-2012-ScandurraAYD #case study #functional #modelling #state machine #validation: Functional requirements validation by transforming use case models into Abstract State Machines (PS, AA, TY, MD), pp. 1063–1068.
SAC-2012-ShinC #comparative #evaluation #feedback #retrieval: A comparative evaluation of two user feedback techniques for requirements trace retrieval (YS, JCH), pp. 1069–1074.
SAC-2012-SouzaMGTM #monitoring: Monitoring strategic goals in data warehouses with awareness requirements (VESS, JNM, IG, JT, JM), pp. 1075–1082.
SAC-2012-TsadimasNA #design #information management #non-functional: Extending SysML to explore non-functional requirements: the case of information system design (AT, MN, DA), pp. 1057–1062.
CASE-2012-DhananjayanS #automation #design #realtime #specification #validation: Automating timed specification transparency for human designer validation of real-time discrete-event control requirements (AD, KTS), pp. 908–913.
CASE-2012-FrankHEFDV #automation #modelling #realtime #using: Using contact points to integrate discipline spanning real-time requirements in modeling Networked Automation Systems for manufacturing systems (TF, TH, KE, AF, CD, BVH), pp. 851–856.
PDP-2012-OchsenschlagerR #security: Security Requirements for Uniformly Parameterised Cooperations (PO, RR), pp. 288–292.
ICST-2012-PaciMBD #evolution #process #testing: Managing Evolution by Orchestrating Requirements and Testing Engineering Processes (FP, FM, FB, SD), pp. 834–841.
ECSA-2011-AlebrahimHH #architecture #integration #quality #towards: Towards Systematic Integration of Quality Requirements into Software Architecture (AA, DH, MH), pp. 17–25.
ECSA-2011-TibermacineZ #evolution #quality #using #web #web service: Supervising the Evolution of Web Service Orchestrations Using Quality Requirements (CT, TZ), pp. 1–16.
WICSA-2011-CoelhoB #architecture #product line: From Requirements to Architecture for Software Product Lines (KC, TVB), pp. 282–289.
WICSA-2011-MiksovicZ #architecture #information management #metamodelling: Architecturally Significant Requirements, Reference Architecture, and Metamodel for Knowledge Management in Information Technology Services (CM, OZ), pp. 270–279.
TPDL-2011-HoussosSBKGK #implementation: Implementing Enhanced OAI-PMH Requirements for Europeana (NH, KS, VB, SK, EG, AK), pp. 396–407.
SIGITE-2011-McGillS: Computing faculty tenure and promotion requirements at USA and Canadian post-secondary institutions (MM, AS), pp. 133–138.
SCAM-J-2009-FouadPKJ11 #architecture #modelling: Embedding requirements within Model-Driven Architecture (AF, KP, JMK, SJ), pp. 411–430.
SCAM-J-2009-PhalpAJVK11 #case study #comprehension: The role of comprehension in requirements and implications for use case descriptions (KP, AA, SJ, JV, JMK), pp. 461–486.
CSMR-2011-CoteH #tool support #uml: A UML Profile and Tool Support for Evolutionary Requirements Engineering (IC, MH), pp. 161–170.
ICPC-2011-AliGA #traceability #trust: Trust-Based Requirements Traceability (NA, YGG, GA), pp. 111–120.
WCRE-2011-AliGA #clustering #object-oriented #source code #traceability: Requirements Traceability for Object Oriented Systems by Partitioning Source Code (NA, YGG, GA), pp. 45–54.
CHI-2011-GeertsVMDC #online #video: Are we in sync?: synchronization requirements for watching online video together (DG, IV, RM, OvD, PC), pp. 311–314.
CSCW-2011-AlvesF #adaptation #chat #consistency #multi #named #performance #scalability: ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat (PA, PF), pp. 553–562.
CSCW-2011-Masih #towards: Towards requirements engineering for a tumour removing robot: work-practice observation of surgical teams performing brain tumour surgery (AM), pp. 677–680.
DUXU-v1-2011-BjorndalRM #industrial #lessons learnt #specification #using: Lessons Learned from Using Personas and Scenarios for Requirements Specification of Next-Generation Industrial Robots (PB, MJR, SM), pp. 378–387.
HCD-2011-DasFS: Management of Weight-Loss: Patients’ and Healthcare Professionals’ Requirements for an E-health System for Patients (AD, AF, DS), pp. 285–294.
HCI-DDA-2011-NebeP #re-engineering #usability: Key Requirements for Integrating Usability Engineering and Software Engineering (KN, VP), pp. 114–120.
HCI-ITE-2011-HaslbeckPKPMB #interactive: Experimental Evaluations of Touch Interaction Considering Automotive Requirements (AH, SP, MK, KP, JM, KB), pp. 23–32.
HCI-ITE-2011-NebeMK #multi #using: An Investigation on Requirements for Co-located Group-Work Using Multitouch-, Pen-Based- and Tangible-Interaction (KN, TM, FK), pp. 90–99.
HCI-UA-2011-WookS #design: Exploring Children’s Requirements for the Graphic Design of WebOPAC (TSMTW, SSS), pp. 627–636.
HIMI-v1-2011-Terawaki #education #elicitation #information management: Supporting of Requirements Elicitation for Ensuring Services of Information Systems Used for Education (YT), pp. 58–65.
CAiSE-2011-KofP #feedback #formal method #generative #modelling: From Requirements to Models: Feedback Generation as a Result of Formalization (LK, BP), pp. 93–107.
CAiSE-2011-MateT #architecture #framework #metamodelling #modelling #traceability: A Trace Metamodel Proposal Based on the Model Driven Architecture Framework for the Traceability of User Requirements in Data Warehouses (AM, JT), pp. 123–137.
CAiSE-2011-MoserWHB #analysis #automation #categorisation #empirical #semantics: Requirements Management with Semantic Technology: An Empirical Study on Automated Requirements Categorization and Conflict Analysis (TM, DW, MH, SB), pp. 3–17.
CAiSE-2011-NobauerSMZ #elicitation #enterprise #named #using: S3C: Using Service Discovery to Support Requirements Elicitation in the ERP Domain (MN, NS, NAMM, KZ), pp. 18–32.
CAiSE-2011-QureshiJP #adaptation #ontology #problem #self: Requirements Engineering for Self-Adaptive Systems: Core Ontology and Problem Statement (NAQ, IJ, AP), pp. 33–47.
CAiSE-2011-SchmidtJ #analysis #design #security #using: Connecting Security Requirements Analysis and Secure Design Using Patterns and UMLsec (HS, JJ), pp. 367–382.
CAiSE-2011-TranM #evolution #game studies #towards: Dealing with Known Unknowns: Towards a Game-Theoretic Foundation for Software Requirement Evolution (LMST, FM), pp. 62–76.
ICEIS-J-2011-BrasilSFSC11a #approach #multi #optimisation #release planning: A Multiobjective Optimization Approach to the Software Release Planning with Undefined Number of Releases and Interdependent Requirements (MMAB, TGNdS, FGdF, JTdS, MIC), pp. 300–314.
ICEIS-v3-2011-BrasilSFSC #multi #release planning: Multiobjective Software Release Planning with Dependent Requirements and Undefined Number of Releases (MMAB, TGNdS, FGdF, JTdS, MIC), pp. 97–107.
ICEIS-v3-2011-ViriyasitavatM #formal method #specification #trust #workflow: Formalizing Trust Requirements and Specification in Service Workflow Environments (WV, AM), pp. 196–206.
ICEIS-v4-2011-FarwickABRVH #analysis #architecture #automation #enterprise #maintenance #overview: Requirements for Automated Enterprise Architecture Model Maintenance — A Requirements Analysis based on a Literature Review and an Exploratory Survey (MF, BA, RB, SR, KV, IH), pp. 325–337.
ICEIS-v4-2011-ZhangSX #design: 4PL Business Model Design based on TPL Requirements (YZ, QS, YX), pp. 702–707.
KMIS-2011-FortierS #modelling #process #using: Defining Information Requirements — Using Business Process Modeling for Incident Response for Chemical Facilities (SCF, GLS), pp. 411–417.
SEKE-2011-GuedesV #analysis #case study #metamodelling #multi #uml #validation: Applying and Validating a UML Metamodel for the Requirements Analysis in Multi-Agent Systems: The AME-A Case Study (GTAG, RMV), pp. 746–751.
SEKE-2011-Krishna #approach #non-functional #process #uml: A Process Oriented Approach to Model Non-Functional Requirements Proposition Extending UML (AK), pp. 736–739.
SEKE-2011-LiuZH11a #classification #empirical #non-functional: An Empirical Study on Classification of Non-Functional Requirements (SL, RZ, XH), pp. 444–449.
SEKE-2011-MachadoAF #evolution #semantics #using: Using Semantic Annotations for Supporting Requirements Evolution (BNM, LdOA, RdAF), pp. 185–190.
SEKE-2011-MoserWHB #analysis #automation #detection #empirical #semantics: Automating the Detection of Complex Semantic Conflicts between Software Requirements (An empirical study on requirements conflict analysis with semantic technology) (TM, DW, MH, SB), pp. 729–735.
SEKE-2011-Vara #empirical #industrial #quality: An Empirical Study on the Importance of Quality Requirements in Industry (JLdlV, KW, RBS, JS, BR), pp. 438–443.
SEKE-2011-VillegasS #non-functional: Mapping non-functional requirements to cloud applications (DV, SMS), pp. 527–532.
BX-2011-Brandt #enterprise #graph grammar #modelling #on the: On the role of Triple Graph Grammars Concerning Requirements for Enterprise Modeling (CB), p. 54.
ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #using: Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
MoDELS-2011-RamirezC #automation #monitoring: Automatic Derivation of Utility Functions for Monitoring Software Requirements (AJR, BHCC), pp. 501–516.
SPLC-2011-Beuche11b #product line: Managing Requirements in Product Lines (DB), p. 362.
SPLC-2011-Broy11a #product line #specification: The Role of Requirements and Specification in Product Line Engineering (MB), pp. 3–7.
SPLC-2011-Lopez-HerrejonME #case study #feature model #refactoring: From Requirements to Features: An Exploratory Study of Feature-Oriented Refactoring (RELH, LMM, AE), pp. 181–190.
SPLC-2011-NolanACP #nondeterminism #product line: Requirements Uncertainty in a Software Product Line (AJN, SA, PCC, AP), pp. 223–231.
Onward-2011-BoulilaCMRB: Presenting a day in the life of video-based requirements engineering (NB, OC, GAM, SR, RB), pp. 105–106.
RE-2011-Berntsson-SvenssonGRTSFA #quality: Prioritization of quality requirements: State of practice in eleven companies (RBS, TG, BR, RT, AS, RF, AA), pp. 69–78.
RE-2011-BjarnasonWR #case study #communication #development #scalability: Requirements are slipping through the gaps — A case study on causes & effects of communication gaps in large-scale software development (EB, KW, BR), pp. 37–46.
RE-2011-BrillK #elicitation: Structured and unobtrusive observation of anonymous users and their context for requirements elicitation (OB, EK), pp. 175–184.
RE-2011-CarvalloF #component #multi: Requirements negotiation for multilayer system components (JPC, XF), pp. 285–290.
RE-2011-Cleland-HuangD #exclamation: Ready-set-transfer! Technology transfer in the requirements engineering domain (JCH, DD), pp. 327–328.
RE-2011-CoteHSH #analysis #named #problem #uml: UML4PF — A tool for problem-oriented requirements analysis (IC, MH, HS, DH), pp. 349–350.
RE-2011-DekhtyarDHHCK #analysis #on the #performance #statistics: On human analyst performance in assisted requirements tracing: Statistical analysis (AD, OD, JH, JHH, DC, WKK), pp. 111–120.
RE-2011-ErnstBJ #evolution #incremental: Finding incremental solutions for evolving requirements (NAE, AB, IJ), pp. 15–24.
RE-2011-FailyF #elicitation #security #usability: Eliciting usable security requirements with misusability cases (SF, IF), pp. 339–340.
RE-2011-GotelM #traceability: Out of the labyrinth: Leveraging other disciplines for requirements traceability (OG, SJM), pp. 121–130.
RE-2011-GreenwoodCRNFS #adaptation #modelling #variability: Modelling adaptability and variability in requirements (PG, RC, AR, JN, FF, AS), pp. 343–344.
RE-2011-Jarke #challenge #design: Design requirements: Challenges and approaches (MJ), p. 331.
RE-2011-MaxwellAS #identification #taxonomy: A legal cross-references taxonomy for identifying conflicting software requirements (JCM, AIA, PPS), pp. 197–206.
RE-2011-McGeeG #case study #evaluation #taxonomy: Software requirements change taxonomy: Evaluation by case study (SM, DG), pp. 25–34.
RE-2011-MilneM #research: Power and politics in requirements engineering: A proposed research agenda (AM, NAMM), pp. 187–196.
RE-2011-NolanACP #development #nondeterminism: Managing requirements uncertainty in engine control systems development (AJN, SA, PCC, AP), pp. 259–264.
RE-2011-PostHP #realtime: Vacuous real-time requirements (AP, JH, AP), pp. 153–162.
RE-2011-PuhlF #how #towards: How to assign cost to “avoidable requirements creep”: A step towards the waterfall’s agilization (SP, RF), pp. 307–312.
RE-2011-RaatikainenMTV #case study #challenge #energy: Challenges of requirements engineering — A case study in nuclear energy domain (MR, TM, TT, JV), pp. 253–258.
RE-2011-RaufAC #documentation #logic: Logical structure extraction from software requirements documents (RR, MA, KC), pp. 101–110.
RE-2011-SawyerGN #information management: Unknown knowns: Tacit knowledge in requirements engineering (PS, VG, BN), p. 329.
RE-2011-SeyffOB #named: iRequire: Gathering end-user requirements for new apps (NS, GO, MB), pp. 347–348.
RE-2011-Sutcliffe: Emotional requirements engineering (AS), pp. 321–322.
RE-2011-TeuflKMG #experience: Experience with content-based requirements engineering assessments (ST, MK, DM, EG), pp. 345–346.
RE-2011-VoglLGE #approach #architecture: Reconciling requirements and architectures with the CBSP approach in an iPhone app project (HV, KL, PG, AE), pp. 273–278.
RE-2011-Waldmann #agile #constraints #development #what: There’s never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development (BW), pp. 301–305.
REFSQ-2011-BakalovaDHW #agile #what: Agile Requirements Prioritization: What Happens in Practice and What Is Described in Literature (ZB, MD, AH, RW), pp. 181–195.
REFSQ-2011-DhunganaSG #elicitation #modelling #product line #research #using #variability: Research Preview: Supporting End-User Requirements Elicitation Using Product Line Variability Models (DD, NS, FG), pp. 66–71.
REFSQ-2011-El-SharkawyS #approach #empirical #heuristic: A Heuristic Approach for Supporting Product Innovation in Requirements Engineering: A Controlled Experiment (SES, KS), pp. 78–93.
REFSQ-2011-GervasiZ #mining: Mining Requirements Links (VG, DZ), pp. 196–201.
REFSQ-2011-HenkelP #perspective: E-Service Requirements from a Consumer-Process Perspective (MH, EP), pp. 121–135.
REFSQ-2011-KnaussHSIJ #security: Supporting Requirements Engineers in Recognising Security Issues (EK, SHH, KS, SI, JJ), pp. 4–18.
REFSQ-2011-MahauxHS #case study #experience: Discovering Sustainability Requirements: An Experience Report (MM, PH, GS), pp. 19–33.
REFSQ-2011-Maiden #delivery #research: Delivering Requirements Research into Practice (NAMM), pp. 1–3.
REFSQ-2011-MarkovHC #case study #industrial #process: Requirements Engineering Process Improvement: An Industrial Case Study (GAM, AH, OC), pp. 34–47.
REFSQ-2011-MertenLB #comprehension #enterprise #research #towards: Towards a New Understanding of Small and Medium Sized Enterprises in Requirements Engineering Research (TM, KL, SB), pp. 60–65.
REFSQ-2011-PostMP #case study #strict: Applying Restricted English Grammar on Automotive Requirements — Does it Work? A Case Study (AP, IM, AP), pp. 166–180.
REFSQ-2011-ScheinholtzW #elicitation: Interview Patterns for Requirements Elicitation (LAS, IW), pp. 72–77.
REFSQ-2011-SikoraTP #embedded #industrial: Requirements Engineering for Embedded Systems: An Investigation of Industry Needs (ES, BT, KP), pp. 151–165.
REFSQ-2011-VeerappaL #clustering: Clustering Stakeholders for Requirements Decision Making (VV, EL), pp. 202–208.
REFSQ-2011-WidyaBWLKBJH #education: Requirements for a Nutrition Education Demonstrator (IW, RB, RdW, BL, NK, RB, VJ, HJH), pp. 48–53.
REFSQ-2011-WnukRB #challenge #complexity #development #scalability: Scaling Up Requirements Engineering — Exploring the Challenges of Increasing Size and Complexity in Market-Driven Software Development (KW, BR, BB), pp. 54–59.
REFSQ-2011-WuestG #flexibility #modelling #sketching: Flexible Sketch-Based Requirements Modeling (DW, MG), pp. 100–105.
ASE-2011-FilieriGLM #adaptation #approach #reliability #self: Self-adaptive software meets control theory: A preliminary approach supporting reliability requirements (AF, CG, AL, MM), pp. 283–292.
ASE-2011-KamalrudinG #generative #prototype #user interface #validation: Generating essential user interface prototypes to validate requirements (MK, JCG), pp. 564–567.
ASE-2011-Li #consistency #natural language #towards: Toward consistency checking of natural language temporal requirements (WL), pp. 651–655.
ASE-2011-OsterSB #analysis #automation: Automating analysis of qualitative preferences in goal-oriented requirements engineering (ZJO, GRS, SB), pp. 448–451.
ASE-2011-WelshSB #runtime #towards: Towards requirements aware systems: Run-time resolution of design-time assumptions (KW, PS, NB), pp. 560–563.
ASE-2011-ZiftciK #precise #testing: Tracing requirements to tests with high precision and recall (CZ, IK), pp. 472–475.
ESEC-FSE-2011-ClementsEIMM #architecture #testing: Exploiting software architecture to support requirements satisfaction testing (PCC, MJEC, PI, IM, EM), pp. 484–487.
ESEC-FSE-2011-Durdik #approach #architecture #elicitation: An architecture-centric approach for goal-driven requirements elicitation (ZD), pp. 384–387.
ESEC-FSE-2011-PalmaST #interactive #smt #using: Using an SMT solver for interactive requirements prioritization (FP, AS, PT), pp. 48–58.
GTTSE-2011-Bencomo #adaptation #self: Requirements for Self-adaptation (NB), pp. 271–296.
ICSE-2011-BorgesGLN #adaptation #evolution #learning #specification: Learning to adapt requirements specifications of evolving systems (RVB, ASdG, LCL, BN), pp. 856–859.
ICSE-2011-BottDL #collaboration #named: CREWW: collaborative requirements engineering with wii-remotes (FB, SD, RL), pp. 852–855.
ICSE-2011-CuddebackDHHK #process #towards: Towards overcoming human analyst fallibility in the requirements tracing process (DC, AD, JHH, JH, WKK), pp. 860–863.
ICSE-2011-KamalrudinHG #case study #interactive #quality #using: Improving requirements quality using essential use case interaction patterns (MK, JGH, JCG), pp. 531–540.
ICSE-2011-LimDF #identification #network #social #using: StakeSource2.0: using social networks of stakeholders to identify and prioritise requirements (SLL, DD, AF), pp. 1022–1024.
ICSE-2011-LiNHK: A domain specific requirements model for scientific computing (YL, NN, JH, MK), pp. 848–851.
ICSE-2011-Mirakhorli #approach #architecture: Tracing architecturally significant requirements: a decision-centric approach (MM), pp. 1126–1127.
ICSE-2011-Smith #functional #security #testing #using: Systematizing security test case planning using functional requirements phrases (BS), pp. 1136–1137.
ICSE-2011-Sultanov #documentation #proximity: Requirements tracing: discovering related documents through artificial pheromones and term proximity (HS), pp. 1173–1175.
SAC-2011-ChenHT #clustering #power management #quality: Power management schemes for heterogeneous clusters under quality of service requirements (JJC, KH, LT), pp. 546–553.
SAC-2011-ChenZGZWSC #approach #interactive #reduction #testing: A test suite reduction approach based on pairwise interaction of requirements (XC, LZ, QG, HZ, ZW, XS, DC), pp. 1390–1397.
SAC-2011-ElahiY #analysis #heuristic #metric #trade-off: Requirements trade-offs analysis in the absence of quantitative measures: a heuristic method (GE, ESKY), pp. 651–658.
SAC-2011-LucenaCSAS #architecture #modelling #named: Stream: a strategy for transition between requirements models and architectural models (ML, JC, CTLLS, FMRA, ES), pp. 699–704.
SAC-2011-ShimHKLOW #as a service: Patterns for configuration requirements of Software-as-a-Service (JS, JH, JK, BL, JO, CW), pp. 155–161.
SAC-2011-VarelaABM #analysis #aspect-oriented #product line: Aspect-oriented analysis for software product lines requirements engineering (PV, JA, ISB, AMDM), pp. 667–674.
SAC-2011-VerlaineJF #framework #ontology: Requirements engineering for services: an ontological framework (BV, IJ, SF), pp. 1622–1623.
CASE-2011-PatilSMDS #development: Requirements for the development of a decision-support solution for sustainability target cascading (LP, LS, KM, DD, RS), pp. 456–461.
DATE-2011-Winterholer #debugging #embedded: Embedded software debug and test: Needs and requirements for innovations in debugging (MW), p. 721.
FASE-2011-HateburHJS #design #development #modelling #security: Systematic Development of UMLsec Design Models Based on Security Requirements (DH, MH, JJ, HS), pp. 232–246.
FASE-2011-PostHP #named #realtime: rt-Inconsistency: A New Property for Real-Time Requirements (AP, JH, AP), pp. 34–49.
TAP-2011-DegiovanniPAF #abstraction #automation #generative #specification #testing: Abstraction Based Automated Test Generation from Formal Tabular Requirements Specifications (RD, PP, NA, MFF), pp. 84–101.
ECSA-2010-Bahsoon #architecture #dependence #framework #self: A Framework for Dynamic Self-optimization of Power and Dependability Requirements in Green Cloud Architectures (RB), pp. 510–514.
ECSA-2010-BerrocalGM #design pattern: Facilitating the Selection of Architectural Patterns by Means of a Marked Requirements Model (JB, JGA, JMM), pp. 384–391.
ECSA-2010-SchwittekE #architecture #communication #information management #tool support: Communicating Architectural Knowledge: Requirements for Software Architecture Knowledge Management Tools (WS, SE), pp. 457–463.
ECSA-2010-WeinreichB #architecture #design #representation: Integrating Requirements and Design Decisions in Architecture Representation (RW, GB), pp. 86–101.
CSMR-2010-OzkayaPGC #architecture #evolution #using: Using Architecturally Significant Requirements for Guiding System Evolution (IO, JADP, AG, SC), pp. 127–136.
ICSM-2010-BurgstallerE #comprehension: Understanding where requirements are implemented (BB, AE), pp. 1–5.
SEFM-2010-WinterHC #behaviour: Integrating Requirements: The Behavior Tree Philosophy (KW, IJH, RC), pp. 41–50.
VS-Games-2010-HulusicDAC #interactive: Exploiting Audio-Visual Cross-Modal Interaction to Reduce Computational Requirements in Interactive Environments (VH, KD, VA, AC), pp. 126–132.
CAiSE-2010-JarkeLLMR #design: The Brave New World of Design Requirements: Four Key Principles (MJ, PL, KL, JM, WNR), pp. 470–482.
CAiSE-2010-LeonardiSSZ #communication: Ahab’s Leg: Exploring the Issues of Communicating Semi-formal Requirements to the Final Users (CL, LS, AS, MZ), pp. 455–469.
EDOC-2010-QuartelSL #architecture #enterprise #modelling #using: IT Portfolio Valuation — Using Enterprise Architecture and Business Requirements Modeling (DACQ, MWAS, MML), pp. 3–13.
ICEIS-ISAS-2010-PerezMDM #metric #quality #tool support: Quality Measurement Model for Requirements Engineering Floss Tools (MAP, EMM, KD, LEM), pp. 249–254.
ICEIS-ISAS-2010-VolkelA #information management #tool support: Requirements for Personal Knowledge Management Tools (MV, AA), pp. 332–337.
KMIS-2010-PenciucAA #development #information management #modelling: Requirements and Modelling of a Workspace for Tacit Knowledge Management in Railway Product Development (DP, MHA, DVDA), pp. 61–70.
SEKE-2010-AbranAC #maintenance #metric: Measurement Model of Software Requirements Derived from System Maintainability Requirements (AA, KTAS, JJCG), pp. 153–158.
SEKE-2010-GalsterEM #architecture #specification: Textual Software Requirements Specifications in the Context of Software Architecting (MG, AE, MM), pp. 42–47.
SEKE-2010-GuedesV #multi #uml: A UML Profile Oriented to the Requirements Collecting and Analyzing for the Multi-Agent Systems Project (GTAG, RMV), p. 2833.
SEKE-2010-KrishnaGS #elicitation #quality: Quality Indicators in Requirements Elicitation (AK, AG, CS), pp. 24–27.
SEKE-2010-LopezN #case study: Soft Systems in Requirements Engineering: A Case Study (AYL, NN), pp. 38–41.
SEKE-2010-PimentelSC: Conditions for ignoring failures based on a requirements model (JP, ES, JC), pp. 48–53.
SEKE-2010-SarkarCCB #analysis #framework #object-oriented: Business-Object Oriented Requirements Analysis Framework for Data Warehouses (AS, SC, NC, SB), pp. 34–37.
SIGIR-2010-AzzopardiVJ: Search system requirements of patent analysts (LA, WV, HJ), pp. 775–776.
ECMFA-2010-ColomboKL #analysis #case study #modelling #problem: Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.
MoDELS-v2-2010-EsmaeilsabzaliDA #framework #modelling: A Common Framework for Synchronization in Requirements Modelling Languages (SE, NAD, JMA), pp. 198–212.
MoDELS-v2-2010-FernandezPKB #lessons learnt #metamodelling: A Meta Model for Artefact-Orientation: Fundamentals and Lessons Learned in Requirements Engineering (DMF, BP, MK, MB), pp. 183–197.
MoDELS-v2-2010-LoniewskiIA #development #modelling #overview #using: A Systematic Review of the Use of Requirements Engineering Techniques in Model-Driven Development (GL, EI, SA), pp. 213–227.
SPLC-2010-BagheriNRG #configuration management #feature model #modelling #product line: Configuring Software Product Line Feature Models Based on Stakeholders’ Soft and Hard Requirements (EB, TDN, AR, DG), pp. 16–31.
SPLC-2010-BeucheJ #product line: Managing Requirements in Product Lines (DB, IJ), pp. 513–514.
SIGAda-2010-Bail #effectiveness: Effective requirements engineering (WB), pp. 1–2.
RE-2010-AmellerFC #development #modelling #non-functional: Dealing with Non-Functional Requirements in Model-Driven Development (DA, XF, JC), pp. 189–198.
RE-2010-AoyamaNS #towards: REBOK Manifest: Towards a Requirements Engineering Body of Knowledge (MA, TN, SS), pp. 383–384.
RE-2010-Berenbach #industrial: Requirements Engineering for Industrial Systems: No Easy Answers (BB), pp. 373–374.
RE-2010-BerryCAA #case study #experience: Requirements Determination is Unstoppable: An Experience Report (DMB, KC, MA, MA), pp. 311–316.
RE-2010-BittnerRGW #multi #using: Manufacturer-Supplier Requirements Synchronization Using Exchange Containers and Multi-Level Systems (MB, MOR, HG, MW), pp. 325–330.
RE-2010-CalleleNS #experience: An Introduction to Experience Requirements (DC, EN, KS), pp. 395–396.
RE-2010-CuddebackDH #automation #case study #traceability: Automated Requirements Traceability: The Study of Human Analysts (DC, AD, JHH), pp. 231–240.
RE-2010-FerrariMSHGS #architecture #case study #prototype: Requirements Engineering Decisions in the Context of an Existing Architecture: A Case Study of a Prototypical Project (RF, NHM, OS, CH, JG, WS), pp. 79–88.
RE-2010-FrickerG #analysis #case study #comparison: Comparison of Requirements Hand-off, Analysis, and Negotiation: Case Study (SF, MG), pp. 167–176.
RE-2010-GacituaSG #abstraction #effectiveness #identification #on the: On the Effectiveness of Abstraction Identification in Requirements Engineering (RG, PS, VG), pp. 5–14.
RE-2010-Glinz #lightweight #modelling: Very Lightweight Requirements Modeling (MG), pp. 385–386.
RE-2010-HillT #legacy #safety #traceability: Creating Safety Requirements Traceability for Assuring and Recertifying Legacy Safety-Critical Systems (JH, SRT), pp. 297–302.
RE-2010-Hirzalla #in the cloud: Realizing Business Agility Requirements through SOA and Cloud Computing (MH), pp. 379–380.
RE-2010-JantunenGW: Making Sense of Product Requirements (SJ, DCG, RW), pp. 89–92.
RE-2010-JuretaBEM #consistency #generative #modelling #named #nondeterminism #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-KaindlSN #reuse #specification: Case-based Reuse with Partial Requirements Specifications (HK, MS, WN), pp. 399–400.
RE-2010-KamalrudinHG #approach #automation #consistency #named #nondeterminism #visual notation: MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements (MK, JGH, JCG), pp. 393–394.
RE-2010-Kof #automation #documentation #interactive #modelling: From Requirements Documents to System Models: A Tool for Interactive Semi-Automatic Translation (LK), pp. 391–392.
RE-2010-LiaskosMSM #modelling: Integrating Preferences into Goal Models for Requirements Engineering (SL, SAM, SS, JM), pp. 135–144.
RE-2010-LiuLP #overview #why: Why Requirements Engineering Fails: A Survey Report from China (LL, TL, FP), pp. 317–322.
RE-2010-LiuWZJ #approach #dependence #elicitation: Elicitation of Dependability Requirements: A HAZOP-based Approach (CL, YW, WZ, ZJ), pp. 407–408.
RE-2010-MahauxHM: Making It all Up: Getting in on the Act to Improvise Creative Requirements (MM, PH, NAMM), pp. 375–376.
RE-2010-MaidenJKNZM #idea #problem #research: Requirements Engineering as Creative Problem Solving: A Research Agenda for Idea Finding (NAMM, SJ, IKK, RN, KZ, AM), pp. 57–66.
RE-2010-MavinW #approach: Big Ears (The Return of “Easy Approach to Requirements Engineering”) (AM, PW), pp. 277–282.
RE-2010-MenzelMGD #comparison #functional #specification: An Experimental Comparison Regarding the Completeness of Functional Requirements Specifications (IM, MM, AG, JD), pp. 15–24.
RE-2010-MonteiroAAP #modelling #named #towards: Mdgore: Towards Model-Driven and Goal-Oriented Requirements Engineering (RM, JA, VA, PP), pp. 405–406.
RE-2010-MoraliW #outsourcing #specification: Risk-based Confidentiality Requirements Specification for Outsourced IT Systems (AM, RW), pp. 199–208.
RE-2010-Panis #deployment #traceability: Successful Deployment of Requirements Traceability in a Commercial Engineering Organization...Really (MCP), pp. 303–307.
RE-2010-QureshiP #adaptation: Requirements Engineering for Adaptive Service Based Applications (NAQ, AP), pp. 108–111.
RE-2010-RachevaDSHW #agile #case study: Do We Know Enough about Requirements Prioritization in Agile Projects: Insights from a Case Study (ZR, MD, KS, AH, RW), pp. 147–156.
RE-2010-SalinesiMDD #constraints #integer #reuse #theorem proving #using: Using Integer Constraint Solving in Reuse Based Requirements Engineering (CS, RM, DD, OD), pp. 243–251.
RE-2010-SavolainenKV #agile #development: Transition to Agile Development — Rediscovery of Important Requirements Engineering Practices (JS, JK, AV), pp. 289–294.
RE-2010-SawahMR #elicitation #modelling #overview #perspective #using: Using Cognitive Mapping to Elicit Modelling Requirements: An Overview (SES, AM, MR), pp. 357–363.
RE-2010-SieglHG #analysis #modelling #testing: Model Based Requirements Analysis and Testing of Automotive Systems with Timed Usage Models (SS, KSJH, RG), pp. 345–350.
RE-2010-StoiberFJG #product line #refactoring #specification #weaving: Feature Unweaving: Refactoring Software Requirements Specifications into Software Product Lines (RS, SF, MJ, MG), pp. 403–404.
RE-2010-SultanovH: Application of Swarm Techniques to Requirements Engineering: Requirements Tracing (HS, JHH), pp. 211–220.
RE-2010-VijayammaD #framework: Enhancing Customer Partnership Through Requirements Framework (DKV, NYD), pp. 337–342.
RE-2010-WnukCR #reduction #towards #using: Guiding Requirements Scoping Using ROI: Towards Agility, Openness and Waste Reduction (KW, DC, BR), pp. 409–410.
RE-2010-YangRGWN #ambiguity #analysis #natural language: Extending Nocuous Ambiguity Analysis for Anaphora in Natural Language Requirements (HY, ANDR, VG, AW, BN), pp. 25–34.
RE-2010-YoungA #identification #policy: A Method for Identifying Software Requirements Based on Policy Commitments (JDY, AIA), pp. 47–56.
REFSQ-2010-Alexander: Keynote Talk Piecing Together the Requirements Jigsaw-Puzzle (IA), p. 1.
REFSQ-2010-AmellerF #architecture #how #non-functional #overview: How Do Software Architects Consider Non-Functional Requirements: A Survey (DA, XF), pp. 276–277.
REFSQ-2010-BebenseeWB: Binary Priority List for Prioritizing Software Requirements (TB, IvdW, SB), pp. 67–78.
REFSQ-2010-BittnerRW #case study #multi #product line: A Case Study on Tool-Supported Multi-level Requirements Management in Complex Product Families (MB, MOR, MW), pp. 173–187.
REFSQ-2010-BrillSK #case study #question: Videos vs. Use Cases: Can Videos Capture More Requirements under Time Pressure? (OB, KS, EK), pp. 30–44.
REFSQ-2010-BruijnD #ambiguity #case study #natural language: Ambiguity in Natural Language Software Requirements: A Case Study (FdB, HLD), pp. 233–247.
REFSQ-2010-ErnstM #lifecycle #on the #quality: On the Perception of Software Quality Requirements during the Project Lifecycle (NAE, JM), pp. 143–157.
REFSQ-2010-FerrariSHGSM #architecture #interactive #prototype: Requirements and Systems Architecture Interaction in a Prototypical Project: Emerging Results (RF, OS, CH, JG, WS, NHM), pp. 23–29.
REFSQ-2010-FranchPQRL #metamodelling: A Metamodel for Software Requirement Patterns (XF, CP, CQ, SR, FDL), pp. 85–90.
REFSQ-2010-Fricker #ecosystem: Requirements Value Chains: Stakeholder Management and Requirements Engineering in Software Ecosystems (SF), pp. 60–66.
REFSQ-2010-IslamMW #elicitation #framework #privacy #security #towards: Towards a Framework to Elicit and Manage Security and Privacy Requirements from Laws and Regulations (SI, HM, SW), pp. 255–261.
REFSQ-2010-OmoronyiaSSBMS #elicitation #ontology #process: A Domain Ontology Building Process for Guiding Requirements Elicitation (IO, GS, TS, SB, TM, WDS), pp. 188–202.
REFSQ-2010-ProynovaPWW #perspective #research #using: Use of Personal Values in Requirements Engineering — A Research Preview (RP, BP, AW, TW), pp. 17–22.
REFSQ-2010-SabaliauskaiteLEURRGF #challenge #industrial #scalability #verification: Challenges in Aligning Requirements Engineering and Verification in a Large-Scale Industrial Context (GS, AL, EE, MU, BR, PR, TG, RF), pp. 128–142.
REFSQ-2010-SakhniniBM #effectiveness #elicitation #validation: Validation of the Effectiveness of an Optimized EPMcreate as an Aid for Creative Requirements Elicitation (VS, DMB, LM), pp. 91–105.
REFSQ-2010-ShahrokniF #framework #robust #specification #towards: Towards a Framework for Specifying Software Robustness Requirements Based on Patterns (AS, RF), pp. 79–84.
ASE-2010-GabrysiakGS #behaviour #interactive #multi #process #validation: Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
ASE-2010-KamalrudinGH #case study #tool support: Tool support for essential use cases to better capture software requirements (MK, JCG, JGH), pp. 255–264.
ASE-2010-YangWRN #automation #coordination #detection #natural language: Automatic detection of nocuous coordination ambiguities in natural language requirements (HY, AW, ANDR, BN), pp. 53–62.
FSE-2010-Charrada #evolution #maintenance #testing: Updating requirements from tests during maintenance and evolution (EBC), pp. 337–340.
FSE-2010-Krka #approach #behaviour #incremental #modelling #refinement #specification: From requirements to partial behavior models: an iterative approach to incremental specification refinement (IK), pp. 341–344.
ICSE-2010-BencomoWSFL #runtime: Requirements reflection: requirements as runtime entities (NB, JW, PS, AF, EL), pp. 199–202.
ICSE-2010-ChenM #approach #evolution #monitoring #safety #towards: Towards better support for the evolution of safety requirements via the model monitoring approach (ZC, GM), pp. 219–222.
ICSE-2010-Cleland-HuangCGE #approach #machine learning: A machine learning approach for tracing regulatory codes to product specific requirements (JCH, AC, MG, JE), pp. 155–164.
ICSE-2010-ErfurthR #aspect-oriented #named #uml: CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects (IE, WR), pp. 171–174.
ICSE-2010-Firesmith #summary #tutorial: Engineering safety- and security-related requirements for software-intensive systems: tutorial summary (DGF), pp. 489–490.
ICSE-2010-JurgensDFHSWDS #clone detection #detection #quality #question #specification: Can clone detection support quality assessments of requirements specifications? (EJ, FD, MF, BH, BS, SW, CD, JS), pp. 79–88.
ICSE-2010-SeyffGM: End-user requirements blogging with iRequire (NS, FG, NAMM), pp. 285–288.
ICSE-2010-Shaker #feature model #modelling: Feature-oriented requirements modelling (PS), pp. 365–368.
ICSE-2010-SutcliffeT #people #problem: Analysing “people” problems in requirements engineering (AGS, ST), pp. 469–470.
SAC-2010-BautistaSHPD #clustering #power management #set: Dynamic task set partitioning based on balancing resource requirements and utilization to reduce power consumption (DB, JS, HH, SP, JD), pp. 521–526.
SAC-2010-BraynerCS #approach #detection #energy #network #quality #query: Dealing with application requirements and energy consumption in wireless sensor networks: a novelty detection approach for quality of query services (AB, ALVC, KMdS), pp. 786–790.
SAC-2010-BucchiaroneGFT #experience #natural language #scalability #set #using: An experience in using a tool for evaluating a large set of natural language requirements (AB, SG, AF, GT), pp. 281–286.
SAC-2010-CappelliCGL #analysis #security: Transparency versus security: early analysis of antagonistic requirements (CC, HdSC, BGB, JCSdPL), pp. 298–305.
SAC-2010-HadarKPRRS #case study #comprehension #empirical #modelling: An empirical study of requirements model understanding: Use Case vs. Tropos models (IH, TK, AP, IRB, FR, AS), pp. 2324–2329.
SAC-2010-JohanssonC #enterprise #tool support: Software tools for requirements management in an ERP system context (BJ, RAdC), pp. 169–170.
SAC-2010-Lee-KlenzSW #elicitation #framework: A requirements elicitation framework and tool for sourcing business-IT aligned e-services (SLK, PS, TWH), pp. 111–117.
SAC-2010-MairizaZN #non-functional: An investigation into the notion of non-functional requirements (DM, DZ, NN), pp. 311–317.
SAC-2010-Roder #interactive #usability #using: Using interaction requirements to operationalize usability (HR), pp. 318–319.
SAC-2010-SpinolaPT #approach #named: UbiCheck: an approach to support requirements definition in the ubicomp domain (ROS, FCRP, GHT), pp. 306–310.
SAC-2010-ZambranoFJS #case study #experience #interactive: Expressing aspectual interactions in requirements engineering: experiences in the slot machine domain (AZ, JF, GJ, SEG), pp. 2161–2168.
DATE-2010-BerahaWCK #case study #design: Leveraging application-level requirements in the design of a NoC for a 4G SoC — a case study (RB, IW, IC, AK), pp. 1408–1413.
DATE-2010-PomeranzR #sequence #testing #using: Reducing the storage requirements of a test sequence by using a background vector (IP, SMR), pp. 1237–1242.
ISMM-2010-AlbertGG #garbage collection #memory management #parametricity: Parametric inference of memory requirements for garbage collected languages (EA, SG, MGZ), pp. 121–130.
PDP-2010-BertolliMV #grid #memory management #pervasive: Analyzing Memory Requirements for Pervasive Grid Applications (CB, GM, MV), pp. 297–301.
PDP-2010-RayoBMPD #embedded #manycore #parallel #power management #thread: Balancing Task Resource Requirements in Embedded Multithreaded Multicore Processors to Reduce Power Consumption (DBR, JSB, HHM, SP, JD), pp. 200–204.
CAV-2010-BloemCGHKRSS #analysis #named #synthesis: RATSY — A New Requirements Analysis Tool with Synthesis (RB, AC, KG, GH, RK, MR, VS, RS), pp. 425–429.
ISSTA-2010-Romero-MarionaZR #automation #named: ASSURE: automated support for secure and usable requirements engineering (JRM, HZ, DJR), pp. 279–282.
DocEng-2009-Broy #documentation #modelling: From system requirements documents to integrated system modeling artifacts (MB), p. 98.
CSEET-2009-FernandesMS #development: A Requirements Engineering and Management Training Course for Software Development Professionals (JMF, RJM, SBS), pp. 20–25.
FM-2009-LarsenLNP #realtime #verification: Verifying Real-Time Systems against Scenario-Based Requirements (KGL, SL, BN, SP), pp. 676–691.
SEFM-2009-DzungO #elicitation #ontology #reasoning: Ontology-Based Reasoning in Requirements Elicitation (DVD, AO), pp. 263–272.
AIIDE-2009-JonesPSRG #adaptation #game studies: Adapting Game-Playing Agents to Game Requirements (JJ, CP, AS, SR, AKG0).
FDG-2009-Hudlicka #game studies #motivation: Affective game engines: motivation and requirements (EH), pp. 299–306.
FDG-2009-NelsonM #analysis #design #game studies #tool support: A requirements analysis for videogame design support tools (MJN, MM), pp. 137–144.
CHI-2009-WuRT #social: An exploration of social requirements for exercise group formation (MW, AR, KNT), pp. 79–82.
HCD-2009-AnastassovaM #case study #elicitation #interactive #mobile #prototype #visual notation: Elicitation of User Requirements for Mobile Interaction with Visual and RFID Tags: A Prototype-Based Exploratory Study (MA, OMI), pp. 159–166.
HCD-2009-CantoniBFB #human-computer #using: Playful Holistic Support to HCI Requirements Using LEGO Bricks (LC, LB, MF, DB), pp. 844–853.
HCD-2009-LoveHA #case study #design #industrial #mobile #process: Accommodating Real User and Organisational Requirements in the Human Centered Design Process: A Case Study from the Mobile Phone Industry (SL, PH, MA), pp. 758–764.
HCI-AUII-2009-OchoaAG #collaboration #comprehension #mobile: Understanding the Relationship between Requirements and Context Elements in Mobile Collaboration (SFO, RA, LAG), pp. 67–76.
HCI-NT-2009-AdikariMC #agile #approach #design #usability: Little Design Up-Front: A Design Science Approach to Integrating Usability into Agile Requirements Engineering (SA, CM, JAC), pp. 549–558.
HCI-NT-2009-BomsdorfS #modelling #specification #user interface #validation: Model-Based Specification and Validation of User Interface Requirements (BB, DS), pp. 587–596.
HIMI-II-2009-ChanLLH #mobile #user interface: Discovering User Interface Requirements of Search Results for Mobile Clients by Contextual Inquiry (DLC, RWPL, HVL, EKSH), pp. 365–374.
HIMI-II-2009-HoMBB #concept: Information Requirements and Sharing for NGATS Function Allocation Concepts (NTH, PM, JB, BB), pp. 776–785.
CAiSE-2009-EspanaGP #analysis #communication #information management: Communication Analysis: A Requirements Engineering Method for Information Systems (SE, AG, OP), pp. 530–545.
CAiSE-2009-KaiyaTSSK #analysis #quality #using: Spectrum Analysis for Quality Requirements by Using a Term-Characteristics Map (HK, MT, SS, TS, KK), pp. 546–560.
CAiSE-2009-SommervilleLSD #modelling: Deriving Information Requirements from Responsibility Models (IS, RL, TS, JD), pp. 515–529.
EDOC-2009-QuartelEJS #architecture #enterprise #modelling: A Goal-Oriented Requirements Modelling Language for Enterprise Architecture (DACQ, WE, HJ, MvS), pp. 3–13.
ICEIS-DISI-2009-MoserMBM #approach #integration #modelling #performance #semantics #using: Efficient System Integration using Semantic Requirements and Capability Models — An Approach for Integrating Heterogeneous Business Services (TM, RM, SB, AM), pp. 56–63.
ICEIS-ISAS-2009-FerreiraCAB #modelling #using: Keeping the Rationale of IS Requirements using Organizational Business Models (JJF, VMC, RMdA, FAB), pp. 292–297.
ICEIS-ISAS-2009-LeiteG #analysis #multi #process: A Process for Multi-agent Domain and Application Engineering — The Domain Analysis and Application Requirements Engineering Phases (AL, RG), pp. 156–161.
ICEIS-ISAS-2009-SarmientoBC #approach #detection #interactive: Applying an Event-based Approach for Detecting Requirements Interaction (ES, MRSB, MLMC), pp. 225–230.
ICEIS-J-2009-KrohaR #generative #validation: Text Generation for Requirements Validation (PK, MR), pp. 467–478.
ICEIS-J-2009-LahiriW #automation #web #web service: A Business Service Selection Model for Automated Web Service Discovery Requirements (TL, MW), pp. 790–803.
KEOD-2009-GarridoR #assessment #information management #representation #validation: Knowledge Representation in Environmental Impact Assessment — A Case of Study with High Level Requirements in Validation (JG, IR), pp. 412–415.
KMIS-2009-MottaPR #case study #documentation #elicitation: User Goal-oriented Requirements Elicitation to Improve Acceptance and Use — A Case Study on Document Management (GM, GP, PR), pp. 153–160.
SEKE-2009-Abu-NimehMM #privacy #security: Integrating Privacy Requirements into Security Requirements Engineering (SAN, SM, NRM), pp. 542–547.
SEKE-2009-AzambujaBB #overview #reuse: Systematic Review of Requirements Reuse (FBdA, RMB, APTB), pp. 67–72.
SEKE-2009-AzizZM #classification #towards: Towards a Classification of Requirements Relationships (RAA, DZ, TM), pp. 26–32.
SEKE-2009-BarbosaB #elicitation #process #towards: Towards the Selection of the Most Suitable Elicitation Technique Through a Defined Requirements Elicitation Process (MWB, GARB), pp. 33–36.
SEKE-2009-MartinezPME #modelling: From Organizational Models to Software Requirements (AM, OP, JM, HE), pp. 61–66.
SEKE-2009-PengLPF #algorithm #using: Requirements Discovery Based on RGPS Using Evolutionary Algorithm (TP, BL, WP, ZF), pp. 286–290.
SEKE-2009-RachevaD #agile #concept #development #perspective #towards: Reprioritizing the Requirements in Agile Software Development: Towards a Conceptual Model from Clients’ Perspective (ZR, MD), pp. 73–80.
SEKE-2009-VaraS #specification: Specification of Data Requirements from Task Descriptions (JLdlV, JS), pp. 55–60.
MoDELS-2009-BendixE #industrial #perspective: Requirements for Practical Model Merge — An Industrial Perspective (LB, PE), pp. 167–180.
MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism: A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
SPLC-2009-JohnV #product line: Evolutionary product line requirements engineering (IJ, KV), p. 319.
SPLC-2009-SavolainenM #architecture #industrial #optimisation #product line: From product line requirements to product line architecture: optimizing industrial product lines for new competitive advantage (JS, MM), p. 315.
SPLC-2009-SunLB #composition #web #web service: Product-line-based requirements customization for web service compositions (HS, RRL, SB), pp. 141–150.
SPLC-2009-TunBCHH #approach #feature model: Relating requirements and feature configurations: a systematic approach (TTT, QB, AC, AH, PH), pp. 201–210.
SPLC-2009-WestonCR #composition #feature model #framework #modelling #natural language #semantics: A framework for constructing semantically composable feature models from natural language requirements (NW, RC, AR), pp. 211–220.
MoDELS-2009-BendixE #industrial #perspective: Requirements for Practical Model Merge — An Industrial Perspective (LB, PE), pp. 167–180.
MoDELS-2009-ChengSBW #adaptation #approach #modelling #nondeterminism: A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty (BHCC, PS, NB, JW), pp. 468–483.
AdaEurope-2009-DelangePF #architecture #safety #security #validation: Validating Safety and Security Requirements for Partitioned Architectures (JD, LP, PHF), pp. 30–43.
AdaEurope-2009-PorsG #concept #modelling: Conceptual Modeling for System Requirements Enhancement (ELP, OG), pp. 251–265.
AdaEurope-2009-ZoviV #programming language: Requirements on the Target Programming Language for High-Integrity MDE (AZ, TV), pp. 1–15.
RE-2009-AdamDEG #using: Using Task-oriented Requirements Engineering in Different Domains (SA, JD, ME, AG), pp. 267–272.
RE-2009-AlspaughAS: Intellectual Property Rights Requirements for Heterogeneously-Licensed Systems (TAA, HUA, WS), pp. 24–33.
RE-2009-Breaux #approach: Exercising Due Diligence in Legal Requirements Acquisition: A Tool-supported, Frame-Based Approach (TDB), pp. 225–230.
RE-2009-CalleleNS #prototype: Augmenting Emotional Requirements with Emotion Markers and Emotion Prototypes (DC, EN, KS), pp. 373–374.
RE-2009-CarvalloF #component #on the #process #using: On the Use of Requirements for Driving Call-for-Tender Processes for Procuring Coarse-grained OTS Components (JPC, XF), pp. 287–292.
RE-2009-Castro-HerreraCM #elicitation #online #recommendation: Enhancing Stakeholder Profiles to Improve Recommendations in Online Requirements Elicitation (CCH, JCH, BM), pp. 37–46.
RE-2009-ElahiY #analysis #security #trade-off #trust: Trust Trade-off Analysis for Security Requirements Engineering (GE, ESKY), pp. 243–248.
RE-2009-EspanaCGP #empirical #functional #specification: Evaluating the Completeness and Granularity of Functional Requirements Specifications: A Controlled Experiment (SE, NCF, AG, OP), pp. 161–170.
RE-2009-FailyF #risk management: Context-Sensitive Requirements and Risk Management with IRIS (SF, IF), pp. 379–380.
RE-2009-GhezziT #non-functional #reasoning: Reasoning on Non-Functional Requirements for Integrated Services (CG, GT), pp. 69–78.
RE-2009-GotelM #how: How to Select a Requirements Management Tool: Initial Steps (OG, PM), pp. 365–367.
RE-2009-GrossD #diagrams #process #uml: EPC vs. UML Activity Diagram — Two Experiments Examining their Usefulness for Requirements Engineering (AG, JD), pp. 47–56.
RE-2009-HeiskariKRM #usability: Bridging the Gap Between Usability and Requirements Engineering (JH, MK, MR, TM), pp. 303–308.
RE-2009-HolbrookHD #assessment #automation #towards: Toward Automating Requirements Satisfaction Assessment (EAH, JHH, AD), pp. 149–158.
RE-2009-JuretaMF #analysis #multi #validation: Analysis of Multi-Party Agreement in Requirements Validation (IJ, JM, SF), pp. 57–66.
RE-2009-KabbedijkBJV #development #lessons learnt: Customer Involvement in Requirements Management: Lessons from Mass Market Software Development (JK, SB, SJ, BvdV), pp. 281–286.
RE-2009-KnaussSS #heuristic #learning: Learning to Write Better Requirements through Heuristic Critiques (EK, KS, KS), pp. 387–388.
RE-2009-Lamsweerde #modelling #multi: Building Multi-View System Models for Requirements Engineering (AvL), pp. 368–369.
RE-2009-LieglSZHWABKMMW #process: [vem: xi: ] — A Methodology for Process Based Requirements Engineering (PL, RS, MZ, CH, HW, MA, MB, BK, MM, RM, MW), pp. 193–202.
RE-2009-LiuZPMSXB #comprehension: Understanding Chinese Characteristics of Requirements Engineering (LL, HZ, FP, WM, YS, JX, TB), pp. 261–266.
RE-2009-LongLYJ #approach #evaluation #security: AVT Vector: A Quantitative Security Requirements Evaluation Approach Based on Assets, Vulnerabilities and Trustworthiness of Environment (TL, LL, YY, ZJ), pp. 377–378.
RE-2009-MavinWHN #approach #syntax: Easy Approach to Requirements Syntax (EARS) (AM, PW, AH, MN), pp. 317–322.
RE-2009-MaxwellA #modelling: Developing Production Rule Models to Aid in Acquiring Requirements from Legal Texts (JCM, AIA), pp. 101–110.
RE-2009-MillerFM #architecture: Characteristics of New Requirements in the Presence or Absence of an Existing System Architecture (JAM, RF, NHM), pp. 5–14.
RE-2009-MonteiroER #specification: Improving the Exchange of Requirements and Specifications between Business Partners (MRM, CE, MR), pp. 253–260.
RE-2009-MoodyHM #effectiveness #evaluation #syntax #visual notation: Improving the Effectiveness of Visual Representations in Requirements Engineering: An Evaluation of i* Visual Syntax (DLM, PH, RM), pp. 171–180.
RE-2009-NissenSJRDHR #development #domain model #evolution #modelling: Evolution in Domain Model-Based Requirements Engineering for Control Systems Development (HWN, DS, MJ, TR, PD, FJH, MR), pp. 323–328.
RE-2009-PostSMGK #functional #verification: Linking Functional Requirements and Software Verification (HP, CS, FM, TG, TK), pp. 295–302.
RE-2009-RegevHGW #modelling #perspective: Modeling Service-Level Requirements: A Constancy Perspective (GR, OH, DCG, AW), pp. 231–236.
RE-2009-WaldmannJ #feature model #perspective #reuse: Feature-oriented Requirements Satisfy Needs for Reuse and Systems View (BW, PJ), pp. 329–334.
RE-2009-Weber-JahnkeO #fault #natural language: Finding Defects in Natural Language Confidentiality Requirements (JHWJ, AO), pp. 213–222.
RE-2009-WidyaBBSSVJH #elicitation: Requirements Elicitation in a Telemedicine Pain-treatment Trial (IW, RB, BJvB, LS, LS, RHiV, VJ, HJH), pp. 309–314.
RE-2009-Zowghi #challenge #education: Requirements Engineering Education and Training: Key Challenges and Practical Solutions (DZ), p. 358.
REFSQ-2009-BeattyH #case study #experience: Experiences with a Requirements Object Model (JB, JH), pp. 104–117.
REFSQ-2009-Berntsson-SvenssonGR #embedded #quality: Quality Requirements in Practice: An Interview Study in Requirements Engineering for Embedded Systems (RBS, TG, BR), pp. 218–232.
REFSQ-2009-DavisH #assessment: A Quantitative Assessment of Requirements Engineering Publications — 1963-2008 (AMD, AMH), pp. 175–189.
REFSQ-2009-Dzamashvili-FogelstromBAH: When Product Managers Gamble with Requirements: Attitudes to Value and Risk (NDF, SB, AA, AH), pp. 1–15.
REFSQ-2009-GandhiL #assurance #case study #design #research: Assurance Case Driven Case Study Design for Requirements Engineering Research (RAG, SWL), pp. 190–196.
REFSQ-2009-HerrmannWP #case study #specification: Specifying Changes Only — A Case Study on Delta Requirements (AH, AW, BP), pp. 45–58.
REFSQ-2009-KarlsenMK #tool support: Inventing Requirements with Creativity Support Tools (IKK, NAMM, AK), pp. 162–174.
REFSQ-2009-KhurumGAF #empirical: A Controlled Experiment of a Method for Early Requirements Triage Utilizing Product Strategies (MK, TG, LA, RF), pp. 22–36.
REFSQ-2009-LaurentC #lessons learnt #online #open source #process: Lessons Learned from Open Source Projects for Facilitating Online Requirements Processes (PL, JCH), pp. 240–255.
REFSQ-2009-LiRFM #clustering #composition #design #question: Does Requirements Clustering Lead to Modular Design? (ZL, QAR, RF, NHM), pp. 233–239.
REFSQ-2009-MarholdRSD #experience #non-functional: Clarifying Non-functional Requirements to Improve User Acceptance — Experience at Siemens (CM, CR, CS, JD), pp. 139–146.
REFSQ-2009-PenzenstadlerSP #modelling: A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain (BP, ES, KP), pp. 212–217.
REFSQ-2009-PerrouinBBT #consistency #detection #modelling #nondeterminism #perspective: Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective (GP, EB, BB, YLT), pp. 89–103.
REFSQ-2009-SeyffGMG #case study #experience: Scenarios in the Wild: Experiences with a Contextual Requirements Discovery Method (NS, FG, NAMM, PG), pp. 147–161.
REFSQ-2009-TourweCBB #collaboration #quantifier: Demystifying Release Definition: From Requirements Prioritization to Collaborative Value Quantification (TT, WC, NB, VB), pp. 37–44.
REFSQ-2009-WelshS #adaptation: Requirements Tracing to Support Change in Dynamically Adaptive Systems (KW, PS), pp. 59–73.
REFSQ-2009-WnukRS #architecture #case study #coordination #industrial: Architecting and Coordinating Thousands of Requirements — An Industrial Case Study (KW, BR, CS), pp. 118–123.
ASE-2009-CavadaCMMMMPRST #validation: Supporting Requirements Validation: The EuRailCheck Tool (RC, AC, AM, CM, AM, SM, MP, MR, AS, ST), pp. 665–667.
ASE-2009-DeeptimahantiB #automation #generative #modelling #natural language #uml: An Automated Tool for Generating UML Models from Natural Language Requirements (DKD, MAB), pp. 680–682.
ASE-2009-GuldaliFJSE #automation #clustering #testing #using: Semi-automated Test Planning for e-ID Systems by Using Requirements Clustering (BG, HF, MJ, SS, GE), pp. 29–39.
ASE-2009-Kamalrudin #automation #consistency #nondeterminism #tool support: Automated Software Tool Support for Checking the Inconsistency of Requirements (MK), pp. 693–697.
ASE-2009-LiaskosMM #modelling #towards: Towards Augmenting Requirements Models with Preferences (SL, SAM, JM), pp. 565–569.
ASE-2009-Romero-Mariona: Secure and Usable Requirements Engineering (JRM), pp. 703–706.
ASE-2009-SaekiHK #analysis: A Tool for Attributed Goal-Oriented Requirements Analysis (MS, SH, HK), pp. 674–676.
ASE-2009-SardinhaCWGR #aspect-oriented #automation #detection #named: EA-Analyzer: Automating Conflict Detection in Aspect-Oriented Requirements (AS, RC, NW, PG, AR), pp. 530–534.
ASE-2009-WangM #approach #configuration management #self: Self-Repair through Reconfiguration: A Requirements Engineering Approach (YW, JM), pp. 257–268.
ICSE-2009-AlrajehKRU #learning #modelling: Learning operational requirements from goal models (DA, JK, AR, SU), pp. 265–275.
ICSE-2009-KnaussLM #heuristic: Feedback-driven requirements engineering: The Heuristic Requirements Assistant (EK, DL, SM), pp. 587–590.
SAC-2009-BeckerR #evaluation #modelling #off the shelf: Requirements modelling and evaluation for digital preservation: a COTS selection method based on controlled experimentation (CB, AR), pp. 401–402.
SAC-2009-BreauxLOA #identification #using: Identifying vulnerabilities and critical requirements using criminal court proceedings (TDB, JDL, PNO, AIA), pp. 355–359.
SAC-2009-Castro-HerreraDCM #elicitation #recommendation #scalability: A recommender system for requirements elicitation in large-scale software projects (CCH, CD, JCH, BM), pp. 1419–1426.
SAC-2009-EngelsmanIF #architecture: Architecture-driven requirements engineering (WE, MEI, HMF), pp. 285–286.
SAC-2009-GonzalesLL #community #online #using: Requirements engineering using appreciative inquiry for an online community of caregivers of children with autism (CHG, GL, GDL), pp. 142–146.
SAC-2009-JohanssonC #comparison #development #enterprise #open source: Management of requirements in ERP development: a comparison between proprietary and open source ERP (BJ, RAdC), pp. 1605–1609.
SAC-2009-MonacoNP #architecture #latency #orthogonal #realtime #scheduling: An orthogonal real-time scheduling architecture for responsiveness QoS requirements in SOA environments (FJM, MN, MLMP), pp. 1990–1995.
SAC-2009-SmileyHKD #analysis #architecture #evaluation: Architectural requirements prioritization and analysis applied to software technology evaluation (KS, QH, EK, AD), pp. 397–398.
SAC-2009-SuzukiOSKTK #generative #quality: A systematic method for generating quality requirements spectrum (SS, AO, TS, HK, MT, KK), pp. 399–400.
SAC-2009-WidyaBBJHSSV #assessment: Early phase requirements assessment of a teletreatment trial (IW, BJvB, RB, VMJ, HJH, LS, LS, MHAHiV), pp. 395–396.
SAC-2009-WinbladhZR #elicitation: Eliciting required characteristics for usable requirements engineering approaches (KW, HZ, DJR), pp. 360–364.
SAC-2009-XieLY #elicitation #optimisation #process: i*-prefer: optimizing requirements elicitation process based on actor preferences (HX, LL, JY), pp. 347–354.
SLE-2009-AlferezSMGKAA #composition #multi #product line: Multi-view Composition Language for Software Product Line Requirements (MA, JPS, AMDM, AG, UK, JA, VA), pp. 103–122.
LCTES-2009-AndreM #specification #verification: Specification and verification of time requirements with CCSL and Esterel (CA, FM), pp. 167–176.
FASE-2009-KuglerPP #synthesis: Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.
CAV-2009-CimattiRT #hybrid #validation: Requirements Validation for Hybrid Systems (AC, MR, ST), pp. 188–203.
WICSA-2008-MillerFM #architecture #case study: Architectural Effects on Requirements Decisions: An Exploratory Study (JAM, RF, NHM), pp. 231–240.
JCDL-2008-ZhaoKT #implementation #information retrieval #prototype: Math information retrieval: user requirements and prototype implementation (JZ, MYK, YLT), pp. 187–196.
CSEET-2008-PortBK: Nancy R. Mead: Making Requirements Prioritization a Priority (DNP, BWB, DK), pp. 250–261.
ITiCSE-2008-RomeroVP #elicitation #towards: Toward a definition of the competences for global requirements elicitation (MR, AV, MP), p. 364.
CSMR-2008-LiTLMC #validation #verification: Coping with Requirements Changes in Software Verification and Validation (SL, LT, WL, MM, GC), pp. 317–318.
ICPC-2008-EaddyAAG #dynamic analysis #information retrieval #named #program analysis #source code #using: CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis (ME, AVA, GA, YGG), pp. 53–62.
ICSM-2008-DehlingerL #design #evolution #multi #product line #reuse: Supporting requirements reuse in multi-agent system product line design and evolution (JD, RRL), pp. 207–216.
GT-VMT-2006-AutiliP08 #towards #visual notation: Towards a Graphical Tool for Refining User to System Requirements (MA, PP), pp. 147–157.
CHI-2008-McGee-Lennon: Requirements engineering for home care technology (MRML), pp. 1439–1442.
CAiSE-2008-SaekiK #elicitation: Supporting the Elicitation of Requirements Compliant with Regulations (MS, HK), pp. 228–242.
CAiSE-2008-VaraSP #analysis #information management #modelling #process: Business Process Modelling and Purpose Analysis for Requirements Analysis of Information Systems (JLdlV, JS, OP), pp. 213–227.
EDOC-2008-Fabry #database: Database Vault: Enforcing Separation of Duties to Meet Regulatory Compliance Requirements (HWF).
EDOC-2008-KimKLP #approach #architecture #non-functional: A Tactic-Based Approach to Embodying Non-functional Requirements into Software Architectures (SK, DKK, LL, SP), pp. 139–148.
EDOC-2008-Watson: Reflections on Requirements Engineering (AW).
ICEIS-HCI-2008-FurtadoSFC #case study #communication #design #interactive #validation: Promoting Communication and Participation through Enactments of Interaction Design Solutions — A Study Case for Validating Requirements for Digital TV (EF, AS, FF, LC), pp. 268–275.
ICEIS-ISAS1-2008-WuH #development #empirical #process: A Process for Determining User Requirements in eCRM Development — A Strategic Aspect and Empirical Examination (ILW, CYH), pp. 5–12.
ICEIS-ISAS2-2008-AgostinhoMMABFRKRC #analysis #approach #aspect-oriented: A Metadata-Driven Approach for Aspect-Oriented Requirements Analysis (SA, AMDM, AM, JA, ISB, RF, RR, JK, RAR, PC), pp. 129–136.
ICEIS-ISAS2-2008-LopesA #development #distributed #lessons learnt #process: A Requirements Engineering Process Model for Distributed Software Development — Lessons Learned (LTL, JLNA), pp. 117–122.
ICEIS-ISAS2-2008-Venable #analysis #problem: Improving Requirements Analysis — Rigourous Problem Analysis and Formulation with Coloured Cognitive Maps (JRV), pp. 466–470.
CIKM-2008-DuanCM #approach #clustering: A consensus based approach to constrained clustering of software requirements (CD, JCH, BM), pp. 1073–1082.
SEKE-2008-AlferezKSSMAA #approach #modelling #product line: A Model-driven Approach for Software Product Lines Requirements Engineering (MA, UK, AS, JPS, AMDM, JA, VA), pp. 779–784.
SEKE-2008-AssawamekinSP #automation #multi #ontology #traceability #using: Automated Multiperspective Requirements Traceability Using Ontology Matching Technique (NA, TS, CP), pp. 460–465.
SEKE-2008-CalisayaBC #automation #interactive: Automatic Discovery of Interactions Between Software Requirements (ESC, MRSB, MLMC), pp. 773–778.
SEKE-2008-FatolahiSL #approach #automation #generative #modelling: A Model-Driven Approach for the Semi-automated Generation of Web-based Applications from Requirements (AF, SSS, TCL), pp. 619–624.
SEKE-2008-IlievaB #diagrams #generative #natural language #representation #uml #visual notation: Representing Textual Requirements as Graphical Natural Language for UML Diagram Generation (MI, HB), pp. 478–483.
SEKE-2008-SchonbergerW #consistency #integration #process #taxonomy: Taxonomy on Consistency Requirements in the Business Process Integration Context (AS, GW), pp. 593–598.
ECMDA-FA-2008-GoknilKB #approach #metamodelling #reasoning: A Metamodeling Approach for Reasoning about Requirements (AG, IK, KvdB), pp. 310–325.
MoDELS-2008-GravinoST #empirical #modelling: An Empirical Investigation on Dynamic Modeling in Requirements Engineering (CG, GS, GT), pp. 615–629.
MoDELS-2008-SinhaKPW #case study #modelling #using #validation: Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
SPLC-2008-JohnV #product line: Evolutionary Product Line Requirements Engineering (IJ, KV), pp. 374–375.
SPLC-2008-NiuE #analysis #clustering #functional #on-demand #product line: On-Demand Cluster Analysis for Product Line Functional Requirements (NN, SME), pp. 87–96.
SPLC-2008-SaraburaB #challenge #development #product line: Solving Requirements Management Challenges in Product Line Development (MS, PB), p. 352.
MoDELS-2008-GravinoST #empirical #modelling: An Empirical Investigation on Dynamic Modeling in Requirements Engineering (CG, GS, GT), pp. 615–629.
MoDELS-2008-SinhaKPW #case study #modelling #using #validation: Requirements Modeling and Validation Using Bi-layer Use Case Descriptions (AS, MK, AMP, CW), pp. 97–112.
RE-2008-Alexander #design #how #question #statistics: Evaluating Design Options against Requirements: How Far Can Statistics Help? (IA), pp. 259–264.
RE-2008-BaresiMS: Service-Centric Systems and Requirements Engineering (LB, NAMM, PS), p. 305.
RE-2008-BeattyA #case study #experience: Games-Based Requirements Engineering Training: An Initial Experience Report (JB, MA), pp. 211–216.
RE-2008-BerenbachR #evaluation: The Evaluation of a Requirements Engineering Training Program at Siemens (BB, TR), pp. 205–210.
RE-2008-BreauxABD #case study #industrial: Legal Requirements, Compliance and Practice: An Industry Case Study in Accessibility (TDB, AIA, KB, MD), pp. 43–52.
RE-2008-CalleleNS #game studies #security #video: Balancing Security Requirements and Emotional Requirements in Video Games (DC, EN, KS), pp. 319–320.
RE-2008-Castro-HerreraDCM #data mining #elicitation #mining #process #recommendation #scalability #using: Using Data Mining and Recommender Systems to Facilitate Large-Scale, Open, and Inclusive Requirements Elicitation Processes (CCH, CD, JCH, BM), pp. 165–168.
RE-2008-DubocLRW #case study #elicitation #scalability: A Case Study in Eliciting Scalability Requirements (LD, EL, DSR, TW), pp. 247–252.
RE-2008-EbertH #industrial: Requirements Engineering — Industry Needs (CE, AMH), p. 298.
RE-2008-ErnstMYN #evolution #lifecycle: Supporting Requirements Model Evolution throughout the System Life-Cycle (NAE, JM, YY, TN), pp. 321–322.
RE-2008-FeatherHMU #analysis #deployment #using: Guiding Technology Deployment Decisions using a Quantitative Requirements Analysis Technique (MSF, KAH, RMM, SU), pp. 271–276.
RE-2008-FinkelsteinHMRZ #analysis: “Fairness Analysis” in Requirements Assignments (AF, MH, SAM, JR, YZ), pp. 115–124.
RE-2008-HerrmannD #predict #research: Requirements Prioritization Based on Benefit and Cost Prediction: An Agenda for Future Research (AH, MD), pp. 125–134.
RE-2008-HoWR #fault #performance #problem: Examining the Relationships between Performance Requirements and “Not a Problem” Defect Reports (CWH, LW, BR), pp. 135–144.
RE-2008-JonesLML #learning: Use and Influence of Creative Ideas and Requirements for a Work-Integrated Learning System (SJ, PL, NAMM, SNL), pp. 289–294.
RE-2008-JuretaMF #ontology #problem: Revisiting the Core Ontology and Problem in Requirements Engineering (IJ, JM, SF), pp. 71–80.
RE-2008-KaindlCPSZ #design #how #interactive #question: How to Combine Requirements Engineering and Interaction Design? (HK, LLC, OP, AGS, DZ), pp. 299–301.
RE-2008-KnaussB #quality #specification: Assessing the Quality of Software Requirements Specifications (EK, CEB), pp. 341–342.
RE-2008-KonradG #development #scalability: Requirements Engineering in the Development of Large-Scale Systems (SK, MG), pp. 217–222.
RE-2008-LauenrothP #consistency #product line: Dynamic Consistency Checking of Domain Requirements in Product Line Engineering (KL, KP), pp. 193–202.
RE-2008-LohmannHL #distributed #elicitation: Web-based Stakeholder Participation in Distributed Requirements Elicitation (SL, PH, KL), pp. 323–324.
RE-2008-MasseyOA: Aligning Requirements with HIPAA in the iTrust System (AKM, PNO, AIA), pp. 335–336.
RE-2008-MavinNWML #using: Using Scenarios to Discover Requirements for Engine Control Systems (AM, MN, PW, NAMM, PL), pp. 235–240.
RE-2008-Monzon #approach #product line #reuse: A Practical Approach to Requirements Reuse in Product Families of On-Board Systems (AM), pp. 223–228.
RE-2008-MukasaK #integration #specification #user interface: An Integration of Requirements and User Interface Specifications (KSM, HK), pp. 327–328.
RE-2008-NakataniHUKH #case study #elicitation #process: A Case Study: Requirements Elicitation Processes throughout a Project (TN, SH, NU, KK, MH), pp. 241–246.
RE-2008-NiuE #functional #modelling #product line: Extracting and Modeling Product Line Functional Requirements (NN, SME), pp. 155–164.
RE-2008-RamasubramaniamH #independence #towards: Pattern Oriented Requirements towards Independent Software Vendors (KSR, ASH), pp. 253–258.
RE-2008-Rashid #aspect-oriented: Aspect-Oriented Requirements Engineering: An Introduction (AR), pp. 306–309.
RE-2008-RecioSPM #collaboration #process: Leveraging Collaborative Technologies in the IO Requirements Process (RR, CS, JP, CM), pp. 283–288.
RE-2008-RegevGW #approach #education #learning: Requirements Engineering Education in the 21st Century, An Experiential Learning Approach (GR, DCG, AW), pp. 85–94.
RE-2008-RifautD #assessment #framework #quality #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-SchmitzNJRDHR #development #enterprise: Requirements Engineering for Control Systems Development in Small and Medium-Sized Enterprises (DS, HWN, MJ, TR, PD, FJH, MR), pp. 229–234.
RE-2008-SimAA #experience #what: Marginal Notes on Amethodical Requirements Engineering: What Experts Learned from Experience (SES, TAA, BAA), pp. 105–114.
RE-2008-SmithG: Gameplay to Introduce and Reinforce Requirements Engineering Practices (RS, OG), pp. 95–104.
RE-2008-SmithH: Requirements Capture with RCAT (MHS, KH), pp. 183–192.
RE-2008-TanabeUAYKS #analysis: Supporting Requirements Change Management in Goal Oriented Analysis (DT, KU, KA, TY, HK, MS), pp. 3–12.
RE-2008-ThewSBMPVB #experience: Experience in e-Science Requirements Engineering (ST, AGS, OdB, JM, RP, CCV, IEB), pp. 277–282.
RE-2008-UusitaloKKD #testing: Linking Requirements and Testing in Practice (EJU, MK, MK, AMD), pp. 265–270.
RE-2008-VillelaDG #embedded #evolution: Proactively Managing the Evolution of Embedded System Requirements (KV, JD, AG), pp. 13–22.
RE-2008-WeissM #security: Selecting Security Patterns that Fulfill Security Requirements (MW, HM), pp. 169–172.
RE-2008-WestonCR #approach #aspect-oriented #composition #formal method #semantics: A Formal Approach to Semantic Composition of Aspect-Oriented Requirements (NW, RC, AR), pp. 173–182.
RE-2008-WieringaH #design: Design Science, Engineering Science and Requirements Engineering (RW, JMGH), pp. 310–313.
RE-2008-WolterSBK #reuse #specification: Reusing Terminology for Requirements Specifications from WordNet (KW, MS, DB, HK), pp. 325–326.
RE-2008-ZachosM #empirical #web #web service: Inventing Requirements from Software: An Empirical Investigation with Web Services (KZ, NAMM), pp. 145–154.
RE-2008-ZowghiC #experience: Transforming the Requirements Engineering Classroom Experience (DZ, JCH), p. 297.
REFSQ-2008-AlenljungP #named #tool support: DESCRY: A Method for Evaluating Decision-Supporting Capabilities of Requirements Engineering Tools (BA, AP), pp. 52–57.
REFSQ-2008-BrinkkemperWSV #approach #process: Process Improvement in Requirements Management: A Method Engineering Approach (SB, IvdW, MS, JV), pp. 6–22.
REFSQ-2008-FrickerG #framework: Negotiation Constellations — Method Selection Framework for Requirements Negotiation (SF, PG), pp. 37–51.
REFSQ-2008-KaschekKSM #elicitation #quality #towards: Towards Simulation-Based Quality Requirements Elicitation: A Position Paper (RHK, CK, VAS, HCM), pp. 135–140.
REFSQ-2008-MaidenNL #case study #experience: Inventing Requirements: Experiences with an Airport Operations System (NAMM, CN, JL), pp. 58–72.
REFSQ-2008-MarincicMW #embedded #verification: Classifying Assumptions Made during Requirements Verification of Embedded Systems (JM, AM, RW), pp. 141–146.
REFSQ-2008-PaechR #quality: REFSQ’08 International Working Conference on Requirements Engineering: Foundation for Software Quality (BP, CR), pp. 1–5.
REFSQ-2008-RegnellBW #complexity #question #scalability: Can We Beat the Complexity of Very Large-Scale Requirements Engineering? (BR, RBS, KW), pp. 123–128.
REFSQ-2008-SchlosserJM #database #using: Using a Creativity Workshop to Generate Requirements for an Event Database Application (CS, SJ, NAMM), pp. 109–122.
REFSQ-2008-SeyffGGM #mobile: Mobile Discovery of Requirements for Context-Aware Systems (NS, FG, PG, NAMM), pp. 183–197.
REFSQ-2008-WebersTS #approach #feature model #modelling: Connecting Feature Models and AUTOSAR: An Approach Supporting Requirements Engineering in Automotive Industries (WW, CT, KS), pp. 95–108.
REFSQ-2008-ZachosMH #question #specification #web #web service: Discovering Web Services to Improve Requirements Specifications: Does It Help? (KZ, NAMM, RHM), pp. 168–182.
REFSQ-2008-ZhangFH #challenge #optimisation: Search Based Requirements Optimisation: Existing Work and Challenges (YZ, AF, MH), pp. 88–94.
ASE-2008-PortOM #simulation #using: Using Simulation to Investigate Requirements Prioritization Strategies (DP, AO, TM), pp. 268–277.
ASE-2008-StaatsDRHW #named: ReqsCov: A Tool for Measuring Test-Adequacy over Requirements (MS, WD, AR, MPEH, KW), pp. 499–500.
FSE-2008-Lamsweerde: Requirements engineering: from craft to discipline (AvL), pp. 238–249.
ICSE-2008-DorrKLGDH #quality: Supporting requirements engineering for medical products: early consideration of user-perceived quality (JD, DK, DL, CG, CD, AH), pp. 639–648.
ICSE-2008-PaechW #quality: Rational quality requirements for medical software (BP, TW), pp. 633–638.
SAC-2008-AlvesVSM #experience #information management #process: Requirements engineering process improvement: a knowledge transfer experience (CFA, GV, TS, JM), pp. 619–623.
SAC-2008-BabarZCT #integration: Three integration approaches for map and B-SCP requirements engineering techniques (AB, DZ, KC, VT), pp. 650–655.
SAC-2008-BroiniziFG #framework #using: Using annotations in the naked objects framework to explore data requirements (MEBB, JEF, AG), pp. 630–637.
SAC-2008-CarvalloFQ: Requirements engineering for COTS-based software systems (JPC, XF, CQ), pp. 638–644.
SAC-2008-ChalinST #case study #modelling #transaction: Capturing business transaction requirements in use case models (PC, DS, KT), pp. 602–606.
SAC-2008-FerreiraS #case study #specification: A requirements specification case study with ProjectIT-studio/requirements (DdAF, ARdS), pp. 656–657.
SAC-2008-KaiyaSOKK #analysis #quality #towards: Toward quality requirements analysis based on domain specific quality spectrum (HK, TS, AO, NK, KK), pp. 596–601.
SAC-2008-Liu #framework #refinement: A requirements refinement framework (WL), pp. 658–659.
SAC-2008-SriplakichBG #collaboration #experience #modelling #re-engineering #scalability: Collaborative software engineering on large-scale models: requirements and experience in ModelBus (PS, XB, MPG), pp. 674–681.
CASE-2008-LiQ08a #performance #scheduling: The impact of the qual-run requirements of APC on the scheduling performance in semiconductor manufacturing (LL, FQ), pp. 242–246.
DATE-2008-WolfH #video: Video Processing Requirements on SoC Infrastructures (PvdW, TH), pp. 1124–1125.
ISMM-2008-BrabermanFGY #memory management #parametricity #predict: Parametric prediction of heap memory requirements (VAB, FJF, DG, SY), pp. 141–150.
FASE-2008-ClassenHS #perspective #what: What’s in a Feature: A Requirements Engineering Perspective (AC, PH, PYS), pp. 16–30.
CAV-2008-AlurKW #automaton #game studies #ranking: Ranking Automata and Games for Prioritized Requirements (RA, AK, GW), pp. 240–253.
ICST-2008-HaslingGB #case study #modelling #testing #uml #using: Model Based Testing of System Requirements using UML Use Case Models (BH, HG, KB), pp. 367–376.
ICST-2008-YoonJC #generative: Generating Test Requirements for the Service Connections based on the Layers of SOA (HY, EMJ, BC), pp. 348–355.
WICSA-2007-Bondi #performance #reliability: Best Practices for Writing and Managing Performance, Reliability, and Availability Requirements (ABB), p. 42.
WICSA-2007-FerrariM #architecture #empirical #experience: The Impact of Requirements Knowledge and Experience on Software Architecting: An Empirical Study (RF, NHM), p. 16.
WICSA-2007-KulkarniP #architecture #enterprise #framework #functional: An Architectural Framework for Non Functional Requirements in Enterprise SOA Adoption (NNK, SP), p. 36.
WICSA-2007-NavarroLR #architecture #aspect-oriented: Requirements and Scenarios: Running Aspect-Oriented Software Architectures (EN, PL, IR), p. 23.
ITiCSE-2007-Cunningham #education: A computer graphics curriculum to meet the european bologna requirements (SC), p. 310.
CSMR-2007-Lormans #evolution #monitoring #using: Monitoring Requirements Evolution using Views (ML), pp. 349–352.
ICPC-2007-JermakovicsSSS #development #named #visualisation: Lagrein: Visualizing User Requirements and Development Effort (AJ, MS, AS, GS), pp. 293–296.
CHI-2007-AdamczykT #collaboration #education #human-computer #multi #novel: Supporting multidisciplinary collaboration: requirements from novel HCI education (PDA, MBT), pp. 1073–1076.
DHM-2007-GaoABPM #experience #user interface: Translating User Experience to Requirements (JG, GJA, BWB, RP, DM), pp. 392–398.
HCI-IDU-2007-AdikariML #design #modelling #usability: Design Science-Oriented Usability Modelling for Software Requirements (SA, CM, NL), pp. 373–382.
HCI-IDU-2007-KantolaJ #case study #usability: Determining High Level Quantitative Usability Requirements: A Case Study (NK, TJ), pp. 536–543.
HCI-IPT-2007-SaC #design #evaluation #mobile #prototype: Designing for Mobile Devices: Requirements, Low-Fi Prototyping and Evaluation (MdS, LC), pp. 260–269.
HCI-MIE-2007-ReiterJ #quality: Watch, Press, and Catch — Impact of Divided Attention on Requirements of Audiovisual Quality (UR, SJP), pp. 943–952.
HIMI-IIE-2007-Bhargav-SpantzelSYB #privacy: Privacy Requirements in Identity Management Solutions (ABS, ACS, MY, EB), pp. 694–702.
HIMI-MTT-2007-HirasawaSK #comprehension #ubiquitous: Understanding Requirements of Ubiquitous Application in Context of Daily Life (NH, TS, HK), pp. 45–50.
OCSC-2007-ChenKH #development #modelling #multi: Modelling and Matching: A Methodology for ePlanning System Development to Address the Requirements of Multiple User Groups (YC, MK, AH), pp. 41–49.
VISSOFT-2007-KienleM #overview #tool support #visualisation: Requirements of Software Visualization Tools: A Literature Survey (HMK, HAM), pp. 2–9.
CAiSE-2007-BlaauboerSA #traceability: Deciding to Adopt Requirements Traceability in Practice (FB, KS, MNA), pp. 294–308.
CAiSE-2007-DjebbiS #product line: RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model (OD, CS), pp. 279–293.
CAiSE-2007-PachecoT #identification #quality: Stakeholder Identification as an Issue in the Improvement of Software Requirements Quality (CP, ET), pp. 370–380.
CAiSE-2007-WalleCD #distributed #process #sequence: The Impact of Task Structure and Negotiation Sequence on Distributed Requirements Negotiation Activity, Conflict, and Satisfaction (BVdW, CC, FPD), pp. 381–394.
CAiSE-2007-WeerdBV #concept #empirical #evolution #incremental #validation: Concepts for Incremental Method Evolution: Empirical Exploration and Validation in Requirements Management (IvdW, SB, JV), pp. 469–484.
CAiSE-2007-ZachosMZJ #web #web service: Discovering Web Services to Specify More Complete System Requirements (KZ, NAMM, XZ, SJ), pp. 142–157.
EDOC-2007-BaudryNT #analysis #modelling: Model-Driven Engineering for Requirements Analysis (BB, CN, YLT), pp. 459–466.
EDOC-2007-SalinesiBE #enterprise #experience #implementation #reuse: An Experience of Reuse Based Requirements Engineering in ERP Implementation Projects (CS, MRB, EE), pp. 379–389.
ICEIS-EIS-2007-AddinquyT #enterprise #specification #using: Reducing Requirements to EIS Specifications GAP Using RM-ODP Enterprise Viewpoint (CA, BT), pp. 31–38.
ICEIS-EIS-2007-Demigha #ontology #standard: An Ontology Supporting the Daily Practice Requirements of Radiologists-Senologists with the Standard BI-Rads (SD), pp. 243–249.
ICEIS-EIS-2007-GmatiN #framework #information management: A Framework for Analyzing Business/Information System Alignment Requirements (IG, SN), pp. 401–409.
ICEIS-EIS-2007-SomeN #case study #consistency #verification: Use Case Based Requirements Verification — Verifying the Consistency between Use Cases and Assertions (SSS, DKN), pp. 190–195.
ICEIS-HCI-2007-KirnerSK: Contribution to the Requirements Engineering of Virtual Environments (TGK, VFMS, CK), pp. 142–147.
ICEIS-J-2007-TraversonA #specification #using: Linking Requirements to EIS Specifications Using Correspondence Rules (BT, CA), pp. 276–285.
SEKE-2007-AnnoniRT #analysis #process: Data and Process Analyses of Data Warehouse Requirements (EA, FR, OT), pp. 191–196.
SEKE-2007-KirnerC #empirical #evaluation #specification #uml: Evaluation of the OORT Techniques for Inspection of Requirements Specifications in UML: an Empirical Study (TGK, ERdC), p. 649–?.
SEKE-2007-MizouniSD #case study #composition #using: Using Formal Composition of Use Cases in Requirements Engineering (RM, AS, RD), p. 238–?.
SEKE-2007-WaltzmanWAR: In the Requirements Lies the Power (RW, KW, TAA, DJR), pp. 185–190.
SEKE-2007-ZanattaV #agile #integration #modelling #quality #towards: Agile Methods and Quality Models: Towards an Integration in Requirements Engineering (ALZ, PV), pp. 173–178.
SEKE-2007-ZhouKBSC #framework #specification: A Framework of Hierarchical Requirements Patterns for Specifying Systems of Interconnected Simulink/Stateflow Modules (CZ, RK, DB, KS, DDC), pp. 179–184.
SPLC-2007-BeucheBDFGHJJKMW #product line #tool support #using: Using Requirements Management Tools in Software Product Line Engineering: The State of the Practice (DB, AB, HD, AF, HG, GH, DJ, IJ, RTK, TvdM, AW), pp. 84–96.
TOOLS-EUROPE-2007-Vicente-ChicoteMA #modelling #named #pretty-printing #specification #validation: REMM-Studio: an Integrated Model-Driven Environment for Requirements Specification, Validation and Formatting (CVC, BM, JATÁ), pp. 437–454.
RE-2007-AlvesRD #case study #challenge #development #game studies #mobile: Challenges in Requirements Engineering for Mobile Games Development: The Meantime Case Study (CFA, GR, ALGD), pp. 275–280.
RE-2007-Aoyama: Persona-Scenario-Goal Methodology for User-Centered Requirements Engineering (MA), pp. 185–194.
RE-2007-ArandaEW #how: Requirements in the wild: How small companies do it (JA, SME, GW), pp. 39–48.
RE-2007-BorgPS #capacity: Extending the OpenUP/Basic Requirements Discipline to Specify Capacity Requirements (AB, MP, KS), pp. 328–333.
RE-2007-Cleland-Huang #quality: Quality Requirements and their Role in Successful Products (JCH), p. 361.
RE-2007-ConejeroHMA #using: Discovering Volatile and Aspectual Requirements Using a Crosscutting Pattern (JMC, JH, AMDM, JA), pp. 391–392.
RE-2007-DekhtyarHSHD #assessment #integration: Technique Integration for Requirements Assessment (AD, JHH, SKS, EAH, OD), pp. 141–150.
RE-2007-DelgadilloG #concept #lightweight #named: Story-Wall: A Concept for Lightweight Requirements Management (LD, OG), pp. 377–378.
RE-2007-DeshmukhW #development #metamodelling: A Meta Model for Iterative Development of Requirements Leveraging (ND, SW), pp. 343–349.
RE-2007-DjebbiSF #industrial #overview #product line #roadmap #tool support: Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues (OD, CS, GF), pp. 301–306.
RE-2007-EgyedGHB #lessons learnt #traceability: Value-Based Requirements Traceability: Lessons Learned (AE, PG, MH, SB), pp. 115–118.
RE-2007-GandhiL #assessment #certification #comprehension #correlation #multi #risk management: Discovering and Understanding Multi-dimensional Correlations among Certification Requirements with application to Risk Assessment (RAG, SWL), pp. 231–240.
RE-2007-Glinz #non-functional #on the: On Non-Functional Requirements (MG), pp. 21–26.
RE-2007-Gopalakrishnan: Requirements Engineering in a Globalized Business Environment (KG).
RE-2007-HeblerTP #mobile: Blind User Requirements Engineering for Mobile Services (SH, TT, KP), pp. 205–208.
RE-2007-HoWA #performance #specification: Improving Performance Requirements Specifications from Field Failure Reports (CWH, LW, AIA), pp. 79–88.
RE-2007-JantunenSG #case study #how #process: How Internationalization of a Product Changes Requirements Engineering Activities: An Exploratory Study (SJ, KS, DCG), pp. 163–172.
RE-2007-JuretaFT #adaptation #specification: Dynamic Requirements Specification for Adaptable and Open Service Systems (IJ, SF, PT), pp. 381–382.
RE-2007-KamataT #how #quality #question: How Does Requirements Quality Relate to Project Success or Failure? (MIK, TT), pp. 69–78.
RE-2007-KauppinenSM: Requirements Engineering as a Driver for Innovations (MK, JS, TM), pp. 15–20.
RE-2007-KlassenDD #quality: Requirements Quality for a Virtual World (MK, SD, HD), pp. 375–376.
RE-2007-KousikV #development: Total Requirements Control at Every Stage of Product Development (SRK, RV), pp. 337–342.
RE-2007-KwanMD: Viewing Project Collaborators WhoWork on Interrelated Requirements (IK, SM, DD), pp. 369–370.
RE-2007-LaskarisPN #information management: Developing User Requirements for an Airport Flight Information System (AKL, NP, EN), pp. 385–386.
RE-2007-LaurentCD #automation #towards: Towards Automated Requirements Triage (PL, JCH, CD), pp. 131–140.
RE-2007-LeeGWM #certification #named: r-AnalytiCA: Requirements Analytics for Certification & Accreditation (SWL, RAG, SJW, ABM), pp. 383–384.
RE-2007-MaidenNKSG: Exploring Scenario Forms and Ways of Use to Discover Requirements on Airports that Minimize Environmental Impact (NAMM, CN, SK, NS, PG), pp. 29–38.
RE-2007-MunirajJ #prototype #using: Requirements Engineering using Prototyping Projects in Healthcare Diagnostic Software Applications (GM, VJ), pp. 307–312.
RE-2007-OttoA: Addressing Legal Requirements in Requirements Engineering (PNO, AIA), pp. 5–14.
RE-2007-PanisP #process: Deploying a System-wide Requirements Process within a Commercial Engineering Organization (MCP, BP), pp. 295–300.
RE-2007-PohlS #architecture #co-evolution #design #named: COSMOD-RE: Supporting the Co-Design of Requirements and Architectural Artifacts (KP, ES), pp. 258–261.
RE-2007-RabiserDGLF #product line: Involving Non-Technicians in Product Derivation and Requirements Engineering: A Tool Suite for Product Line Engineering (RR, DD, PG, KL, CF), pp. 367–368.
RE-2007-Rashid #collaboration #named #specification #towards #visual notation: OpenProposal: Towards Collaborative End-User Participation in Requirements Management By Usage of Visual Requirement Specifications (AR), pp. 371–374.
RE-2007-SeyffGGM #mobile: The Mobile Scenario Presenter: A Tool for in situ Requirements Discovery with Scenarios (NS, FG, PG, NAMM), pp. 365–366.
RE-2007-SmithG #game studies #lightweight #using: Using a Game to Introduce Lightweight Requirements Engineering (RS, OG), pp. 379–380.
RE-2007-Sutcliffe #problem: Requirements in the Global Economy-Experience, Problems and Prospects (AGS), pp. 359–360.
RE-2007-ThurimellaB #approach #evolution #product line: Evolution in Product Line Requirements Engineering: A Rationale Management Approach (AKT, BB), pp. 254–257.
RE-2007-WegmannJRPR: Early Requirements and Business-IT Alignment with SEAM for Business (AW, PJ, GR, OP, IR), pp. 111–114.
REFSQ-2007-AlkkiomakiS #architecture #case study #functional #integration #modelling #uml: Integration Use Cases — An Applied UML Technique for Modeling Functional Requirements in Service Oriented Architecture (VA, KS), pp. 190–202.
REFSQ-2007-AurumW #approach #concept: A Value-Based Approach in Requirements Engineering: Explaining Some of the Fundamental Concepts (AA, CW), pp. 109–115.
REFSQ-2007-BirkH #challenge #development #product line: Challenges for Requirements Engineering and Management in Software Product Line Development (AB, GH), pp. 300–305.
REFSQ-2007-BorgPS #capacity #process: Integrating an Improvement Model of Handling Capacity Requirements with the OpenUP/Basic Process (AB, MP, KS), pp. 341–354.
REFSQ-2007-BoydZG #constraints #specification: Optimal-Constraint Lexicons for Requirements Specifications (SB, DZ, VG), pp. 203–217.
REFSQ-2007-DarimontL #security #uml: Security Requirements for Civil Aviation with UML and Goal Orientation (RD, ML), pp. 292–299.
REFSQ-2007-DavisHTJM #assessment: A Quantitative Assessment of Requirements Engineering Publications — 1963-2006 (AMD, AMH, ÓDT, NJJ, AMM), pp. 129–143.
REFSQ-2007-GuelfiP #analysis #approach #flexibility #product line: A Flexible Requirements Analysis Approach for Software Product Lines (NG, GP), pp. 78–92.
REFSQ-2007-NcubeLM #automation #case study #experience #generative #modelling: Automatically Generating Requirements from i* Models: Experiences with a Complex Airport Operations System (CN, JL, NAMM), pp. 33–47.
REFSQ-2007-NoppenBA #development: Imperfect Requirements in Software Development (JN, PvdB, MA), pp. 247–261.
REFSQ-2007-PohlS #architecture #co-evolution #design: Structuring the Co-design of Requirements and Architecture (KP, ES), pp. 48–62.
REFSQ-2007-RegnellHB #analysis #mobile #non-functional #performance #quality: A Quality Performance Model for Cost-Benefit Analysis of Non-functional Requirements Applied to the Mobile Handset Domain (BR, MH, RBS), pp. 277–291.
REFSQ-2007-RinkeW #how #modelling: Defining Reference Models for Modelling Qualities: How Requirements Engineering Techniques Can Help (TR, TW), pp. 335–340.
REFSQ-2007-SawyerPH #quality: REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality (PS, BP, PH), pp. 1–17.
REFSQ-2007-Schneider #elicitation #feedback #generative #performance: Generating Fast Feedback in Requirements Elicitation (KS), pp. 160–174.
REFSQ-2007-ZarvicDW: Value-Based Requirements Engineering for Value Webs (NZ, MD, RW), pp. 116–128.
ASE-2007-CortellessaCMP #component #off the shelf: Driving the selection of cots components on the basis of system requirements (VC, IC, FM, PP), pp. 413–416.
ASE-2007-LauenrothP #automation #consistency #product line #specification #towards: Towards automated consistency checks of product line requirements specifications (KL, KP), pp. 373–376.
ASE-2007-NakagawaTH #approach #generative #model transformation #modelling #specification: Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models (HN, KT, SH), pp. 531–532.
ASE-2007-WangMYM #approach #automation #monitoring: An automated approach to monitoring and diagnosing requirements (YW, SAM, YY, JM), pp. 293–302.
ICSE-2007-Ludi: Introducing Accessibility Requirements through External Stakeholder Utilization in an Undergraduate Requirements Engineering Course (SL), pp. 736–743.
ICSE-2007-MaidenNR #case study #experience: Can Requirements Be Creative? Experiences with an Enhanced Air Space Management System (NAMM, CN, SR), pp. 632–641.
SAC-2007-BabarCBV #evolution #towards: Towards evolution of strategic IT requirements (AB, KC, SJB, JMV), pp. 1220–1227.
SAC-2007-NetoRP #information management #modelling #testing: Requirements for information systems model-based testing (PdAdSN, RFR, CIPdSeP), pp. 1409–1415.
CAV-2007-BloemCPRT #analysis #formal method #named: RAT: A Tool for the Formal Analysis of Requirements (RB, RC, IP, MR, AT), pp. 263–267.
TAP-2007-OstroffT #specification: Testable Requirements and Specifications (JSO, FAT), pp. 17–40.
JCDL-2006-ReichherzerB #documentation #using: Quantifying software requirements for supporting archived office documents using emulation (TR, GB), pp. 86–94.
CSEET-2006-MeadH #case study #education #re-engineering #security: Security Requirements Engineering for Software Systems: Case Studies in Support of Software Engineering Education (NRM, EDH), pp. 149–158.
CSMR-2006-LormansD #design #question #traceability: Can LSI help Reconstructing Requirements Traceability in Design and Test? (ML, AvD), pp. 47–56.
CSMR-2006-MarchantTT #case study #industrial #legacy #metric: A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies (JM, CT, MT), pp. 355–361.
WCRE-2006-LormansGDSS #case study #industrial #monitoring #using: Monitoring Requirements Coverage using Reconstructed Views: An Industrial Case Study (ML, HGG, AvD, RvS, AS), pp. 275–284.
SEFM-2006-Krishna #experience #modelling: Requirements Modeling — Experience from an Insurance Project (GMK), pp. 157–166.
SEFM-2006-MarconiPT #automation #composition #data flow #specification #web #web service: Specifying Data-Flow Requirements for the Automated Composition of Web Services (AM, MP, PT), pp. 147–156.
SEFM-2006-SukumaranSV #approach #validation: A Rigorous Approach to Requirements Validation (SS, AS, RV), pp. 236–245.
AIIDE-2006-JhalaY #approach #automation: Representational Requirements for a Plan Based Approach to Automated Camera Control (AJ, RMY), pp. 36–41.
CHI-2006-ConsolvoESL #design #physics #process: Design requirements for technologies that encourage physical activity (SC, KE, IES, JAL), pp. 457–466.
CSCW-2006-CataldoWHC #collaboration #coordination #design #identification #tool support: Identification of coordination requirements: implications for the Design of collaboration and awareness tools (MC, PW, JDH, KMC), pp. 353–362.
CAiSE-2006-BrylMMZ #design #modelling #security: Designing Security Requirements Models Through Planning (VB, FM, JM, NZ), pp. 33–47.
CAiSE-2006-DourdasZMJZ #query: Discovering Remote Software Services that Satisfy Requirements: Patterns for Query Reformulation (ND, XZ, NAMM, SJ, KZ), pp. 239–254.
CAiSE-2006-LapouchnianL #modelling: Modeling Mental States in Agent-Oriented Requirements Engineering (AL, YL), pp. 480–494.
EDOC-2006-AlmeidaEI #consistency #development #modelling #traceability: Requirements Traceability and Transformation Conformance in Model-Driven Development (JPAA, PvE, MEI), pp. 355–366.
ICEIS-ISAS-2006-AhnC #elicitation #process: A Reuse-Based Requirements Elicitation Process (SA, KC), pp. 403–409.
ICEIS-ISAS-2006-GoeppK #information management #problem #question: Key-Problem and Goal Driven Requirements Engineering — Which Complementarities for Manufacturing Information Systems? (VG, FK), pp. 102–109.
ICEIS-ISAS-2006-MartinhoDR #authentication #workflow: Supporting Authentication Requirements in Workflows (RM, DD, ARS), pp. 181–188.
ICEIS-ISAS-2006-PetersenLA #elicitation #modelling #validation: Interoperablity Requirements Elicitation, Validation and Solutions Modelling (SAP, FML, MA), pp. 152–159.
ICEIS-ISAS-2006-RoubtsovaR #reuse: A Feature Computation Tree Model to Specify Requirements and Reuse (EER, SAR), pp. 118–125.
ICEIS-ISAS-2006-Vaisman #approach #elicitation #quality: Requirements Elicitation for Decision Support Systems: A Data Quality Approach (AAV), pp. 316–321.
ICEIS-J-2006-PetersenLA06a #elicitation #modelling #validation #visualisation: Modelling and Visualisation for Interoperability Requirements Elicitation and Validation (SAP, FML, MA), pp. 241–253.
SEKE-2006-BalushiSDL #elicitation #ontology #process #quality: Performing Requirements Elicitation Activities Supported by Quality Ontologies (THAB, PRFS, DD, PL), pp. 343–348.
SEKE-2006-HepnerGG #composition #interactive #web #web service: Elevating Interaction Requirements for Web Service Composition (MH, MTG, RFG), pp. 697–701.
SEKE-2006-KrishnaCG #approach #elicitation: Genre-based approach to Requirements Elicitation (AK, RJC, AKG), pp. 682–687.
SEKE-2006-PaivaFF #design #development #representation: Design Rationale in Academic Software Development: Requirements for a Representation Model (DMBP, APF, RPdMF), pp. 469–472.
SEKE-2006-ZiemerSS #approach #development #modelling #trade-off #web: A Decision Modelling Approach for Analysing Requirements Configuration Trade-offs in Timeconstrained Web Application Development (SZ, PRFS, TS), pp. 144–149.
SPL-BOOK-2006-BertolinoFGL #case study #product line #specification #testing: Product Line Use Cases: Scenario-Based Specification and Testing of Requirements (AB, AF, SG, GL), pp. 425–445.
SPL-BOOK-2006-BuhneHLP: Scenario-Based Application Requirements Engineering (SB, GH, KL, KP), pp. 161–194.
SPL-BOOK-2006-NebutTJ #product line #testing: System Testing of Product Lines: From Requirements to Test Cases (CN, YLT, JMJ), pp. 447–477.
SPLC-2006-Berenbach #product line: Introduction to Product Line Requirements Engineering (BB), p. 215.
SPLC-2006-SchmidKE #product line #tool support: Requirements Management for Product Lines: Extending Professional Tools (KS, KK, ME), pp. 113–122.
OOPSLA-2006-KitMB #analysis #semantics #using: Isolating and relating concerns in requirements using latent semantic analysis (LKK, CKM, ELAB), pp. 383–396.
RE-2006-AkkermansG #question #what: What is This Science Called Requirements Engineering? (HA, JG), pp. 266–271.
RE-2006-Al-AniS #question: So, You Think You Are a Requirements Engineer? (BAA, SES), pp. 330–331.
RE-2006-Aubrey: Controlling the HMS Program through Managing Requirements (DA), pp. 222–227.
RE-2006-BastosCM #architecture: Deriving Architectures from Requirements (LRDB, JC, JM), pp. 332–333.
RE-2006-Berenbach #industrial #perspective: Requirements Engineering: An Industrial Perspective (BB), p. 260.
RE-2006-BorgPS #capacity #scalability: Good Practice and Improvement Model of Handling Capacity Requirements of Large Telecommunication Systems (AB, MP, KS), pp. 240–245.
RE-2006-BreauxVA #towards: Towards Regulatory Compliance: Extracting Rights and Obligations to Align Requirements with Regulations (TDB, MWV, AIA), pp. 46–55.
RE-2006-BritoM #approach #towards: Towards an Integrated Approach for Aspectual Requirements (ISB, AMDM), pp. 334–335.
RE-2006-BushN #research: Requirements Engineering Research in Some Future Worlds: An Exercise in Scenario Planning (DB, BN), p. 324.
RE-2006-CalleleNS #game studies #video: Emotional Requirements in Video Games (DC, EN, KS), pp. 292–295.
RE-2006-CarvalloFQ #component #off the shelf: Managing Non-Technical Requirements in COTS Components Selection (JPC, XF, CQ), pp. 316–321.
RE-2006-ChantreeNRW #identification #natural language: Identifying Nocuous Ambiguities in Natural Language Requirements (FC, BN, ANDR, AW), pp. 56–65.
RE-2006-ChenZZM #analysis #dependence #identification: Identification of Crosscutting Requirements Based on Feature Dependency Analysis (KC, HZ, WZ, HM), pp. 300–303.
RE-2006-Cleland-Huang #delivery #how #question #traceability: Requirements Traceability — When and How does it Deliver more than it Costs? (JCH), p. 323.
RE-2006-Cleland-HuangSZS #aspect-oriented #classification #detection #non-functional: The Detection and Classification of Non-Functional Requirements with Application to Early Aspects (JCH, RS, XZ, PS), pp. 36–45.
RE-2006-CornfordFHJ #analysis #modelling: Fusing Quantitative Requirements Analysis with Model-based Systems Engineering (SLC, MSF, VAH, JSJ), pp. 272–277.
RE-2006-CreightonOB: Software Cinema-Video-based Requirements Engineering (OC, MO, BB), pp. 106–115.
RE-2006-DanevaW #complexity #coordination #enterprise: A Coordination Complexity Model to Support Requirements Engineering for Cross-organizational ERP (MD, RW), pp. 304–307.
RE-2006-DavisTHJM #effectiveness #elicitation #empirical #overview #perspective: Effectiveness of Requirements Elicitation Techniques: Empirical Results Derived from a Systematic Review (AMD, ÓDT, AMH, NJJ, AMM), pp. 176–185.
RE-2006-Dick: A Requirements Guide For All (REGAL): An INCOSE Initiative (JD), p. 264.
RE-2006-GoldsbyC #adaptation #modelling: Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System (HG, BHCC), pp. 338–339.
RE-2006-Gonzalez-BaixauliLL #elicitation #interactive #non-functional #using: Eliciting Non-Functional Requirements Interactions Using the Personal Construct Theory (BGB, JCSdPL, MAL), pp. 340–341.
RE-2006-Graham #question #testing: Testing to Improve Requirements — Mission Impossible? (DG), p. 3.
RE-2006-KaiyaS #elicitation #ontology #using: Using Domain Ontology as Domain Knowledge for Requirements Elicitation (HK, MS), pp. 186–195.
RE-2006-LiuJ #analysis #problem: Integrating Goals and Problem Frames in Requirements Analysis (LL, ZJ), pp. 342–343.
RE-2006-LockerbieM #modelling #named #process: REDEPEND: Extending i* Modelling into Requirements Processes (JL, NAMM), pp. 354–355.
RE-2006-MaidenSGOM #mobile #tool support: Making Mobile Requirements Engineering Tools Usable and Useful (NAMM, NS, PG, OO, KM), pp. 26–35.
RE-2006-Miller #development #modelling #proving: Proving the Shalls: Requirements, Proofs, and Model-Based Development (SPM), p. 261.
RE-2006-MunozVPP #approach #pervasive: Requirements Engineering for Pervasive Systems. A Transformational Approach (JM, PV, VP, OP), pp. 344–345.
RE-2006-Mylopoulos: Goal-Oriented Requirements Engineering, Part II (JM), p. 4.
RE-2006-PaechR #open source: Open Source Requirements Engineering (BP, BR), pp. 252–259.
RE-2006-PichlerRW #agile #case study #risk management #social: Agile Requirements Engineering for a Social Insurance for Occupational Risks Organization: A Case Study (MP, HR, WW), pp. 246–251.
RE-2006-Potts: Re-Framing Requirements Engineering (CP), pp. 278–283.
RE-2006-Prindahl #modelling: Modeling Requirements (AP), p. 262.
RE-2006-Rosson: End Users Who Meet Their Own Requirements (MBR), p. 2.
RE-2006-Smith #development #documentation: Systematic Development of Requirements Documentation for General Purpose Scientific Computing Software (SS), pp. 205–215.
RE-2006-SoB #case study #experience: Experiences of Requirements Engineering for Two Consecutive Versions of a Product at VLSC (JS, DMB), pp. 216–221.
RE-2006-Wasson #case study: A Case Study in Systematic Improvement of Language for Requirements (KSW), pp. 6–15.
RE-2006-Young: Putting Requirements Theory into Practice at Northrop Grumman (RY), p. 263.
ICSE-2006-BerenbachB #development #metric #modelling: Metrics for model driven requirements development (BB, GB), pp. 445–451.
ICSE-2006-DamianLM #effectiveness: The role of asynchronous discussions in increasing the effectiveness of remote synchronous requirements negotiations (DED, FL, TM), pp. 917–920.
ICSE-2006-Firesmith: Engineering safety-related requirements for software-intensive systems (DF), pp. 1047–1048.
ICSE-2006-MaidenRR: Creative requirements: invention and its role in requirements engineering (NAMM, SR, JR), pp. 1073–1074.
ICSE-2006-MikulovicH #communication #development #distributed #how #quote #what: “How do I know what I have to do?”: the role of the inquiry culture in requirements communication for distributed software development projects (VM, MH), pp. 921–925.
ICSE-2006-SongHMRNHG #case study #challenge #comprehension #experience #workflow: Understanding requirements for computer-aided healthcare workflows: experiences and challenges (XS, BH, GM, AR, CN, MH, AG), pp. 930–934.
ICSE-2006-Venkatagiri #approach: Engineering the software requirements of nonprofits: a service-learning approach (SV), pp. 643–648.
SAC-2006-CoxBRT #framework: A contingency view of organizational infrastructure requirements engineering (KC, SJB, PR, AT), pp. 1497–1504.
SAC-2006-DattaE #analysis #workflow: Effects of changing requirements: a tracking mechanism for the analysis workflow (SD, RvE), pp. 1739–1744.
DAC-2006-PillSCRBC #analysis #formal method #hardware: Formal analysis of hardware requirements (IP, SS, RC, MR, RB, AC), pp. 821–826.
DAC-2006-StuijkGB #constraints #data flow #graph #throughput #trade-off: Exploring trade-offs in buffer requirements and throughput constraints for synchronous dataflow graphs (SS, MG, TB), pp. 899–904.
HPDC-2006-Yom-TovA #estimation: Improving Resource Matching Through Estimation of Actual Job Requirements (EYT, YA), pp. 367–368.
FASE-2006-DamianLM #empirical: An Empirical Study of the Impact of Asynchronous Discussions on Remote Synchronous Requirements Meetings (DED, FL, TM), pp. 155–169.
FASE-2006-LavazzaB #problem #uml: Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
WICSA-2005-Schwanke #architecture #named #process: GEAR: A Good Enough Architectural Requirements Process (RWS), pp. 57–66.
ECDL-2005-ShenGFF #case study #framework #library #modelling: Requirements Gathering and Modeling of Domain-Specific Digital Libraries with the 5S Framework: An Archaeological Case Study with ETANA (RS, MAG, WF, EAF), pp. 1–12.
SIGITE-2005-LeeR #education: Skill requirements for IT managers and the IT model curriculum: a critical reflection (CKL, HR), pp. 381–382.
SIGITE-2005-RobilaB #security: Writing requirements in computer security (SAR, CB), pp. 385–386.
CSMR-2005-BublB #constraints: Tracing Cross-Cutting Requirements via Context-Based Constraints (FB, MB), pp. 80–90.
ICSM-2005-ZhaoZMS #clustering: Requirements Guided Dynamic Software Clustering (WZ, LZ, HM, JS), pp. 605–608.
WCRE-2005-YuMWLLZLL #named #reverse engineering: RETR: Reverse Engineering to Requirements (YY, JM, YW, SL, AL, YZ, ML, JCSdPL), p. 234.
SEFM-2005-ScheffczykBBS #consistency #industrial #specification: Pragmatic Consistency Management in Industrial Requirements Specifications (JS, UMB, AB, JS), pp. 272–281.
CAiSE-2005-HoppenbrouwersPW #comprehension #modelling: Understanding the Requirements on Modelling Techniques (SH, HAP, TPvdW), pp. 262–276.
CAiSE-2005-MoreiraAR: A Concern-Oriented Requirements Engineering Model (AMDM, JA, AR), pp. 293–308.
ICEIS-v3-2005-BonessHL: Acknowledging the Implications of Requirements (KB, RH, KL), pp. 337–342.
ICEIS-v3-2005-SilvaC #detection #non-functional: Functional and Non-Functional Application Software Requirements: Early Conflict Detection (PSMS, LC), pp. 343–348.
SEKE-2005-AvesaniBPS: Exploiting Domain Knowledge in Requirements Prioritization (PA, CB, AP, AS), pp. 467–472.
SEKE-2005-Chen #empirical #modelling: Empirical Modelling for Situated Requirements Engineering (YCC), pp. 461–466.
SEKE-2005-LiuCBGROA #analysis #approach #component #composition #quality #two-level grammar: Quality of Service-Driven Requirements Analysis for Component Composition: A Two-Level Grammar+Approach (SHL, FC, BRB, JGG, RRR, AMO, MA), pp. 731–734.
SEKE-2005-LopesA #case study #specification: Impact of GSD in Requirements Specification — A Case Study (LL, JLNA), pp. 473–478.
SEKE-2005-Niazi #empirical #process: An Empirical Study for the Improvement of Requirements Engineering Process (MN), pp. 396–399.
SIGAda-2005-SinghoffLNM #analysis #memory management #scheduling: Scheduling and memory requirements analysis with AADL (FS, JL, LN, LM), pp. 1–10.
RE-2005-AlexanderRM #industrial #process #what: What Influences the Requirements Process in Industry? A Report on Industrial Practice (IFA, SR, NAMM), pp. 411–415.
RE-2005-Aoyama #embedded: Persona-and-Scenario Based Requirements Engineering for Software Embedded in Digital Consumer Products (MA), pp. 85–94.
RE-2005-AraoGN #process: “Business Process” Oriented Requirements Engineering Process (TA, EG, TN), pp. 395–402.
RE-2005-AvesaniBPS #machine learning #scalability: Facing Scalability Issues in Requirements Prioritization with Machine Learning Techniques (PA, CB, AP, AS), pp. 297–306.
RE-2005-BerryDFGHW #question #why: To do or not to do: If the requirements engineering payoff is so good, why aren’t more companies doing it? (DMB, DD, AF, DCG, RH, AW), p. 447.
RE-2005-BittnerBPRW #reuse #scalability #using #variability: Managing Variability and Reuse of Features and Requirements for Large and Complex Organizational Structures (MB, AB, AP, MOR, MW), pp. 469–470.
RE-2005-BucchiaroneGP #analysis #case study #industrial #quality: Quality Analysis of NL Requirements: An Industrial Case Study (AB, SG, PP), pp. 390–394.
RE-2005-BuhneLP #modelling #product line #variability: Modelling Requirements Variability across Product Lines (SB, KL, KP), pp. 41–52.
RE-2005-CalleleNS #game studies #industrial #process #video: Requirements Engineering and the Creative Process in the Video Game Industry (DC, EN, KS), pp. 240–252.
RE-2005-ChenZZM #approach #clustering #feature model #modelling: An Approach to Constructing Feature Models Based on Requirements Clustering (KC, WZ, HZ, HM), pp. 31–40.
RE-2005-ChisanD #risk management: Exploring the role of requirements engineering in improving risk management (JC, DD), pp. 481–482.
RE-2005-ChitchyanSR #approach #named: CoCA: A Composition-Centric Approach to Requirements Engineering (RC, IS, AR), pp. 475–476.
RE-2005-Cleland-HuangSDZ #traceability: Utilizing Supporting Evidence to Improve Dynamic Requirements Traceability (JCH, RS, CD, XZ), pp. 135–144.
RE-2005-CysneirosWK #reuse #usability: Reusable Knowledge for Satisficing Usability Requirements (LMC, VW, AK), pp. 463–464.
RE-2005-DanevaW #enterprise #implementation: Requirements Engineering for Cross-organizational ERP Implementation: Undocumented Assumptions and Potential Mismatches (MD, RW), pp. 63–74.
RE-2005-DorrKKOS #case study #industrial #non-functional: Non-Functional Requirements in Industry — Three Case Studies Adopting an Experience-based NFR Method (JD, DK, TK, TO, TS), pp. 373–384.
RE-2005-Ebert #comprehension: Requirements BEFORE the Requirements: Understanding the Upstream Impact (CE), pp. 117–124.
RE-2005-EtienS #co-evolution: Managing Requirements in a Co-evolution Context (AE, CS), pp. 125–134.
RE-2005-FanmuyPRDBWB #question: Are Requirements Engineering best practices the same for all industries? (GF, FP, JR, JD, SB, MW, PB), p. 448.
RE-2005-FickasRS: The Role of Deferred Requirements in a Longitudinal Study of Emailing (SF, WNR, MMS), pp. 145–156.
RE-2005-Fuji #analysis #education: Finding Competitive Advantage in Requirements Analysis Education (TF), pp. 493–494.
RE-2005-GeorgiadesAP #natural language #semantics #syntax: A Requirements Engineering Methodology Based On Natural Language Syntax and Semantics (MGG, ASA, CSP), pp. 473–474.
RE-2005-GiorginiMMZ #modelling #security: Modeling Security Requirements Through Ownership, Permission and Delegation (PG, FM, JM, NZ), pp. 167–176.
RE-2005-GiorginiMMZ05a #automation #named #security: ST-Tool: A CASE Tool for Security Requirements Engineering (PG, FM, JM, NZ), pp. 451–452.
RE-2005-HaggeLS #named #repository: REPARE: The Requirements Engineering Patterns Repository (LH, KL, TS), pp. 489–490.
RE-2005-IvanovicMSW #case study #elicitation: Eliciting User Requirements for Ambient Intelligent Systems: A Case Study (AI, AM, KS, RW), pp. 477–478.
RE-2005-Jean-BaptisteSF: Sharing Methodological Knowledge with REGAL: “Requirements Engineering Guide for All” (LHJB, CS, GF), pp. 461–462.
RE-2005-JordanSN #case study #evolution: The Extravehicular Mobility Unit: Case Study in Requirements Evolution (NCJ, JHS, DJN), pp. 434–438.
RE-2005-KujalaKLK #quality: The Role of User Involvement in Requirements Quality and Project Success (SK, MK, LL, TK), pp. 75–84.
RE-2005-LehtolaKK: Linking the Business View to Requirements Engineering: Long-Term Product Planning by Roadmapping (LL, MK, SK), pp. 439–446.
RE-2005-LiP #elicitation: Computer-Assisted and Customer-Oriented Requirements Elicitation (KL, RJP), pp. 479–480.
RE-2005-LutzNPFT #analysis #identification #using: Identifying Contingency Requirements Using Obstacle Analysis (RRL, SN, APH, CRF, DT), pp. 263–272.
RE-2005-MaidenR #case study #experience #process: Integrating Creativity into Requirements Processes: Experiences with an Air Traffic Management System (NAMM, SR), pp. 105–116.
RE-2005-Matulevicius #evaluation #framework #functional #prototype: Prototype of the Evaluation Framework for Functional Requirements of RE-tools (RM), pp. 483–484.
RE-2005-MiranskyyaMDR #modelling: Modelling Assumptions and Requirements in the Context of Project Risk (AVM, NHM, MD, MR), pp. 471–472.
RE-2005-MoreiraRA #multi: Multi-Dimensional Separation of Concerns in Requirements Engineering (AMDM, AR, JA), pp. 285–296.
RE-2005-Nesland #framework #implementation #lessons learnt #platform #process: Initial Lessons Learned from the Definition and Implementation of a Platform Requirements Engineering Process at Intel Corporation (SN), pp. 429–433.
RE-2005-PerroneBRD #experience #industrial #web: Shaping Requirements for Institutional Web Applications: Experience from an Industrial Project (VP, DB, AR, LD), pp. 221–230.
RE-2005-PottF #modelling #using: Using Cognitive Modeling for Requirements Engineering in Anesthesiology (CP, JlF), pp. 491–492.
RE-2005-RegevW: Where do Goals Come from: the Underlying Principles of Goal-Oriented Requirements Engineering (GR, AW), pp. 353–362.
RE-2005-Robertson: Exemplars for Better Requirements — Tales from the Trenches (SR), p. 5.
RE-2005-RobinsonWW #analysis #design #probability #using: Risk Mitigation of Design Requirements Using a Probabilistic Analysis (MCR, SEW, DCW), pp. 231–239.
RE-2005-SampaioRR #approach #aspect-oriented #identification #named: Early-AIM: An Approach for Identifying Aspects in Requirements (AS, AR, PR), pp. 487–488.
RE-2005-SolheimLPJA #modelling #visual notation: Model-Driven Visual Requirements Engineering (HGS, FML, SAP, HDJ, MA), pp. 421–428.
RE-2005-Some #case study #validation: Use Cases based Requirements Validation with Scenarios (SSS), pp. 465–466.
RE-2005-SongMHRN #concurrent #named #process #prototype #workflow: S-RaP: A Concurrent Prototyping Process for Refining Workflow-Oriented Requirements (XS, GM, BH, AR, CN), pp. 416–420.
RE-2005-SutcliffeFS: Personal and Contextual Requirements Engineering (AGS, SF, MMS), pp. 19–30.
RE-2005-WassonSLK #fault #using: Using Occurrence Properties of Defect Report Data to Improve Requirements (KSW, KNS, RRL, JCK), pp. 253–262.
RE-2005-ZhangMZ #approach #dependence #feature model #modelling: A Feature-Oriented Approach to Modeling Requirements Dependencies (WZ, HM, HZ), pp. 273–284.
ASE-2005-SampaioCR #aspect-oriented #automation #identification #named: EA-Miner: a tool for automating aspect-oriented requirements identification (AS, RC, PR), pp. 352–355.
ESEC-FSE-2005-HeindlB #case study: A case study on value-based requirements tracing (MH, SB), pp. 60–69.
ESEC-FSE-2005-LandtsheerL #reasoning: Reasoning about confidentiality at requirements engineering time (RDL, AvL), pp. 41–49.
ICSE-2005-ChatleyUKM #animation #validation #web: Fluent-based web animation: exploring goals for requirements validation (RC, SU, JK, JM), pp. 674–675.
ICSE-2005-Cleland-HuangD: Financially informed requirements prioritization (JCH, MD), pp. 710–711.
ICSE-2005-Cleland-HuangSKBC #non-functional #traceability: Goal-centric traceability for managing non-functional requirements (JCH, RS, OBK, EB, SC), pp. 362–371.
ICSE-2005-EbertM #nondeterminism: Requirements Uncertainty: Influencing Factors and Concrete Improvements (CE, JDM), pp. 553–560.
ICSE-2005-Fickas: Clinical requirements engineering (SF), pp. 28–34.
ICSE-2005-Firesmith: Engineering safety-related requirements for software-intensive systems (DF), pp. 720–721.
ICSE-2005-KoAM #design #elicitation #ide #maintenance: Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks (AJK, HHA, BAM), pp. 126–135.
ICSE-2005-LetierKMU #analysis #monitoring: Monitoring and control in scenario-based requirements analysis (EL, JK, JM, SU), pp. 382–391.
ICSE-2005-MaidenR #case study #process: Developing use cases and scenarios in the requirements process (NAMM, SR), pp. 561–570.
ICSE-2005-Woit #case study #interactive #programming: Requirements interaction management in an eXtreme programming environment: a case study (DMW), pp. 489–494.
SAC-2005-BleisteinCV #analysis #approach: Strategic alignment in requirements analysis for organizational IT: an integrated approach (SJB, KC, JMV), pp. 1300–1307.
SAC-2005-LiuBGROA #assurance #distributed #embedded #realtime: Two-level assurance of QoS requirements for distributed real-time and embedded systems (SHL, BRB, JGG, RRR, AMO, MA), pp. 903–904.
GPCE-2005-SiekL #library #scalability: Language Requirements for Large-Scale Generic Libraries (JGS, AL), pp. 405–421.
CASE-2005-ChangC #industrial: Engineering-chain requirements for semiconductor industry (JYCC, FTC), pp. 381–386.
DAC-2005-GeilenBS #data flow #graph #model checking: Minimising buffer requirements of synchronous dataflow graphs with model checking (MG, TB, SS), pp. 819–824.
DAC-2005-HeitheckerE: Traffic shaping for an FPGA based SDRAM controller with complex QoS requirements (SH, RE), pp. 575–578.
A-MOST-2005-BouquetJLPU #automation #generative #smarttech #testing #traceability #validation: Requirements traceability in automated test generation: application to smart card software validation (FB, EJ, BL, FP, MU), pp. 44–50.
A-MOST-2005-LottJD #combinator #modelling #testing: Modeling requirements for combinatorial software testing (CML, AJ, SRD), pp. 37–43.
CBSE-2004-MollerFN #component #embedded #industrial: Industrial Requirements on Component Technologies for Embedded Systems (AM, JF, MN), pp. 146–161.
HT-2004-MarshallG #hypermedia: Saving private hypertext: requirements and pragmatic dimensions for preservation (CCM, GG), pp. 130–138.
PODS-2004-Bar-YossefFJ #evaluation #memory management #on the #xml #xpath: On the Memory Requirements of XPath Evaluation over XML Streams (ZBY, MF, VJ), pp. 177–188.
SIGMOD-2004-Hall #challenge #policy: Requirements and Policy Challenges in Highly Secure Environments (DEH), pp. 897–898.
CSEET-2004-HassonC #case study #re-engineering #specification #using: A Case Study Involving the Use of Z to Aid Requirements Specification in the Software Engineering Course (PH, SC), pp. 84–90.
CSEET-2004-Nikula #case study #experience: Experiences of Embedding Training in a Basic Requirements Engineering Method (UN), pp. 104–109.
IWPC-2004-Hamou-LhadjLF #challenge #effectiveness: Challenges and Requirements for an Effective Trace Exploration Tool (AHL, TCL, LF), pp. 70–78.
IWPC-2004-TahvildariK #evolution: Requirements Driven Software Evolution (LT, KK), pp. 258–259.
SEFM-2004-KazhamiakinPR #case study #using #verification #web #web service: Formal Verification of Requirements using SPIN: A Case Study on Web Services (RK, MP, MR), pp. 406–415.
SEFM-2004-WenD #design: From Requirements Change to Design Change: A Formal Path (LW, RGD), pp. 104–113.
CSCW-2004-JonesGWCT #community #design: Putting systems into place: a qualitative study of design requirements for location-aware community systems (QJ, SAG, SW, KC, LGT), pp. 202–211.
CAiSE-2004-MaidenJMGR #case study #modelling: Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study (NAMM, SJ, SM, JG, LR), pp. 368–383.
CAiSE-2004-Matulevicius #case study #how #quality #specification #tool support: How Requirements Specification Quality Depends on Tools: A Case Study (RM), pp. 353–367.
CAiSE-2004-SalinesiEZ #approach #evolution #modelling #similarity #using: A Systematic Approach to Express IS Evolution Requirements Using Gap Modelling and Similarity Modelling Techniques (CS, AE, IZ), pp. 338–352.
EDOC-2004-KazhamiakinPR #framework #process: A Framework for Integrating Business Processes and Business Requirements (RK, MP, MR), pp. 9–20.
ICEIS-v1-2004-Loucopoulos: Engaging Stakeholders in the Definition of Strategic Requirements (PL), p. III.
ICEIS-v1-2004-Lyytinen #analysis #functional #scalability #source code: Large Scale Requirements Engineering in Action: An Ethnographic Analysis of Functional and Political Ecologies in Situ in Space Mission Programs (KL), p. V.
ICEIS-v2-2004-Azevedo #bibliography #order: Order Planning Decision Support System for Customer Driven Manufacturing: Overview of Main System Requirements (HP, ALA), pp. 417–422.
ICEIS-v3-2004-BennasriS #approach #component #variability: Capturing Requirements Variability into Components: A Goal Driven Approach (SB, CS), pp. 438–443.
ICEIS-v3-2004-LopesPAM #distributed #specification: Distributed Requirements Specification: Minimizing the Effect of Geographic Dispersion (LL, RP, JLNA, AM), pp. 531–534.
ICEIS-v3-2004-MarinBSM #process #re-engineering: Requirements Engineering for the Business Process Re-Engineering: An Example in the Agro-Food Supply Chain (FM, PB, FS, LM), pp. 538–542.
ICEIS-v3-2004-TanL #modelling: Requirements Engineering for Organisational Modelling (ST, KL), pp. 383–388.
ICEIS-v3-2004-ThamF #enterprise #information management #specification: Determining Requirements and Specifications of Enterprise Information Systems for Profitability (KDT, MSF), pp. 309–316.
ICEIS-v3-2004-VachonM #aspect-oriented #development #using: Achieving Supplementary Requirements Using Aspect-Oriented Development (JV, FM), pp. 584–587.
ICEIS-v3-2004-ZoukarS #approach #enterprise #similarity: Matching ERP Functionalities with the Logistic Requirements of French Railways: A Similarity Approach (IZ, CS), pp. 444–450.
ICEIS-v5-2004-SoferM: An Investigation into the Requirements for an E-Learning System (YYS, SBM), pp. 233–237.
SEKE-2004-AvesaniBPS #approach #machine learning #process: Supporting the Requirements Prioritization Process. A Machine Learning approach (PA, CB, AP, AS), pp. 306–311.
SEKE-2004-KhedriB: Requirements Scenarios Based System-Testing (RK, IB), pp. 252–257.
SEKE-2004-LarssonB #distributed #programming #ubiquitous #user interface: Programming ubiquitous software applications: requirements for distributed user interface (AL, EB), pp. 246–251.
SEKE-2004-MoreiraA #aspect-oriented: Handling unanticipated requirements change with aspects (AMDM, JA), pp. 411–415.
SEKE-2004-SmithC #analysis #generative: Commonality and Requirements Analysis for Mesh Generating Software (SS, CHC), pp. 384–387.
UML-2004-JurjensS #automation #modelling #security #verification: Automated Verification of UMLsec Models for Security Requirements (JJ, PS), pp. 365–379.
AdaEurope-2004-Nadrchal #on the fly #realtime: Event Language for Real-Time On-the-Fly Control According to the Initial Requirements (SPN), pp. 120–131.
PADL-2004-WangRYC #behaviour #execution #symbolic computation: Symbolic Execution of Behavioral Requirements (TW, AR, RHCY, SCC), pp. 178–192.
RE-2004-AraujoWK #aspect-oriented #modelling: Modeling and Composing Scenario-Based Requirements with Aspects (JA, JW, DKK), pp. 58–67.
RE-2004-BodduGMC #named #testing: RETNA: From Requirements to Testing in a Natural Way (RB, LG, SM, BC), pp. 262–271.
RE-2004-BuhneHPWKW #abstraction: Defining Requirements at Different Levels of Abstraction (SB, GH, KP, MW, HK, TW), pp. 346–347.
RE-2004-Cleland-HuangZL #traceability: A Heterogeneous Solution for Improving the Return on Investment of Requirements Traceability (JCH, GZ, WL), pp. 230–239.
RE-2004-DagGBR: Speeding up Requirements Management in a Product Software Company: Linking Customer Wishes to Product Requirements through Linguistic Engineering (JNoD, VG, SB, BR), pp. 283–294.
RE-2004-DorrPK #process: Requirements Engineering Process Improvement Based on an Information Model (JD, BP, MK), pp. 70–79.
RE-2004-Gibson #specification #web #web service: Developing A Requirements Specification For A Web Service Application (JCG), pp. 340–344.
RE-2004-GregoriadesSS: Human-Centred Requirements Engineering (AG, JES, AGS), pp. 154–163.
RE-2004-Gulla #comprehension #enterprise: Understanding Requirements in Enterprise Systems Projects (JAG), pp. 176–185.
RE-2004-HaleyLMN #security #trust: The Effect of Trust Assumptions on the Elaboration of Security Requirements (CBH, RCL, JDM, BN), pp. 102–111.
RE-2004-HaleyNST #categorisation #learning: The Conundrum of Categorising Requirements: Managing Requirements for Learning on the Move (DTH, BN, HCS, JT), pp. 309–314.
RE-2004-HayesDSH: Helping Analysts Trace Requirements: An Objective Look (JHH, AD, SKS, SH), pp. 249–259.
RE-2004-HeumesserH #case study #experience #process: Experiences in Managing an Automotive Requirements Engineering Process (NH, FH), pp. 322–327.
RE-2004-HillWN #approach #non-functional #process: Quantifying Non-Functional Requirements: A Process Oriented Approach (RLH, JW, KN), pp. 352–353.
RE-2004-HoffmannKWB #tool support: Requirements for Requirements Management Tools (MH, NK, MW, MB), pp. 301–308.
RE-2004-Kaindl #tool support: Active Tool Support for Requirements Engineering Through RETH (HK), pp. 362–363.
RE-2004-KatzR #aspect-oriented #proving: From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems (SK, AR), pp. 48–57.
RE-2004-Lamsweerde #research: Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice (AvL), pp. 4–7.
RE-2004-LaneyBJN #problem #using: Composing Requirements Using Problem Frames (RCL, LB, MJ, BN), pp. 122–131.
RE-2004-Lauesen #integration #off the shelf: COTS Tenders and Integration Requirements (SL), pp. 166–175.
RE-2004-MarkBP: Expanding the Horizons of Requirements Engineering: Examining Requirements during Groupware Tool Diffusion (GM, MB, SEP), pp. 186–195.
RE-2004-Minakata #embedded #mobile #ubiquitous: Requirements for Ubiquitous/Embedded Products — Digital TV, Mobile Phones and Consumer Products (IM), p. 3.
RE-2004-NurmulianiZW #sorting #using: Using Card Sorting Technique to Classify Requirements Change (NN, DZ, SPW), pp. 240–248.
RE-2004-Padula #process: Requirements Engineering Process Selection at Hewlett-Packard (AP), pp. 296–300.
RE-2004-PatricioFCN #elicitation #experience #interactive #multi #platform: Customer Experience Requirements for Multi-platform Service Interaction: Bringing Services Marketing to the Elicitation of User Requirements (LP, RPF, JFeC, NJN), pp. 26–35.
RE-2004-PuschnigK #development #embedded: Requirements Engineering in the Development of Innovative Automotive Embedded Software Systems (AP, RTK), pp. 328–333.
RE-2004-RegevW #approach: Defining Early IT System Requirements with Regulation Principles: The Lightswitch Approach (GR, AW), pp. 144–153.
RE-2004-Some #case study: An Environment for Use Cases based Requirements Engineering (SSS), pp. 364–365.
RE-2004-SousaC #non-functional: Improving the Separation of Non-Functional Concerns in Requirements Artifacts (GMCdS, JC), pp. 350–351.
RE-2004-UchitelCKM #animation #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: Goal-Oriented Requirements Animation (HTV, AvL, PM, CP), pp. 218–228.
RE-2004-YuLM #aspect-oriented #modelling: From Goals to Aspects: Discovering Aspects from Requirements Goal Models (YY, JCSdPL, JM), pp. 38–47.
ASE-2004-HallZ #behaviour #validation: Validating Personal Requirements by Assisted Symbolic Behavior Browsing (RJH, AZ), pp. 56–66.
ASE-2004-Seyff #collaboration #mobile #tool support: Collaborative Tools for Mobile Requirements Acquisition (NS), pp. 426–429.
ASE-2004-SmithWHDLC: An Environment for Building a System out of its Requirements (CS, KW, IJH, RGD, PAL, DAC), pp. 398–399.
ASE-2004-SpanoudakisM #calculus #framework #monitoring #towards: Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus (GS, KM), pp. 379–384.
FSE-2004-LetierL #design #reasoning: Reasoning about partial goal satisfaction for requirements and design engineering (EL, AvL), pp. 53–62.
ICSE-2004-Lamsweerde #anti #security: Elaborating Security Requirements by Construction of Intentional Anti-Models (AvL), pp. 148–157.
ICSE-2004-PrietoA #formal method #multi #named #specification: chi-SCTL/MUS: A Formal Methodology to Evolve Multi-Perspective Software Requirements Specifications (ABBM, JJPA), pp. 72–74.
ICSE-2004-SeyffGMT #mobile #tool support: Requirements Engineering Tools Go Mobile (NS, PG, NAMM, AT), pp. 713–714.
SAC-2004-LeeR: Missing requirements and relationship discovery through proxy viewpoints model (SWL, DCR), pp. 1513–1518.
SAC-2004-WinterS: Information requirements engineering for data warehouse systems (RW, BS), pp. 1359–1365.
DATE-v2-2004-RajskiT #design #question #what: Nanometer Design: What are the Requirements for Manufacturing Test? (JR, KT), pp. 930–937.
FASE-2004-ChoppyR #case study #specification #using: Improving Use Case Based Requirements Using Formally Grounded Specifications (CC, GR), pp. 244–260.
FASE-2004-El-MaddahM #design #development #ide #process: The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design (IAMEM, TSEM), pp. 261–266.
FASE-2004-SoraCVB #automation #component #composition: Automating Decisions in Component Composition Based on Propagation of Requirements (IS, VC, PV, YB), pp. 374–388.
TestCom-2004-NeukirchenDG #communication #realtime #testing #using: Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing (HN, ZRD, JG), pp. 144–159.
VLDB-2003-AnciauxBP #execution #memory management #query: Memory Requirements for Query Execution in Highly Constrained Devices (NA, LB, PP), pp. 694–705.
ITiCSE-2003-MoodyS #analysis #assurance #education #process #quality: Incorporating quality assurance processes into requirements analysis education (DLM, GS), pp. 74–78.
CSMR-2003-ChaimMJ #debugging: A Debugging Strategy Based on Requirements of Testin (MLC, JCM, MJ), pp. 160–169.
SEFM-2003-Dromey #design #formal method: From Requirements to Design: Formalizing the Key Steps (RGD), p. 2–?.
SEFM-2003-ShrotriBV #model checking #specification #visual notation: Model Checking Visual Specification of Requirements (US, PB, RV), pp. 202–209.
VISSOFT-2003-WuMSL #version control #visualisation: Visualization to Support Version Control Software: Suggested Requirements (XW, AM, MAS, RL), pp. 80–86.
CAiSE-2003-DonzelliB #case study: Goal-Oriented Requirements Engineering: A Case Study in E-government (PD, PB), pp. 601–616.
CAiSE-2003-KolpGM #analysis: Organizational Patterns for Early Requirements Analysis (MK, PG, JM), pp. 617–632.
CAiSE-2003-MoreiraFA #contract #coordination #evolution: Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.
EDOC-2003-NealCLMGK #contract #identification #monitoring: Identifying requirements for Business Contract Language: a Monitoring Perspectiv (SWN, JBC, PFL, ZM, SG, SK), pp. 50–61.
ICEIS-v2-2003-AzevedoM #analysis #capacity #enterprise #network: Requirements of a Decision Support System for Capacity Analysis and Planning in Enterprise Networks (ALA, AM), pp. 177–184.
ICEIS-v3-2003-AndreouZP #3d #component #development #elicitation: A Three-Dimensional Requirements Elicitation and Management Decision-Making Scheme for the Development of New Software Components (ASA, ACZ, GAP), pp. 3–13.
ICEIS-v3-2003-BarjisG: Requirements Engineering Versus Language/Action Perspective: Different Facets and Possible Contribution (JB, TG), pp. 14–22.
ICEIS-v3-2003-LiLWWL #adaptation #elicitation #process: A Context-Aware User-Adaptive Supporting System for Goal-Oriented Requirements Elicitation Process (CL, HL, JW, QW, ML), pp. 347–356.
ICEIS-v3-2003-Lyytikainen #content management: Analysing Requirements for Content Management (VL), pp. 104–111.
ICEIS-v3-2003-MouratidisMGG #information management #security #using: Analysing Security Requirements of Information Systems Using Tropos (HM, GAM, AG, PG), pp. 623–626.
ICEIS-v3-2003-Soffer #enterprise #process: Aligning an Enterprise System with Enterprise Requirements: An Iterative Process (PS), pp. 147–155.
CIKM-2003-ChowdhuryP #scalability: Operational requirements for scalable search systems (AC, GP), pp. 435–442.
SEKE-2003-ChangKG #distributed #elicitation: Agent-assisted Distributed Requirements Elicitation and Management (CFC, AK, AKG), pp. 526–533.
SEKE-2003-JeenickeGK #prototype #web: Revealing Web User Requirements through e-Prototyping (MJ, WGB, RK), pp. 9–16.
SEKE-2003-Lavazza #uml: Rigorous Description of Software Requirements with UML (LL), pp. 327–334.
SEKE-2003-Ngo-TheR #nondeterminism: Requirements Negotiation under Incompleteness and Uncertainty (ANT, GR), pp. 586–593.
SEKE-2003-Ochs #assessment #off the shelf #risk management #using: Using Software Risk Management for Deriving Method Requirements for Risk Mitigation in COTS Assessment and Selection (MO), pp. 639–646.
SEKE-2003-SpanoudakisGZ #approach #machine learning #traceability: Revising Rules to Capture Requirements Traceability Relations: A Machine Learning Approach (GS, ASdG, AZ), pp. 570–577.
UML-2003-NytunJ #consistency #legacy #modelling #testing: Modeling and Testing Legacy Data Consistency Requirements (JPN, CSJ), pp. 341–355.
SAS-2003-UnnikrishnanCKKK: Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications (PU, GC, MTK, MK, IK), pp. 383–400.
REFSQ-J-2002-AntonEC03 #behaviour #policy #privacy #security: Precluding incongruous behavior by aligning software requirements with security and privacy policies (AIA, JBE, RAC), pp. 967–977.
REFSQ-J-2002-AurumW03 #process: The fundamental nature of requirements engineering activities as a decision-making process (AA, CW), pp. 945–954.
REFSQ-J-2002-CrookIN03 #modelling #policy #using: Modelling access policies using roles in requirements engineering (RC, DCI, BN), pp. 979–991.
REFSQ-J-2002-KamstiesKR03 #empirical #how #specification: A controlled experiment to evaluate how styles affect the understandability of requirements specifications (EK, AvK, RHR), pp. 955–965.
REFSQ-J-2002-ZowghiG03 #consistency #correctness #evolution #on the: On the interplay between consistency, completeness, and correctness in requirements evolution (DZ, VG), pp. 993–1009.
RE-2003-AoyamaWNM #framework #multi #product line: Embracing Requirements Variety for e-Governments Based on Multiple Product-Lines Frameworks (MA, KW, YN, YM), p. 285.
RE-2003-Barnes #ambiguity #convergence #design #process #using: Using Convergent Design Processes to Surface Hidden Ambiguity and Conflict in Requirements (RJB), p. 281.
RE-2003-Becker #lifecycle #multi #traceability: Measuring Requirements Traceability from Multiple Angels at Multiple Lifecycle Entry Points (DB), p. 291.
RE-2003-Berenbach03a #automation #modelling #uml: The Automated Extraction of Requirements from UML Models (BB), p. 287.
RE-2003-BergmanM #analysis: In Situ Requirements Analysis: A Deeper Examination of the Relationship between Requirements Determination and Project Selection (MB, GM), pp. 11–22.
RE-2003-BolchiniPR #analysis #hypermedia: Adding Hypermedia Requirements to Goal-Driven Analysis (DB, PP, GR), pp. 127–137.
RE-2003-BreitmanL #ontology: Ontology as a Requirements Engineering Product (KB, JCSdPL), pp. 309–319.
RE-2003-BushF #assessment #using: Requirements Stability Assessment Using Scenarios (DB, AF), pp. 23–32.
RE-2003-Catrava #quality #testing #towards #verification: Testing with Partial Traced Requirements: A Necessary Step Towards Higher Quality System Level Verification (SC), p. 303.
RE-2003-Cerf #internet: Requirements for the Internet (VGC), pp. 3–4.
RE-2003-ChardonD #approach #imperative #metric #process: One Approach to the Metric Baselining Imperative for Requirements Processes (RC, MD), p. 292.
RE-2003-Daneva #enterprise #experience #lessons learnt: Lessons Learnt from Five Years of Experience in ERP Requirements Engineering (MD), pp. 45–54.
RE-2003-DeraitusM #why: Customer Requirements and User Requirements: Why the Discrepancies (MD, AM), p. 279.
RE-2003-FuxmanLPRM #specification: Specifying and Analyzing Early Requirements: Some Experimental Results (AF, LL, MP, MR, JM), p. 105–?.
RE-2003-HallR: A Reference Model for Requirements Engineering (JGH, LR), pp. 181–187.
RE-2003-HayesDO #information retrieval: Improving Requirements Tracing via Information Retrieval (JHH, AD, JO), p. 138–?.
RE-2003-HellerV #perspective #testing: Requirements Based Testing at HP Open View (GH, PV), p. 299.
RE-2003-HerzwurmSP: QFD for Customer-Focused Requirements Engineering (GH, SS, WP), p. 330–?.
RE-2003-HuiLM #analysis #framework: Requirements Analysis for Customizable Software Goals-Skills-Preferences Framework (BH, SL, JM), pp. 117–126.
RE-2003-JarkeFMS #process #traceability: Media-Assisted Product and Process Requirements Traceability in Supply Chains (MJ, OF, MM, MS), pp. 375–376.
RE-2003-JorgensenB #health #pervasive: Requirements Engineering for a Pervasive Health Care System (JBJ, CB), pp. 55–64.
RE-2003-KaiyaSMK #analysis #java #mobile #policy #security #trade-off: Trade-off Analysis between Security Policies for Java Mobile Codes and Requirements for Java Application (HK, KS, YM, KK), pp. 357–358.
RE-2003-LandtsheerLL #modelling #specification: Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models (RDL, EL, AvL), p. 200–?.
RE-2003-LinNIJM #security: Introducing Abuse Frames for Analysing Security Requirements (LL, BN, DCI, MJ, JDM), pp. 371–372.
RE-2003-LiuYM #analysis #privacy #security #social: Security and Privacy Requirements Analysis within a Social Setting (LL, ESKY, JM), pp. 151–161.
RE-2003-LoucopoulosZP #design #elicitation #game studies: Requirements Elicitation for the Design of Venue Operations for the Athens Olympic Games (PL, KZ, NP), pp. 223–232.
RE-2003-LutzM #testing: Resolving Requirements Discovery in Testing and Operations (RRL, ICM), p. 33–?.
RE-2003-MaidenJF #case study #specification: Integrating RE Methods to Support Use Case Based Requirements Specification (NAMM, SJ, MF), pp. 369–370.
RE-2003-MavinM #case study #experience #generative: Determining Socio-Technical Systems Requirements: Experiences with Generating and Walking through Scenarios (AM, NAMM), pp. 213–222.
RE-2003-MeadK: Requirements Engineering in Practice: Making the Business Case for Requirements Engineering (NRM, NK), p. 342.
RE-2003-NavarroRP #architecture: Software Requirements for Architectured Systems (EN, IR, JP), pp. 365–366.
RE-2003-OshiroWS #elicitation #generative #idea: Goal-Oriented Idea Generation Method for Requirements Elicitation (KO, KW, MS), pp. 363–364.
RE-2003-PaimC #approach #named: DWARF: AN Approach for Requirements Definition and Management of Data Warehouse Systems (FRSP, JC), p. 75–?.
RE-2003-RegnellKH #development #evaluation #quality: An Analytical Model for Requirements Selection Quality Evaluation in Product Software Development (BR, LK, MH), pp. 254–263.
RE-2003-Robinson #monitoring #web #web service: Monitoring Web Service Requirements (WNR), pp. 65–74.
RE-2003-Romanski #configuration management #safety #traceability: Requirements, Configuration Management and Traceability for Safety Critical Software (GR), p. 304.
RE-2003-RossiT: Marketing Meets Requirements Engineering (MR, TT), p. 341.
RE-2003-SalvatoreA #challenge: Daily Challenges in Requirements Engineering (FJS, TA), p. 297.
RE-2003-SenguptaC #modelling #sequence chart #using: Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts (BS, RC), pp. 95–104.
RE-2003-ShihL: Acquiring and Incorporating State-Dependent Timing Requirements (CSS, JWSL), pp. 87–94.
RE-2003-Simmons #monitoring #quality #specification: From Requirements to Release Criteria: Specifying, Monitoring, and Demonstrating Product Quality (ES), p. 286.
RE-2003-StufflebeamAA #named: SMaRT — Scenario Management and Requirements Tool (WHS, AIA, TAA), p. 351.
RE-2003-Sutcliffe: Scenario-Based Requirements Engineering (AGS), pp. 320–329.
RE-2003-SutcliffeCN #analysis: Evolutionary Requirements Analysis (AGS, WCC, RN), p. 264–?.
RE-2003-TuunanenR #elicitation: Market Driven Requirements Elicitation via Critical Success Chains (TT, MR), pp. 367–368.
RE-2003-ZowghiP #education #game studies #lessons learnt: Teaching Requirements Engineering through Role Playing: Lessons Learnt (DZ, SP), p. 233–?.
ASE-2003-ChoiH #abstraction #model checking #reduction #specification #using: Model Checking Software Requirement Specifications using Domain Reduction Abstraction (YC, MPEH), pp. 314–317.
ASE-2003-Moore #communication #user interface #using: Communicating Requirements Using End-User GUI Constructions with Argumentation (JMM), pp. 360–363.
ASE-2003-ShehataE #detection #framework #interactive: Detecting Requirements Interactions: A Three-Level Framework (MS, AE), pp. 352–355.
ASE-2003-StrelzoffP #user interface: Deriving User Interface Requirements from Densely Interleaved Scientific Computing Applications (AS, LRP), pp. 22–29.
ESEC-FSE-2003-JeffordsH #verification: A strategy for efficiently verifying requirements (RDJ, CLH), pp. 28–37.
ICSE-2003-HeumesserH #towards: Towards Systematic Recycling of Systems Requirements (NH, FH), pp. 512–519.
ICSE-2003-Lamsweerde #modelling #precise #specification #uml: Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications (AvL), pp. 744–745.
ICSE-2003-LutzM #safety #testing: Requirements Discovery during the Testing of Safety-Critical Software (RRL, ICM), pp. 578–585.
SAC-2003-MucciniM #coordination #elicitation #policy: Eliciting Coordination Policies from Requirements (HM, FM), pp. 387–393.
DATE-2003-VachouxGE #design: SystemC-AMS Requirements, Design Objectives and Rationale (AV, CG, KE), pp. 10388–10395.
ESOP-2003-GeilenB #execution #network #process: Requirements on the Execution of Kahn Process Networks (MG, TB), pp. 319–334.
ESOP-2003-Meadows #analysis #encryption #evolution #protocol #specification #what: What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis (CM), pp. 10–21.
ECDL-2002-BolchiniP #library #specification: Goal-Oriented Requirements Specification for Digital Libraries (DB, PP), pp. 107–117.
ECDL-2002-KhooDS #functional #online #tool support: Functional Requirements for Online Tools to Support Community-Led Collections Building (MK, HD, TS), pp. 190–203.
ECDL-2002-WittenBPB #analysis #architecture #documentation #library #metadata: Importing Documents and Metadata into Digital Libraries: Requirements Analysis and an Extensible Architecture (IHW, DB, GWP, SJB), pp. 390–405.
PODS-2002-ArasuBBMW #data type #memory management #query: Characterizing Memory Requirements for Queries over Continuous Data Streams (AA, BB, SB, JM, JW), pp. 221–232.
ITiCSE-2002-RosslingN #algorithm #visualisation: A testbed for pedagogical requirements in algorithm visualizations (GR, TLN), pp. 96–100.
ICSM-2002-Knethen #embedded #evolution #traceability: Change-Oriented Requirements Traceability: Support for Evolution of Embedded Systems (AvK), pp. 482–485.
ICSM-2002-NandaM #evolution: The Impact of Environmental Evolution on Requirements Changes (VN, NHM), pp. 452–461.
ICGT-2002-Harel #behaviour #why: Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) (DH), pp. 6–7.
CHI-2002-MullerC #community #design #towards: Design as a minority discipline in a software company: toward requirements for a community of practice (MJM, KC), pp. 383–390.
CSCW-2002-FrohlichKPDA: Requirements for photoware (DF, AK, CP, AD, SA), pp. 166–175.
CAiSE-2002-CaiY #approach #performance #using: Addressing Performance Requirements Using a Goal and Scenario-Oriented Approach (ZC, ESKY), pp. 706–710.
CAiSE-2002-LeicherB #component #validation: External Requirements Validation for Component-Based Systems (AL, FB), pp. 404–419.
CAiSE-2002-LeonardiL #using: Using Business Rules in EXtreme Requirements (MCL, JCSdPL), pp. 420–435.
CAiSE-2002-MonteroDA #development #hypermedia #overview: Requirements for Hypermedia Development Methods: A Survey of Outstanding Methods (SM, PD, IA), pp. 747–751.
ICEIS-2002-Bider #modelling #process: Business Process Modeling as a Method of Requirements Engineering (IB), pp. 13–15.
ICEIS-2002-LuzuriagaMC #communication #elicitation #enterprise #network #process: Managing Enterprise Communication Networks to Improve the Requirements Elicitation Process (JML, RM, AC), pp. 770–775.
ICEIS-2002-PrikladnickiPAMP #development #distributed #process #specification: Requirements Specification Model in a Software Development Process inside a Physically Distributed Environment (RP, FP, JLNA, MdCM, AP), pp. 830–834.
ICEIS-2002-Sierra-AlonsoCMP #development #information management #process #web: Incorporating Knowledge Engineering Techniques to Requirements Capture in the MIDAS Web Applications Development Process (ASA, PC, EM, JEPM), pp. 782–787.
ICEIS-2002-Sihvonen #middleware #mobile: Profile Negotiation Requirements in a Mobile Middleware Service Environment (MS), pp. 1009–1015.
ICEIS-2002-VasiuM #design #mobile: Design Requirements for Mobile Agent Systems (LV, AM), pp. 1070–1079.
SEKE-2002-AlvesF #challenge #off the shelf #perspective: Challenges in COTS decision-making: a goal-driven requirements engineering perspective (CFA, AF), pp. 789–794.
SEKE-2002-ChungC #approach #knowledge-based: A knowledge-based COTS-aware requirements engineering approach (LC, KMLC), pp. 175–182.
SEKE-2002-DonzelliS #case study #process: Handling the knowledge acquired during the requirements engineering process: a case study (PD, RS), pp. 673–679.
SEKE-2002-El-RamlySS #interactive: Recovering software requirements from system-user interaction traces (MER, ES, PGS), pp. 447–454.
SEKE-2002-MaidantchikMS #learning: Learning organizational knowledge: an evolutionary proposal for requirements engineering (CM, MM, GS), pp. 151–157.
SEKE-2002-MoreiraAB #quality: Crosscutting quality attributes for requirements engineering (AMDM, JA, ISB), pp. 167–174.
SEKE-2002-PeriniSG #architecture #coordination #multi #specification: Coordination specification in multi-agent systems: from requirements to architecture with the Tropos methodology (AP, AS, FG), pp. 51–54.
SEKE-2002-RuheEP: Quantitative WinWin: a new method for decision support in requirements negotiation (GR, AE, DP), pp. 159–166.
RE-2002-AlvarezOP #quality #reuse: Legal Requirements Reuse: A Critical Success Factor for Requirements Quality and Personal Data Protection (JATÁ, AO, MP), pp. 95–103.
RE-2002-AntonER #privacy #taxonomy #using: Analyzing Website Privacy Requirements Using a Privacy Goal Taxonomy (AIA, JBE, AR), pp. 23–31.
RE-2002-BeeckBRS #embedded #modelling: Model Based Requirements Engineering for Embedded Software (MvdB, PB, MR, CS), pp. 92–94.
RE-2002-BergmanM #analysis #empirical: Exploring the Relationship between Project Selection and Requirements Analysis: An Empirical Study of the New Millennium Program (MB, GM), pp. 247–254.
RE-2002-Cleland-HuangCSJHX #automation #query #traceability: Automating Speculative Queries through Event-Based Requirements Traceability (JCH, CKC, GS, KJ, HH, JX), pp. 289–298.
RE-2002-CrookILN #anti #security: Security Requirements Engineering: When Anti-Requirements Hit the Fan (RC, DCI, LL, BN), pp. 203–205.
RE-2002-Cysneiros #health: Requirements Engineering in the Health Care Domain (LMC), pp. 350–356.
RE-2002-DamianZ #multi: The Impact of Stakeholders? Geographical Distribution on Managing Requirements in a Multi-Site Organization (DED, DZ), pp. 319–330.
RE-2002-Daneva #enterprise #maturity #process #using: Using Maturity Assessments to Understand the ERP Requirements Engineering Process (MD), pp. 255–262.
RE-2002-DarimontDRR: Requirements Engineering with Grail/Kaos: Tell the Requirements, All the Requirements, and Nothing Else but the Requirement (RD, ED, JLR, AR), p. 299.
RE-2002-DulacVLS #on the #specification #using #visualisation: On the Use of Visualization in Formal Requirements Specification (ND, TV, NGL, MADS), pp. 71–80.
RE-2002-DuranCCT #using #verification: Supporting Requirements Verification Using XSLT (AD, ARC, RC, MT), pp. 165–172.
RE-2002-DusireFD: Requirements Engineering — Applying Theory to Reality (SD, MF, ND), pp. 300–302.
RE-2002-Ebert #product line: Requirements Management in a Product Line Scenario (CE), p. 123.
RE-2002-FeatherM #convergence: Converging on the Optimal Attainment of Requirements (MSF, TM), pp. 263–272.
RE-2002-FeckoL #process: Improving the Requirements Engineering Process for an Electronic Clearinghouse (MAF, CML), pp. 52–60.
RE-2002-FenkamGJ #case study #validation #visual notation: Visual Requirements Validation: Case Study in a Corba-Supported Environment (PF, HCG, MJ), pp. 81–90.
RE-2002-Garcia-DuquePB #specification #using: An Analysis-Revision Cycle to Evolve Requirements Specifications by Using the SCTL-MUS Methodology (JGD, JJPA, ABBM), pp. 282–288.
RE-2002-GiesenV: Requirements Interdependencies and Stakeholders Preferences (JG, AV), pp. 206–212.
RE-2002-HallJLNR #architecture #problem #using: Relating Software Requirements and Architectures Using Problem Frames (JGH, MJ, RCL, BN, LR), pp. 137–144.
RE-2002-Hardiman #named: REDEST — 14 Best Practice SME Experiments with Innovative Requirements Gathering Techniques (SH), p. 191.
RE-2002-HardtMB #development: Integrating ECUs in Vehicles — Requirements Engineering in Series Development (MH, RM, JB), pp. 227–236.
RE-2002-HigginsLGG: Managing Product Requirements for Medical IT Products (SAH, MdL, PMCG, EMG), pp. 341–349.
RE-2002-KaiyaHS #analysis #named: AGORA: Attributed Goal-Oriented Requirements Analysis Method (HK, HH, MS), pp. 13–22.
RE-2002-KauppinenKAL #how: Introducing Requirements Engineering: How to Make a Cultural Change Happen in Practice (MK, SK, TA, LL), pp. 43–51.
RE-2002-KnethenPKH #abstraction #traceability: Systematic Requirements Recycling through Abstraction and Traceability (AvK, BP, FK, FH), pp. 273–281.
RE-2002-KongA #modelling #multi: Multi-Faceted Requirements Modeling (CK, PA), pp. 112–122.
RE-2002-KonradC #embedded: Requirements Patterns for Embedded Systems (SK, BHCC), pp. 127–136.
RE-2002-Kozaczynski #architecture #risk management: Requirements, Architectures and Risks (WK), pp. 6–7.
RE-2002-KozlenkovZ #consistency #design #question #specification: Are their Design Specifications Consistent with our Requirements? (AK, AZ), pp. 145–156.
RE-2002-LemoineF #assurance: Managing (Requirements) Evolutions of High Assurance Systems (ML, JF), p. 91.
RE-2002-LloydRA #distributed #effectiveness #elicitation: Effectiveness of Elicitation Techniques in Distributed Requirements Engineering (WJL, MBR, JDA), pp. 311–318.
RE-2002-NawrockiJWW #programming: Extreme Programming Modified: Embrace Requirements Engineering Practices (JRN, MJ, BW, AW), pp. 303–310.
RE-2002-RashidSMA #aspect-oriented: Early Aspects: A Model for Aspect-Oriented Requirements Engineerin (AR, PS, AMDM, JA), pp. 199–202.
RE-2002-SutcliffG #functional #validation: Validating Functional System Requirements with Scenarios (AGS, AG), pp. 181–190.
RE-2002-VickersMM #how #question: Requirements Engineering: How Do You Know How Good You Are? (AV, AM, HM), pp. 194–198.
RE-2002-WeberW #case study #challenge #development #experience: Requirements Engineering in Automotive Development — Experiences and Challenges (MW, JW), pp. 331–340.
ASE-2002-EgyedG #automation #paradigm #traceability: Automating Requirements Traceability: Beyond the Record & Replay Paradigm (AE, PG), pp. 163–171.
ASE-2002-MartinezESP #approach #prototype #user interface: From Early Requirements to User Interface Prototyping: A Methodological Approach (AM, HE, JS, OP), pp. 257–260.
ASE-2002-TanL #design #object-oriented: Systematic Bridging the Gap between Requirements and OO Design (HBKT, WL), pp. 249–252.
ICSE-2002-CysneirosL #elicitation #modelling #non-functional: Non-functional requirements: from elicitation to modelling languages (LMC, JCSdPL), pp. 699–700.
ICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #static analysis: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
ICSE-2002-LetierL: Agent-based tactics for goal-oriented requirements elaboration (EL, AvL), pp. 83–93.
ICSE-2002-Silva #approach #specification: Requirements, domain and specifications: a viewpoint-based approach to requirements engineering (AS), pp. 94–104.
ICSE-2002-ZimmermanLL #readability #specification: Investigating the readability of state-based formal requirements specification languages (MKZ, KL, NGL), pp. 33–43.
SAC-2002-El-Ansary #analysis #behaviour #representation #towards: Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events (AEA), pp. 984–991.
SAC-2002-GurrH #modelling: Modelling organisational practice in user requirements (CAG, GH), pp. 716–720.
SAC-2002-Lee #modelling: Proxy Viewpoints Model-based Requirements engineering (SWL), pp. 1004–1008.
SAC-2002-LeeB #automation #documentation #object-oriented #specification: Automated conversion from requirements documentation to an object-oriented formal specification language (BSL, BRB), pp. 932–936.
HPDC-2002-KenyonC #architecture #grid: Architecture Requirements for Commercializing Grid Resources (CK, GC), pp. 215–224.
FASE-2002-HahnleJR #authoring #specification: An Authoring Tool for Informal and Formal Requirements Specifications (RH, KJ, AR), pp. 233–248.
FASE-2002-NonnengartRS #modelling #using: Formal Requirements Engineering Using Observer Models (AN, GR, WS), pp. 264–278.
TACAS-2002-KimSC #functional #specification #using #verification: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS (TK, DWJSC, SDC), pp. 205–220.
ICLP-2002-RussoMNK #abduction #approach #specification: An Abductive Approach for Analysing Event-Based Requirements Specifications (AR, RM, BN, JK), pp. 22–37.
DocEng-2001-SalminenT #database #documentation #xml: Requirements for XML document database systems (AS, FWT), pp. 85–94.
ITiCSE-2001-Filho #development #education #process: Requirements for an educational software development process (WPPF), pp. 65–68.
ICSM-2001-ONealC: Analyzing the Impact of Changing Requirements (JSO, DLC), p. 190–?.
ICSM-2001-Schneidewind #maintenance #reliability: Investigation of the Risk to Software Reliability and Maintainability of Requirements Changes (NFS), p. 127–?.
CAiSE-2001-DiazPF #approach #user interface: From User Requirements to User Interfaces: A Methodological Approach (JSD, OP, JJF), pp. 60–75.
EDOC-2001-QiangTSJC: A Web-Based Material Requirements Planning Integrated Application (QL, CKT, YSW, JW, CC), pp. 14–21.
ICEIS-v2-2001-Dawson #formal method #modelling #object-oriented: The Use of Formal and Informal Models in Object-Oriented Requirements Engineering (LD), pp. 753–760.
ICEIS-v2-2001-Dawson01a #case study #specification: Template-Based Requirements Specification: A Case Study (LD), pp. 864–868.
ICEIS-v2-2001-EckW #information management: An Investigation into Agency Requirements in E-Business Information Systems (PvE, RW), pp. 1081–1085.
SEKE-2001-Davis #re-engineering: Requirements Triage: The Most Important Part of Software Engineering… and the Most Ignored (AD), p. 275.
SEKE-2001-JarzabekOZ #modelling: Handling Variant Requirements in 9omain Modeling (SJ, WCO, HZ), pp. 61–68.
SEKE-2001-MorenoS #classification #detection: A Method for Detection, Classification and Resolution of Discrepancies in Viewpoint-based Requirements Engineering (AMM, AS), pp. 110–119.
SEKE-2001-Perez-MartinezS #case study #information management: Application of Knowledge Acquisition Techniques to Requirements Capture: A Case Study (JEPM, ASA), pp. 53–60.
TOOLS-USA-2001-HeSH #multi #refinement #standard: Extensions of Standard Z Refinement Relation for Multiple Viewpoints Oriented Requirements Method (YH, QS, QH), pp. 253–262.
AdaEurope-2001-Lamsweerde #modelling #reliability: Building Formal Requirements Models for Reliable Software (AvL), pp. 1–20.
RE-2001-AllenbyK #safety #using: Deriving Safety Requirements Using Scenarios (KA, TK), pp. 228–235.
RE-2001-AntonEAP #policy #privacy: The Role of Policy and Stakeholder Privacy Values in Requirements Engineering (AIA, JBE, TAA, CP), pp. 138–145.
RE-2001-CarlshamreSLRD #industrial #overview #release planning: An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin (PC, KS, ML, BR, JNoD), pp. 84–93.
RE-2001-CarterAWD #evolution #prototype: Evolving Beyond Requirements Creep: A Risk-Based Evolutionary Prototyping Model (RAC, AIA, LAW, AD), pp. 94–101.
RE-2001-CastroMAF #modelling #object-oriented: Integrating Organizational Requirements and Object Oriented Modeling (JC, JM, FMRA, GACF), pp. 146–153.
RE-2001-ChengC #analysis #formal method #modelling: Integrating Informal and Formal Approaches to Requirements Modeling and Analysis (BHCC, LAC), pp. 294–295.
RE-2001-DamianSEGW #distributed #empirical: An Empirical Study of Facilitation of Computer-Mediated Distributed Requirements Negotiations (DED, MLGS, AE, BRG, JBW), pp. 128–137.
RE-2001-DelugachL #concept #graph: Acquiring Software Requirements As Conceptual Graphs (HSD, BEL), pp. 296–297.
RE-2001-DorfmanC #experience #industrial #traceability: Early Experience with Requirements Traceability in an Industrial Environment (MD, RC), p. 265.
RE-2001-Faulk #approach #case study #product line #specification: Product-Line Requirements Specification (PRS): An Approach and Case Study (SRF), pp. 48–55.
RE-2001-FuxmanMPT #model checking #specification: Model Checking Early Requirements Specifications in Tropos (AF, JM, MP, PT), pp. 174–181.
RE-2001-GansJKLEFM #approach #modelling #network #trust: Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach (GG, MJ, SK, GL, LE, CF, MM), pp. 154–165.
RE-2001-GobboM #case study #fault tolerance #re-engineering #specification: Re-Engineering Fault Tolerance Requirements: A Case Study in Specifying Fault Tolerant Flight Control Systems (DDG, AM), pp. 236–247.
RE-2001-Greenspan #question #what: Extreme RE: What If There Is No Time for Requirements Engineering? (SJG), pp. 282–285.
RE-2001-GrunbacherEM #approach #architecture: Reconciling Software Requirements and Architectures: The CBSP Approach (PG, AE, NM), pp. 202–211.
RE-2001-Hall #approach: A Unified Approach to Systems and Software Requirements (AH), p. 267.
RE-2001-Hooks #what: What Happens With Good Requirements Practices (IH), p. 268.
RE-2001-InOR #analysis #modelling #multi: A Requirements Negotiation Model Based on Multi-Criteria Analysis (HI, DO, TR), pp. 312–313.
RE-2001-JarzabekZ #domain model #modelling #xml: XML-Based Method and Tool for Handling Variant Requirements in Domain Models (SJ, HZ), pp. 166–173.
RE-2001-JeffordsH #algorithm #invariant #specification: An Algorithm for Strengthening State Invariants Generated from Requirements Specifications (RDJ, CLH), pp. 182–193.
RE-2001-Kaindl: Adoption of Requirements Engineering: Conditions for Success (HK), p. 270.
RE-2001-KiedaischPWBO #quality #specification: Requirements Archaeology: From Unstructured Information to High Quality Specifications (FK, MP, JW, SB, SO), pp. 304–305.
RE-2001-Kohl #process: Changes in the Requirements Engineering Processes for COTS-Based Systems (RK), p. 271.
RE-2001-Lamsweerde: Goal-Oriented Requirements Engineering: A Guided Tour (AvL), p. 249.
RE-2001-Lawrence: Rethinking Requirements (BL), p. 273.
RE-2001-Lowry #question #synthesis: Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic? (MRL), pp. 12–13.
RE-2001-LutzM #evolution #safety: Evolution of Safety-Critical Requirements Post-Launch (RRL, ICM), pp. 222–227.
RE-2001-Miller #process: Business Implications on the Requirements Process (BM), p. 274.
RE-2001-MooreS #elicitation #using #visual notation: Requirements Elicitation Using Visual and Textual Information (JMM, FMSI), pp. 308–309.
RE-2001-Parnas #documentation: Systematic Documentation of Requirements (DLP), p. 248.
RE-2001-Perez-MinanaKA #product line: Empowering Requirements for a Product Family (EPM, PK, PA), pp. 302–303.
RE-2001-RollandP #enterprise: Matching ERP System Functionality to Customer Requirements (CR, NP), pp. 66–75.
RE-2001-Rosenburg: Requirements Management at NASA (LR), p. 275.
RE-2001-SavolainenK #consistency #product line: Consistency Management of Product Line Requirements (JS, JK), pp. 40–47.
RE-2001-SmithHE #constraints #editing #logic #source code #visual notation: Events and Constraints: A Graphical Editor for Capturing Logic Requirements of Programs (MHS, GJH, KE), pp. 14–22.
RE-2001-Sutcliffe #collaboration: Requirements Engineering for Complex Collaborative Systems (AGS), pp. 110–119.
RE-2001-WesselsD #question #what: What Happens before Requirements Engineering? (BW, JED), pp. 298–299.
RE-2001-Wile #architecture: Residual Requirements and Architectural Residue (DSW), pp. 194–201.
RE-2001-WinterDC #modelling #validation: Virtual Environment Modeling for Requirements Validation of High Consequence Systems (VLW, DD, BC), pp. 23–30.
RE-2001-Zave #evolution #perspective: Requirements for Evolving Systems: A Telecommunications Perspective (PZ), pp. 2–9.
ASE-2001-GarcezRNK #specification: An Analysis-Revision Cycle to Evolve Requirements Specifications (ASdG, AR, BN, JK), pp. 354–358.
ASE-2001-HallinGB #off the shelf: Tailoring a COTS Group Support System for Software Requirements Inspection (MH, PG, SB), p. 201–?.
ASE-2001-Lee #automation #documentation #execution #specification: Automated Conversion from a Requirements Document to an Executable Formal Specification (BSL), p. 437.
ESEC-FSE-2001-GrunbacherB #named: EasyWinWin: a groupware-supported methodology for requirements negotiation (PG, BWB), pp. 320–321.
ICSE-2001-AmyotM #case study #design: Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) (DA, GM), pp. 743–744.
ICSE-2001-BoehmGB #named: EasyWinWin: A Groupware-Supported Nethodology for Requirements Negotiation (BWB, PG, ROB), pp. 720–721.
ICSE-2001-CastroK #architecture: From Software Requirements to Architectures (JC, JK), pp. 764–765.
ICSE-2001-InBRD #case study #quality: Applying WinWin to Quality Requirements: A Case Study (HI, BWB, TLR, MD), pp. 555–564.
ICSE-2001-MenziesPH #analysis #diagrams #formal method #performance: Fast Formal Analysis of Requirements via “Topoi Diagrams” (TM, JDP, MEH), pp. 391–400.
DAC-2001-RamanujamHKN #embedded #memory management: Reducing Memory Requirements of Nested Loops for Embedded Systems (JR, JH, MTK, AN), pp. 359–364.
DATE-2001-LechnerRH #comprehension #towards: Towards a better understanding of failure modes and test requirements of ADCs (AL, AR, BH), p. 803.
DATE-2001-PaulinKB #architecture #embedded #network #tool support: Network processors: a perspective on market requirements, processor architectures and embedded S/W tools (PGP, FK, PB), pp. 420–429.
IWPC-2000-AntoniolCLCM #functional #object-oriented: Tracing Object-Oriented Code into Functional Requirements (GA, GC, ADL, GC, EM), pp. 79–86.
IWPC-2000-Normark #programming: Requirements for an Elucidative Programming Environment (KN), pp. 119–128.
CHI-2000-BouchKB #internet #quality: Quality is in the eye of the beholder: meeting users’ requirements for Internet quality of service (AB, AK, NTB), pp. 297–304.
CAiSE-2000-Daneva #enterprise #metric #reuse: Practical Reuse Measurement in ERP Requirements Engineering (MD), pp. 309–324.
ICEIS-2000-Cheng #e-commerce #modelling #realtime: E-Commerce and Its Real-Time Requirements: Modelling E-Commerce as a Real-Time System (AMKC), p. III-VIII.
ICEIS-2000-ChesneyF #modelling: Increasing End User Involvement in Requirements Modelling in Small Organisations (TC, HF), pp. 248–252.
ICEIS-2000-DawsonA #case study: Facilitating a User Performed Requirements Analysis-A Case Study (RD, AAZ), pp. 525–526.
ICEIS-2000-DawsonS #lazy evaluation #specification #using: Requirements Specification for Electronic Services Delivery Applications Using “Lazy Dog” Templates (LD, AS), pp. 261–266.
ICEIS-2000-DietzB #modelling #petri net #process: Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.
ICEIS-2000-Stamper #social: Information Requirements are Human, Computers only Machines: Measur’s Rigorous Methods Based on Social Norms (RKS), p. XXVII-XXX.
SPLC-2000-Bockle #modelling #product line: Model-based requirements engineering for product lines (GB), pp. 193–204.
TOOLS-EUROPE-2000-Graham #case study #generative: Requirements Engineering: Use Cases Are from Mars, Generative Languages are from Venus (IMG), p. 4.
TOOLS-PACIFIC-2000-SindreO #case study #elicitation #security: Eliciting Security Requirements by Misuse Cases (GS, ALO), pp. 120–131.
TOOLS-USA-2000-Boldt #approach #object-oriented: Requirements Management: An Object-Oriented Approach (LB), pp. 431–432.
ICRE-2000-AlcazarM #analysis #framework #process #specification: A Process Framework for Requirements Analysis and Specification (EGA, AM), p. 27–?.
ICRE-2000-AntonA #certification #what: What Do You Mean I’ve Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (AIA, JMA), p. 151.
ICRE-2000-BaumBGM #component #design #reuse #using: Mapping Requirements to Reusable Components Using Design Spaces (LB, MB, LG, GM), pp. 159–167.
ICRE-2000-DamianESG #communication #performance: The Effects of Communication Media on Group Performance in Requirements Engineering (DED, AE, MLGS, BRG), p. 191.
ICRE-2000-Daneva #metric #reuse: Establishing Reuse Measurement Practices in SAP Requirements Engineering (MD), pp. 168–177.
ICRE-2000-DayJ #analysis #framework #multi #specification: A Framework for Multi-Notation Requirements Specification and Analysis (NAD, JJJ), pp. 39–48.
ICRE-2000-FeatherCG #interactive #scalability: Scalable Mechanisms for Requirements Interaction Management (MSF, SLC, MG), pp. 119–129.
ICRE-2000-Gause #question #what: Requirements Engineering: What Have We Accomplished? Where Are We Now? Where Are We Going? (DCG), pp. 195–196.
ICRE-2000-GervasiN #case study #lightweight #natural language #validation: Lightweight Validation of Natural Language Requirements: A Case Study (VG, BN), pp. 140–149.
ICRE-2000-Greenspan #question #why: Why is it so Easy to Introduce Requirements Engineering Technology Transfer Panels into Mainstream Practice? (SJG), pp. 69–70.
ICRE-2000-GunterGJZ: A Reference Model for Requirements and Specifications-Extended Abstract (CAG, ELG, MJ, PZ), p. 189.
ICRE-2000-Heitmeyer #research: Transferring Research Results in Requirements to Practice: Obstacles and Incentives (CLH), pp. 71–72.
ICRE-2000-HorlA #communication #validation: Requirements Validation of a Voice Communication System Used in Air Traffic Control (JH, BKA), p. 190.
ICRE-2000-HubbardSM #assessment #performance #process: An Assessment of the Relative Efficiency of a Facilitator-Driven Requirements Collection Process with Respect to the Conventional Interview Method (RH, CNS, NRM), pp. 178–188.
ICRE-2000-Kaindl #question #research #why: Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? (HK), pp. 67–68.
ICRE-2000-LavazzaV #metric #modelling #process: Enhancing Requirements and Change Management through Process Modeling and Measurement (LL, GV), pp. 106–118.
ICRE-2000-Mead #question #research #why: Why is it so Difficult to Introduce Requirements Engineering Research Results into Mainstream Requirements Engineering Practice? (NRM), pp. 75–76.
ICRE-2000-Mead00a #certification #what: What Do You Mean I’m Practicing without a License? Certification and Licensing of Requirements Engineering Professionals (NRM), p. 152.
ICRE-2000-NguyenS #complexity #modelling: Essential and Incidental Complexity in Requirements Models (LN, PAS), pp. 130–139.
ICRE-2000-Parnas #documentation #why: Requirements Documentation: Why a Formal Basis is Essential (DLP), pp. 81–84.
ASE-2000-MooreS #comparison: A Comparison of Questionnaire-Based and GUI-Based Requirements Gathering (JMM, FMSI), pp. 35–44.
FoSE-2000-NuseibehE #roadmap: Requirements engineering: a roadmap (BN, SME), pp. 35–46.
ICSE-2000-KuuselaS #product line: Requirements engineering for product families (JK, JS), pp. 61–69.
ICSE-2000-Lamsweerde #perspective #research: Requirements engineering in the year 00: a research perspective (AvL), pp. 5–19.
ICSE-2000-Rausch #component #contract #evolution #using: Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.
SAC-2000-Mourlas #distributed #framework #game studies #information management #multi: A Framework for Creating and Playing Distributed Multimedia Information Systems with QoS Requirements (CM), pp. 598–600.
SAC-2000-WiilH #development #hypermedia #library: Requirements for Development of Hypermedia Technology for a Digital Library Supporting Scholarly Work (UKW, DLH), pp. 607–609.
PDP-2000-BrzezinskiW #algorithm #consistency #distributed #memory management: Consistency requirements of distributed shared memory for Lamport’s bakery algorithm for mutual exclusion (JB, DW), pp. 220–226.
WICSA-1999-ChungGY #architecture #design: Architectural Design to Meet Stakeholder Requirements (LC, DG, ESKY), pp. 545–564.
ITiCSE-1999-Campos #distance #education #effectiveness: Minimum requirements for effective distance teaching systems (GLdC), p. 182.
ITiCSE-1999-WryczaUGV #challenge #development #education: The challenges and directions of MIS curriculum development in respect of transformation of business requirements (SW, TWU, AG, BV), pp. 177–178.
CSMR-1999-LamLS #metric #using: Managing Requirements Change Using Metrics and Action Planning (WL, ML, VS), pp. 122–129.
ICSM-1999-LiuAQ #behaviour #legacy #modelling: Requirements Recovery from Legacy Systems by Analyzing and Modelling Behavior (KL, AA, ZQ), pp. 3–12.
FM-v2-1999-Droschl #data access #using: Analyzing the Requirements of an Access Control Using VDMTools and PVS (GD), p. 1870.
FM-v2-1999-PoizatCR #approach #automaton #concurrent: From Informal Requirements to COOP: A Concurrent Automata Approach (PP, CC, JCR), pp. 939–962.
IFM-1999-GibsonHM #integration #problem: Integration Problems in Telephone Feature Requirements (JPG, GWH, DM), pp. 129–148.
IFM-1999-Mery #automaton: Requirements for a Temporal B — Assigning Temporal Meaning to Abstract Machines... and to Abstract Systems (DM), pp. 395–414.
HCI-CCAD-1999-Burmester #design #people #user interface: Consumer electronics user interfaces for all. Design on the basis of the special requirements of elderly people (MB), pp. 942–946.
HCI-CCAD-1999-HedmanL #community #human-computer: Orientation versus accomodation — new requirements for the HCI of digital communities (AH, SL), pp. 457–461.
HCI-CCAD-1999-Honold #elicitation: Focus groups: A qualitative method to elicit culture-specific user requirements (PH), pp. 3–7.
HCI-CCAD-1999-KaasinenAL: Defining user requirements for WAP services (EK, MA, TL), pp. 33–37.
HCI-EI-1999-Dzida #quality #testing: Developing Scenario-Based Requirements and Testing them for Minimum Quality (WD), pp. 1205–1208.
HCI-EI-1999-Freitag #prototype #usability: The Symbiosis of Scenarios and Prototypes in Usability Requirements Engineering (RF), pp. 1209–1212.
HCI-EI-1999-HosonoIT #evaluation: Sensory Evaluation Method for Determining Portable Information Terminal Requirements for Nursing Care Applications (NH, HI, YT), pp. 953–957.
HCI-EI-1999-RavidB #prototype #user interface: A Method for Extracting Requirements that a User Interface Prototype Contains (AR, DMB), pp. 900–904.
HCI-EI-1999-TokudaMTL #analysis #development #user interface: A New Integrated Support Environment for Requirements Analysis of User Interface Development (YT, TM, YT, ESL), pp. 895–899.
ICEIS-1999-BarberGJS #evolution #reuse: Increasing Opportunities for Reuse Through Tool and Methodology Support for Enterprise-Wide Requirements Reuse and Evolution (KSB, TJG, SRJ, JS), pp. 383–390.
ICEIS-1999-Whymark #using: Using Criticality as a Basis for Determining Information Requirements for an EIS (GKW), pp. 542–549.
ICML-1999-ZhouB #algorithm #approach #hybrid #learning #memory management #parametricity: A Hybrid Lazy-Eager Approach to Reducing the Computation and Memory Requirements of Local Parametric Learning Algorithms (YZ, CEB), p. 503–?.
SEKE-1999-BroomeR #experience #implementation: Technical Requirements for the Implementation of an Experience Base (MB, PR), pp. 87–102.
OOPSLA-1999-ClarkeHOT #design #towards: Subject-Oriented Design: Towards Improved Alignment of Requirements, Design, and Code (SC, WHH, HO, PLT), pp. 325–339.
OOPSLA-1999-France #analysis #concept #modelling #problem #uml: A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts (RBF), pp. 57–69.
TOOLS-ASIA-1999-LuZL #modelling #object-oriented #uml: Object-Oriented Requirements Modeling Based on UML (ML, XZ, ML), p. 133–?.
TOOLS-EUROPE-1999-Collins-Cope #analysis #approach #case study #interface: The Requirements/Service/Interface (RSI) Approach to Use Case Analysis (MCC), pp. 172–183.
PADL-1999-LetelierSR #automation #concurrent #logic programming #prototype #specification: Prototyping a Requirements Specification through an Automatically Generated Concurrent Logic Program (PL, PS, IR), pp. 31–45.
SIGAda-1999-Carpenter #verification: Verification of requirements for saftey-critical software (PBC), pp. 23–29.
RE-1999-AmyotLBG #case study #distributed #validation: Use Case Maps for the Capture and Validation of Distributed Systems Requirements (DA, LL, RJAB, TG), p. 44–?.
RE-1999-BoehmAPKL: Requirements Engineering, Expectations Management, and the Two Cultures (BWB, MAA, DP, JK, AL), pp. 14–22.
RE-1999-Brinkkemper #development #enterprise: RE for ERP: Requirements Management for the Development of Packaged Software Baan Company (SB), p. 159–?.
RE-1999-CysneirosL #modelling #non-functional: Integrating Non-Functional Requirements into Data Modeling (LMC, JCSdPL), pp. 162–171.
RE-1999-Grundy #aspect-oriented #component: Aspect-Oriented Requirements Engineering for Component-Based Software Systems (JCG), pp. 84–91.
RE-1999-Jacobs #case study #quality: Introducing Measurable Quality Requirements: A Case Study (SJ), pp. 172–179.
RE-1999-Jarke: Cooperative Requirements Engineering with Scenarios (MJ), p. 111–?.
RE-1999-MenziesENW #empirical #multi #reasoning: An Empirical Investigation of Multiple Viewpoint Reasoning in Requirements Engineering (TM, SME, BN, SW), p. 100–?.
RE-1999-NcubeM #off the shelf #parallel: Guidance for Parallel Requirements Acquisition and COTS Software Selection (CN, NAMM), p. 133–?.
RE-1999-Potts #named: ScenIC: A Strategy for Inquiry-Driven Requirements Determination (CP), pp. 58–65.
RE-1999-Potts99a #design: From “Requirements Engineering” to “Design for Usefulness” (CP), p. 189–?.
RE-1999-RollandGK #experience: Experience with Goal-Scenario Coupling in Requirements Engineering (CR, GG, RK), p. 74–?.
RE-1999-Spence #case study #process #uml: Requirements, Use Cases, the UML and The Rational Unified Process (IS), p. 3–?.
RE-1999-SutcliffeGM #fault: Human Errors and System Requirements (AGS, JRG, SM), p. 23–?.
RE-1999-VillerS #analysis #process #social: Social Analysis in the Requirements Engineering Process: From Ethnography to Method (SV, IS), pp. 6–13.
ASE-1999-MartinsD #approach #elicitation #process #using: An Approach to Software Requirements Elicitation Using the Precepts from Activity Theory (LEGM, BMD), pp. 15–23.
ESEC-FSE-1999-GargantiniH #model checking #specification #testing #using: Using Model Checking to Generate Tests from Requirements Specifications (AG, CLH), pp. 146–162.
ICSE-1999-Easterbrook #validation #verification: Verification and Validation of Requirements for Mission Critical Systems (SME), pp. 673–674.
ICSE-1999-Hantos: A Systems Engineering View of Requirements Management for Software-Intensive Systems (PH), pp. 620–621.
ICSE-1999-HorowitzLL #named: WinWin: A System for Negotiating Requirements (EH, JHL, JSL), pp. 646–649.
ICSE-1999-MannionKW #product line #reuse: Reusing Single System Requirements from Application Family Requirements (MM, HK, JW), pp. 453–462.
STOC-1999-AndrewsZ: Packet Routing with Arbitrary End-to-End Delay Requirements (MA, LZ), pp. 557–565.
IWTCS-1999-ArtychB #concept #consistency #tool support: External Conformance Requirements: Concepts, Methods and Tools (RA, KMB), pp. 363–378.
ECDL-1998-FaensenHS #library #question: Alerting in a Digital Library Environment: Do Channels Meet the Requirements? (DF, AH, HS), pp. 643–644.
ECDL-1998-KenneySB: Illustrated Bood Study: Digital Conversion Requirements of Printed Illustrations (ARK, LHSI, BB), pp. 279–293.
CSMR-1998-LamL #approach #evolution: Requirements Evolution in the Midst of Environmental Change: A Managed Approach (WL, ML), pp. 121–127.
WCRE-1998-BlahaLM #repository: Requirements for Repository Software (MRB, DL, EM), pp. 164–173.
WCRE-1998-KazmanWC #architecture #modelling #re-engineering: Requirements for Integrating Software Architecture and Reengineering Models: CORUM II (RK, SSW, SJC), pp. 154–163.
CSCW-1998-PycockPAB #representation: Representing Fieldwork and Articulating Requirements Through VR (JP, KP, JA, GB), pp. 383–392.
ICML-1998-McCluskeyW #case study #using #validation: A Case Study in the Use of Theory Revision in Requirements Validation (TLM, MMW), pp. 368–376.
KR-1998-Morik #how: How to Tailor Representations to Different Requirements (KM), p. 650.
AdaEurope-1998-LewisVM #distributed: Modern Avionics Requirements for the Distributed Systems Annex (BAL, SV, DJM), pp. 201–212.
ICRE-1998-ForsgrenD #case study #experience #industrial: Requirements Engineering In Control Center Procurement Projects Practical Experiences from the Power Industry (PF, AD), pp. 224–232.
ICRE-1998-FowlerCM #empirical: Transition Packages: An Experiment in Expediting the Introduction of Requirements Management (PJF, ADC, BM), p. 138–?.
ICRE-1998-GaskaG #approach #process: An Approach for Cross-Discipline Requirements Engineering Process Patterns (MTG, DCG), pp. 182–189.
ICRE-1998-HaglindJR #analysis #case study #empirical #experience: Experiences Integrating Requirements Engineering and Business Analysis An Empirical Study of Operations & Management System Procurement Projects (MH, LJ, MR), pp. 108–117.
ICRE-1998-HammerH #automation #case study #experience #how #tool support: Automated Requirements Management — Beware HOW You Use Tools: An Experience Report (TH, LH), pp. 34–40.
ICRE-1998-KaindlKK #case study #functional #using: A Case Study of Decomposing Functional Requirements Using Scenarios (HK, SK, RK), pp. 156–163.
ICRE-1998-LecoeucheMR #elicitation #framework: A Framework for Requirements Elicitation through Mixed-Initiative Dialogue (RL, CM, DSR), p. 190–?.
ICRE-1998-Linger: Issues in Requirements Definition for Survivable Systems (RCL), p. 198–?.
ICRE-1998-LingerML #network: Requirements Definition for Survivable Network Systems (RCL, NRM, HFL), pp. 14–23.
ICRE-1998-LoomesJ: Requirements Engineering: A Perspective Through Theory-Building (ML, SJ), pp. 100–107.
ICRE-1998-LutzHMST #analysis #product line #safety: Safety Analysis of Requirements for a Product Family (RRL, GGH, MMM, DES, SRT), p. 24–?.
ICRE-1998-Macaulay: The Role of the Facilitator in Requirements Engineering (LAM), pp. 244–247.
ICRE-1998-MaidenN #off the shelf: Acquiring COTS Software Selection Requirements (NAMM, CN), p. 241–?.
ICRE-1998-MayrK #concept #design: Conceptual Predesign — Bridging the Gap between Requirements and Conceptual Design (HCM, CK), p. 90–?.
ICRE-1998-MillardLT #elicitation #game studies #using: Child’s Play: Using Techniques Developed to Elicit Requirements from Children with Adults (NM, PL, KT), pp. 66–73.
ICRE-1998-MorrisMW #industrial: Requirements Engineering and Industrial Uptake (PM, MM, MW), pp. 130–137.
ICRE-1998-RobinsonP #documentation #interactive: Surfacing Root Requirements Interactions from Inquiry Cycle Requirements Documents (WNR, SDP), pp. 82–89.
ICRE-1998-RussoNK #case study #consistency #nondeterminism #specification: Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study (AR, BN, JK), p. 51–?.
ICRE-1998-SchneiderECH #fault tolerance #model checking #using #validation: Validating Requirements for Fault Tolerant Systems using Model Checking (FS, SME, JRC, GJH), pp. 4–13.
ICRE-1998-Smith #framework #quality #using: Using a Quality Model Framework to Strengthen the Requirements (RCS), p. 118–?.
ICRE-1998-SommervilleSV #approach #elicitation: Viewpoints for Requirements Elicitation: A Practical Approach (IS, PS, SV), pp. 74–81.
ICRE-1998-SongHMS #lessons learnt: Lessons Learned from Building a Web-Based Requirements Tracing System (XS, WMH, GM, WS), pp. 41–50.
ICRE-1998-SutcliffeR #analysis #experience: Experience with SCRAM, a SCenario Requirements Analysis Method (AGS, MR), p. 164–?.
REFSQ-1998-CastellH #modelling: The Software Requirement Modelling in SAREL (NC, ÀH), pp. 49–56.
REFSQ-1998-Deifel #off the shelf: Requirements Engineering for Complex COTS (BD), pp. 63–67.
REFSQ-1998-FabbriniFGGR #natural language #on the #quality: On Linguistic Quality of Natural Language Requirements (FF, MF, VG, SG, SR), pp. 57–62.
REFSQ-1998-GoldkuhlA #information management: Action Within Information Systems: Outline of a Requirements Engineering Method (GG, PJÅ), pp. 133–153.
REFSQ-1998-LamSJ #set: Managing Requirements Change: A Set of Good Practices (WL, VS, SJ), pp. 85–97.
REFSQ-1998-Landes #quality: Requirements Engineering for Quality Requirements (DL), pp. 185–186.
REFSQ-1998-LauesenY #usability: Six Styles for Usability Requirements (SL, HY), pp. 155–166.
REFSQ-1998-MaidenCPM #validation: CREWS Validation Frames: Patterns for Validating Systems Requirements (NAMM, MC, HP, DM), pp. 167–178.
REFSQ-1998-MaseraM #challenge #embedded: Dependable Embedded Systems: The Challenges for Requirements Engineering (MM, PM), pp. 187–192.
REFSQ-1998-RegnellR #testing #verification: Combining Scenario-based Requirements with Static Verification and Dynamic Testing (BR, PR), pp. 195–206.
REFSQ-1998-Salo #development #process: Requirements for Groupware-Supported Requirements Process in New Product Development (AS), pp. 99–112.
REFSQ-1998-SantosC #social: The Structural, Social, Political and Symbolic Dimensions of Computer-Based Systems Requirements (IS, JAC), pp. 121–129.
REFSQ-1998-SawyerSV #process: Improving the Requirements Process (PS, IS, SV), pp. 71–84.
REFSQ-1998-SutcliffeM #analysis #non-functional: Scenario-based Analysis of Non-Functional Requirements (AGS, SM), pp. 219–233.
REFSQ-1998-YuM #why: Why Goal-Oriented Requirements Engineering (ESKY, JM), pp. 15–22.
ASE-1998-CzernyH #analysis #automation: Automated Integrative Analysis of State-based Requirements (BJC, MPEH), p. 125–?.
ASE-1998-HazelST #animation #specification #using #verification: Requirements Engineering and Verification using Specification Animation (DH, PAS, OT), pp. 302–305.
ASE-1998-McCluskeyW #automation #debugging #maintenance #modelling #towards: Towards the Automated Debugging and Maintenance of Logic-based Requirements Models (TLM, MMW), pp. 105–114.
FSE-1998-JeffordsH #automation #generative #invariant #specification: Automatic Generation of State Invariants from Requirements Specifications (RDJ, CLH), pp. 56–69.
ICSE-1998-AntonP #evolution #using: The Use of Goals to Surface Requirements for Evolving Systems (AIA, CP), pp. 157–166.
ICSE-1998-BoehmE #lessons learnt: Software Requirements Negotiation: Some Lessons Learned (BWB, AE), pp. 503–506.
ICSE-1998-LamsweerdeL: Integrating Obstacles in Goal-Driven Requirements Engineering (AvL, EL), pp. 53–62.
FASE-1998-Dubois #formal method #named #tool support: ALBERT: A Formal Language and Its Supporting Tools for Requirements Engineering (ED), pp. 322–325.
CAV-1998-HeitmeyerKLB #specification #tool support: SCR*: A Toolset for Specifying and Analyzing Software Requirements (CLH, JK, BGL, RB), pp. 526–531.
ISSTA-1998-ChanABN #model checking #performance: Improving Efficiency of Symbolic Model Checking for State-Based System Requirements (WC, RJA, PB, DN), pp. 102–112.
ICDAR-1997-MiyamotoISNT #analysis #documentation: Analysis of required elements for next-generation document reader on the basis of user requirements (TM, YI, KS, TN, YT), pp. 428–432.
WCRE-1997-BurdM #legacy #non-functional #re-engineering: The Implications of Non-Functional Requirements for the Reengineering of Legacy Code (EB, MM), p. 215–?.
ICSM-2000-EmamHM #analysis #process #scalability: Causal Analysis of the Requirements Change Process for a Large System (KEE, DH, NHM), pp. 214–221.
FME-1997-Kleuker #diagrams #distributed #formal method: Formalizing Requirements for Distributed Systems with Trace Diagrams (SK), pp. 102–121.
CHI-1997-ChinRC #analysis #development: Participatory Analysis: Shared Development of Requirements from Scenarios (GCJ, MBR, JMC), pp. 162–169.
CHI-1997-CobleKK #development #maintenance: Maintaining a Focus on User Requirements Throughout the Development of Clinical Workstation Software (JMC, JK, MGK), pp. 170–177.
HCI-CC-1997-Kjuus #design #health: Field Studies of Possible Health Effects Related to VDU Work-Epidemiological Design Options and Requirements (MDHK), pp. 627–630.
HCI-SEC-1997-JackoD #analysis #interface: Interface Requirements: An Analysis of Technologies Designed for Individual and Group Work (JAJ, VGD), pp. 347–350.
HCI-SEC-1997-MacLeodMK #analysis #comprehension #human-computer: Understanding HCI Requirements: Expertise and Assistance to Imagery Analysis (ISM, AJM, EK), pp. 559–562.
HCI-SEC-1997-StytzBKRV #design #interface: Requirements and Design of the Information Pod Interface (MRS, SBB, JJK, JJR, JV), pp. 941–944.
HCI-SEC-1997-Taylor97a: Human Electronic Crew Teamwork: Cognitive Requirements for Compatibility and Control with Dynamic Function Allocation (RMT), pp. 247–250.
CAiSE-1997-FilippidouL #approach #using #validation: Using Scenarios to Validate Requirements in a Plausibility Centred Approach (DF, PL), pp. 47–60.
CAiSE-1997-WieringaDH: Integrating Semi-formal and Formal Requirements (RW, ED, SH), pp. 19–32.
EDOC-1997-ThissenLL #corba #data transfer #enterprise #industrial #question: Can CORBA Fulfill Data Transfer Requirements of Industrial Enterprises? (DT, CLP, SL), p. 129–?.
ECOOP-1997-Puntigam #coordination: Coordination Requirements Expressed in Types for Active Objects (FP), pp. 367–388.
TOOLS-PACIFIC-1997-Hastings #modelling: Requirements Modeling (TH), pp. 357–358.
AdaEurope-1997-PierceAWSCG #performance #realtime #verification: Capturing and Verifying Performance Requirements for Hard Real Time Systems (RHP, SA, RW, JS, HC, JG), pp. 137–148.
RE-1997-Ben-AbdallahLK #analysis #functional #specification: Integrated Specification and Analysis of Functional, Temporal, and Resource Requirements (HBA, IL, YSK), pp. 198–209.
RE-1997-DarimontDML #analysis #integration #layout #named: GRAIL/KAOS: An Environment for Goal-Driven Requirements Analysis, Integration and Layout (RD, ED, PM, AvL), p. 140.
RE-1997-DarimontS #approach #reuse: Reusing Operational Requirements: A Process-Oriented Approach (RD, JS), p. 16–?.
RE-1997-FaulkH #analysis #approach #specification: The SCR Approach to Requirements Specification and Analysis (SRF, CLH), p. 263.
RE-1997-FinkelsteinS #traceability: Requirements Traceability (AF, RS), p. 265.
RE-1997-GotelF #case study #industrial #traceability: Extended Requirements Traceability: Results of an Industrial Case Study (OG, AF), p. 169–?.
RE-1997-Hall #question #using #what: What’s the Use of Requirements Engineering? (AH), p. 2–?.
RE-1997-HammerRHH #metric: Requirements Metrics — Value Added (TH, LHR, LH, LEH), p. 141.
RE-1997-HeimdahlK #generative: Generating Code from Hierarchical State-Based Requirements (MPEH, DJK), p. 210–?.
RE-1997-HeimdahlR #safety #specification: Software Requirements Specification and System Safety (MPEH, JDR), p. 264.
RE-1997-KilovS #elicitation: Eliciting Requirements: Beyond the Blank Sheet of Paper (HK, IS), p. 141.
RE-1997-LeiteRBMKHO #reuse #towards: Ten Steps Towards Systematic Requirements Reuse (WL, JAM, AV), pp. 6–15.
RE-1997-LeiteRBMKHO97a: Enhancing a Requirements Baseline with Scenarios (JCSdPL, GR, FB, VM, GNK, GDSH, AO), pp. 44–53.
RE-1997-MadhavjiTLAV #evolution: The Impact of Environment Evolution on Requirements Changes (NHM, TT, PL, WWA, KV), pp. 98–99.
RE-1997-MassonetL #framework #reuse #using: Analogical Reuse of Requirements Frameworks (PM, AvL), p. 26–?.
RE-1997-Miller #how #question #research: How Can Requirements Engineering Research Become Requirements Engineering Practice? (SM), p. 260.
RE-1997-ModugnoLRPS #analysis #safety #specification: Integrated Safety Analysis of Requirements Specifications (FM, NGL, JDR, KP, SDS), pp. 148–159.
RE-1997-NuseibehR: Making Requirements Measurable (BN, SR), p. 262.
RE-1997-Potts #modelling: Requirements Models in Context (CP), p. 102–?.
RE-1997-PottsN: Naturalistic Inquiry and Requirements Engineering: Reconciling Their Theoretical Foundations (CP, WN), pp. 118–127.
RE-1997-Rushby: Calculating with Requirements (JMR), p. 144–?.
RE-1997-Salo #assessment: Groupware-Assisted Requirements Assessment (AS), p. 40.
RE-1997-Sutcliffe #approach: A Technique Combination Approach to Requirements Engineering (AGS), p. 65–?.
RE-1997-Sutcliffe97a: Exploring Scenarios in Requirements Engineering (AGS), p. 180–?.
RE-1997-Wieringa #object-oriented #specification: Advanced Object-Oriented Requirements Specification Methods (RW), p. 266.
RE-1997-YenT #analysis #trade-off: A Systematic Tradeoff Analysis for Conflicting Imprecise Requirements (JY, WAT), p. 87–?.
RE-1997-Yu #modelling #reasoning #towards: Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering (ESKY), pp. 226–235.
RE-1997-ZaveJ #complexity: Requirements for Telecommunications Services: An Attack on Complexity (PZ, MJ), pp. 106–117.
RE-1997-ZowghiO #evolution #framework #logic #modelling #reasoning: A Logical Framework for Modeling and Reasoning About the Evolution of Requirements (DZ, RO), p. 247–?.
ASE-1997-AmbriolaG #natural language: Processing Natural Language Requirements (VA, VG), pp. 36–45.
ASE-1997-LamJ #analysis #reuse: Mechanising Requirements Engineering: Reuse and the Application of Domain Analysis Technology (WL, SJ), pp. 303–304.
ICSE-1997-CohenFNF #automation #monitoring: Automatic Monitoring of Software Requirements (DC, MSF, KN, SF), pp. 602–603.
ICSE-1997-DarimontDML #named: GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (RD, ED, PM, AvL), pp. 612–613.
ICSE-1997-FaulkH #evolution #realtime: Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (SRF, CLH), pp. 637–638.
ICSE-1997-HammerRHH #testing: Measuring Requirements Testing (TH, LHR, LH, LEH), pp. 372–379.
ICSE-1997-HeitmeyerKL #specification #tool support #validation #verification: The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
ICSE-1997-NuseibehR: Making Requirements Measurable (BN, SR), pp. 647–648.
ICSE-1997-RobinsonV #metamodelling: A Meta-Model for Restructuring Stakeholder Requirements (WNR, VV), pp. 140–149.
ICSE-1997-RyanK #industrial: Prioritizing Software Requirements in an Industrial Setting (KR, JK), pp. 564–565.
CSEE-1996-Boehm #student: Helping Students Learn Requirements Engineering (BWB), pp. 96–99.
FME-1996-Vito #formal method #navigation: Formalizing New Navigation Requirements for NASA’s Space Shuttle (BLDV), pp. 160–178.
CAiSE-1996-Si-SaidRG #named: MENTOR: A Computer Aided Requirements Engineering Environment (SSS, CR, GG), pp. 22–43.
SEKE-1996-CiancariniCM #analysis #testing: Engineering Formal Requirements: Analysis and Testing (PC, SC, CM), pp. 385–392.
SEKE-1996-Hurley #identification #specification: Identifying Language Requirements for Specifying Industrial-Strength Software Agents (WDH), pp. 238–245.
SEKE-1996-Liu #approach #quality: A Quantitative Approach for Assessing the Priorities of Software Quality Requirements (XFL), pp. 377–384.
SEKE-1996-XuZ #analysis #automation #problem #specification: Requirements Analysis and Specification as a Problem of Software Automation (JX, HZ), pp. 457–464.
OOPSLA-1996-EcklundDF #case study #identification: Change Cases: Use Cases that Identify Future Requirements (EFEJ, LMLD, MJF), pp. 342–358.
ICRE-1996-Anton #analysis: Goal-Based Requirements Analysis (AIA), pp. 136–144.
ICRE-1996-Boehm #roadmap: Requirements Engineering at Age 20: Looking Back, Looking Ahead (BWB), p. 255.
ICRE-1996-Brackett: Ripe Fruit in Requirements Engineering: Techniques You Can Exploit NOW (JWB), pp. 42–43.
ICRE-1996-CarlshamreK #approach #usability: A Usability-Oriented Approach to Requirements Engineering (PC, JK), pp. 145–153.
ICRE-1996-ChampionM #analysis #enterprise: Exploiting an enterprise model during systems’ requirements capture and analysis (REMC, TTM), pp. 208–216.
ICRE-1996-Cheng #formal method #how #question: Where and How do Formal Methods Fit in Requirements Engineering? (BHCC), pp. 154–156.
ICRE-1996-DeMarco #question #why: Requirements Engineering: Why Aren’t We Better at It? (TD), pp. 2–3.
ICRE-1996-Goguen: Formality and Informality in Requirements Engineering (JAG), pp. 102–109.
ICRE-1996-Hill: Parasitic Languages for Requirements (MH), pp. 69–75.
ICRE-1996-HsiaHKH #clustering #composition: User-Centered System Decomposition: Z-Based Requirements Clustering (PH, CTH, DCK, LBH), pp. 126–135.
ICRE-1996-Hudlicka #comparison #elicitation: Requirements Elicitation with Indirect Knowledge Elicitation Techniques: Comparison of Three Methods (EH), pp. 4–11.
ICRE-1996-JonesB #elicitation #information management #interactive #multi: Early elicitation and definition of requirements for an interactive multimedia information system (SJ, CB), pp. 12–20.
ICRE-1996-Karlsson: Software Requirements Prioritizing (JK), pp. 110–116.
ICRE-1996-KostersSV #analysis #user interface: Combined Analysis of User Interface and Domain Requirements (GK, HWS, JV), pp. 199–207.
ICRE-1996-LeathrumL #approach #formal method #standard #testing: A formal approach to requirements based testing in open systems standards (JFL, KAL), pp. 94–101.
ICRE-1996-LutzW #analysis #case study #experience: Experience Report: Contributions of SFMEA to Requirements Analysis (RRL, RMW), pp. 44–51.
ICRE-1996-Macaulay: Requirements for Requirements Engineering Technique (LAM), pp. 157–164.
ICRE-1996-NissenJJZH #analysis #case study #concept #experience #modelling #multi: Requirements Analysis from Multiple Perspectives: Experiences with Conceptual Modeling Technology (HWN, MAJ, MJ, GVZ, HH), p. 217.
ICRE-1996-NobeW #lessons learnt #modelling #using: Lessons Learned from a Trial Application of Requirements Modeling Using Statecharts (CRN, WEW), pp. 86–93.
ICRE-1996-Ohnishi #database #specification: Software Requirements Specification Database Based on Requirements Frame Model (AO), pp. 221–228.
ICRE-1996-OsborneM #natural language #specification: Processing Natural Language Software Requirement Specifications (MO, CKM), pp. 229–237.
ICRE-1996-PinheiroG #object-oriented: An Object-Oriented Tool for Tracing Requirements (FACP, JAG), pp. 219–220.
ICRE-1996-Pohl #named: PRO-ART: Enabling Requirements Pre-Traceability (KP), pp. 76–85.
ICRE-1996-Rawsthorne #functional #interactive: Capturing functional requirements through object interactions (DAR), pp. 60–68.
ICRE-1996-SaekiMSK #elicitation #speech: Structuring utterance records of requirements elicitation meetings based on speech act theory (MS, KM, JS, HK), pp. 21–30.
ICRE-1996-TakahashiPKOS #analysis #collaboration #hypermedia: Hypermedia Support for Collaboration in Requirements Analysis (KT, CP, VK, KO, JDS), pp. 31–41.
ICRE-1996-Vanwelkenhuysen #analysis #development #quality: Quality Requirements Analysis in Customer-Centered Software Development (JV), pp. 117–125.
FSE-1996-DarimontL #refinement: Formal Refinement Patterns for Goal-Driven Requirements Elaboration (RD, AvL), pp. 179–190.
ICSE-1996-LiuY #framework #specification: An Analytic Framework for Specifying and Analyzing Imprecise Requirements (XFL, JY), pp. 60–69.
ICSE-1996-PaoliS #architecture #interactive #multi: Requirements for a Layered Software Architecture Supporting Cooperative Multi-User Interaction (FDP, AS), pp. 408–417.
ASPLOS-1996-HuangS #source code: The Intrinsic Bandwidth Requirements of Ordinary Programs (ASH, JPS), pp. 105–114.
HPDC-1996-AydtCR: I/O Requirements of Scientific Applications: An Evolutionary View E. Smirni (RAA, AAC, DAR), pp. 49–59.
ISSTA-1996-AtleeB #semantics: A Logic-Model Semantics for SCR Software Requirements (JMA, MAB), pp. 280–292.
SIGMOD-1995-Bampahl: Real World Requirements for Decision Support — Implications for RDBMS (SKB), p. 448.
CSEE-1995-AllenS #approach #education #modelling: An Integrated Approach to Teaching Requirements Modelling (PA, LS), pp. 223–237.
CSEE-1995-FranceL #comprehension #specification: Understanding the Role of Formal Specification Techniques in Requirements Engineering (RBF, MMLP), pp. 207–221.
FPLE-1995-JacquotG: Requirements for an Ideal First Language (JPJ, JG), pp. 51–63.
WCRE-1995-HainautEHHR #information management #reverse engineering: Requirements for Information System Reverse Engineering Support (JLH, VE, JH, JMH, DR), pp. 134–145.
CAiSE-1995-DuffyMMM #analysis #automation #framework #reasoning #using: A Framework for Requirements Analysis Using Automated Reasoning (DAD, CM, JAM, PM), pp. 68–81.
CAiSE-1995-GibsonC #reuse: Domain Knowledge Reuse During Requirements Engineering (MDG, KC), pp. 283–296.
CAiSE-1995-KrogstieLS #comprehension #quality #towards: Towards a Deeper Understanding of Quality in Requirements Engineering (JK, OIL, GS), pp. 82–95.
SEKE-1995-CiacciaCP #design: From Formal Requirements to Formal Design (PC, PC, WP), pp. 23–30.
SEKE-1995-Debenham #analysis #approach #design #knowledge-based #specification: A Unified Approach to Requirements Specification and System Analysis in the Design of Knowledge-Based Systems (JKD), p. 144.
SEKE-1995-LaliotiT #specification #validation #visual notation: Visual Scenarios for Validation of Requirements Specification (VL, BT), pp. 114–116.
SEKE-1995-MaidenSAJJNCS #distributed: Computational Mechanisms for Distributed Requirements Engineering (NAMM, AGS, PA, PJ, MJ, HWN, PC, GS), pp. 8–15.
SEKE-1995-ParkEP #modelling: Text-Based Requirements Modeling Support System (SP, RPE, JDP), pp. 16–22.
TRI-Ada-1995-Shumate95b #analysis #design #functional #object-oriented: BATCES Solution #1: An Object-Oriented Design from Functional Requirements Analysis (KS), pp. 737–739.
RE-1995-AtleeM #analysis #safety: Integrating requirements analysis and safety analysis (JMA, JAM), pp. 158–159.
RE-1995-Bubenko #challenge: Challenges in requirements engineering (JABJ), pp. 160–163.
RE-1995-ChungNY #non-functional #using: Using non-functional requirements to systematically support change (LC, BAN, ESKY), pp. 132–139.
RE-1995-EmamM #case study #development #information management: A field study of requirements engineering practices in information systems development (KEE, NHM), pp. 68–80.
RE-1995-EmamM95a #process: Measuring the success of requirements engineering processes (KEE, NHM), pp. 204–213.
RE-1995-FickasF #monitoring: Requirements monitoring in dynamic environments (SF, MSF), pp. 140–147.
RE-1995-FieldsWH #approach #fault: A task centered approach to analysing human error tolerance requirements (BF, PCW, MDH), pp. 18–26.
RE-1995-ForsgrenR #industrial #specification: Specification of customer and user requirements in industrial control system procurement projects (PF, TR), pp. 81–88.
RE-1995-GotelF: Contribution structures (Requirements artifacts) (OG, AF), pp. 100–107.
RE-1995-HeitmeyerLK #consistency #specification: Consistency checking of SCR-style requirements specifications (CLH, BGL, DLK), pp. 56–65.
RE-1995-HughesORRS #process: Presenting ethnography in the requirements process (JAH, JO, TR, MR, IS), pp. 27–39.
RE-1995-Jackson #development #problem: Problems and requirements (software development) (MJ), pp. 2–9.
RE-1995-JirotkaHL #video: Ethnography by Video for Requirements Capture (MJ, CH, PL), pp. 190–193.
RE-1995-LamsweerdeDM #lessons learnt #problem: Goal-directed elaboration of requirements for a meeting scheduler: problems and lessons learnt (AvL, RD, PM), pp. 194–203.
RE-1995-LeiteO: A client oriented requirements baseline (JCSdPL, AdPAO), pp. 108–115.
RE-1995-MacfarlaneR #development #ide #traceability: Requirements traceability in an integrated development environment (IAM, IR), pp. 116–127.
RE-1995-MaidenMS #approach #how #people #reuse: How People Categorise Requirements for Reuse: a Natural Approach (NAMM, PM, AGS), pp. 148–157.
RE-1995-Potts #off the shelf: Invented requirements and imagined customers: requirements engineering for off-the-shelf software (CP), pp. 128–131.
RE-1995-PottsTSO #analysis #evaluation #internet: An evaluation of inquiry-based requirements analysis for an Internet service (CP, KT, JDS, KO), pp. 172–180.
RE-1995-RameshPSE #case study #implementation #traceability: Implementing requirements traceability: a case study (BR, TP, CS, ME), pp. 89–99.
RE-1995-RegnellKW #approach #case study: Improving the use case driven approach to requirements engineering (BR, KK, AW), pp. 40–41.
RE-1995-Zave #classification #research: Classification of research efforts in requirements engineering (PZ), pp. 214–216.
ESEC-1995-LandesS #non-functional: The Treatment of Non-Functional Requirements in MIKE (DL, RS), pp. 294–306.
ICSE-1995-BoehmBHL #approach: Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral Approach (BWB, PKB, EH, MJL), pp. 243–253.
ICSE-1995-ChungN #approach #non-functional: Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented Approach (LC, BAN), pp. 25–37.
ICSE-1995-HeimdahlL #analysis #consistency: Completeness and Consistency Analysis of State-Based Requirements (MPEH, NGL), pp. 3–14.
ICSE-1995-JacksonZ #specification: Deriving Specifications from Requirements: An Example (MJ, PZ), pp. 15–24.
HT-ECHT-1994-HaakeNS #flexibility #hypermedia: Coexistence and Transformation of Informal and Formal Structures: Requirements for More Flexible Hypermedia Systems (JMH, CN, NAS), pp. 1–12.
CSEE-1994-Berztiss #design #non-functional: Non-Functional Requirements in the Design of Software (ATB), pp. 375–386.
ICSM-1994-AntoniniCC #case study #experience #legacy #quality #re-engineering: Reengineering Legacy Systems to Meet Quality Requirements: An Experience Report (PA, GC, AC), pp. 146–153.
ICSM-1994-Hildreth #reverse engineering: Reverse Engineering Requirements for Process-Control Software (HH), pp. 316–325.
CHI-1994-BowersP94a #design #prototype: Talking through design: requirements and resistance in cooperative prototyping (JB, JP), pp. 299–305.
CAiSE-1994-HofmannH #design #information management #quality #security: Reaching out for Quality: Considering Security Requirements in the Design of Information Systems (HFH, RH), pp. 105–118.
CAiSE-1994-JacksonEW #automation #development #object-oriented #specification: Automated Support for the Development of Formal Object-Oriented Requirements Specifications (RBJ, DWE, SNW), pp. 135–148.
CAiSE-1994-NellbornH #enterprise #information management #modelling #speech: Capturing Information Systems Requirements Through Enterprise and Speech Act Modelling (CN, PH), pp. 172–185.
SEKE-1994-AtchanE #behaviour #empirical #functional #modelling #specification: An experiment in eliminating the separation between data, functional, and behavioral models during requirements specification (HMA, GCE), pp. 2–9.
SEKE-1994-KirikovaB #enterprise #modelling: Software requirements acquisition through enterprise modelling (MK, JABJ), pp. 20–27.
SEKE-1994-ParkP #automation #formal method #modelling: Automated support to system modeling from informal software requirements (SP, JDP), pp. 86–93.
SEKE-1994-Rolland #approach #process: A contextual approach for the requirements engineering process (CR), pp. 28–35.
OOPSLA-1994-JordanSW #object-oriented: Streamlining the Project Cycle With Object-Oriented Requirements (RJ, RS, AW), pp. 287–300.
TOOLS-EUROPE-1994-Firesmith #analysis #design #logic: O-O Requirements Analysis and Logical Design (DF), p. 513.
TOOLS-EUROPE-1994-Graham #analysis #case study #object-oriented #process #re-engineering: Beyond the Use Case: Combining Task Analysis and Scripts in Object-Oriented Requirements Capture and Business Process Re-engineering (IMG), pp. 203–215.
TOOLS-EUROPE-1994-Schmid #library #reuse: Reuse Inhibitors with, and Requirements for Collection Class Libraries (HAS), pp. 243–252.
TOOLS-EUROPE-1994-TsalgatidouGH #validation: Specifiying and Validating Requirements: The VENUS System (AT, DG, CH), pp. 89–102.
AdaEurope-1994-HagelsteinB: A Front-End to HOOD — The Clyder Requirements Engineering Method (JH, DR), pp. 60–62.
PLILP-1994-KluzniakM #specification: Readable, Runnable Requirements Specifications in SPILL-2 (FK, MM), pp. 449–450.
ICRE-1994-AcostaBRS #agile #case study #prototype: A case study of applying rapid prototyping techniques in the Requirements Engineering Environment (RDA, CLB, WER, JLS), pp. 66–73.
ICRE-1994-Alford #complexity #using: Attacking requirements complexity using a separation of concerns (MWA), pp. 2–5.
ICRE-1994-AlfordDHMOR: Issues in requirements engineering technology transfer (MWA, JCD, JH, CLM, DO, WER), pp. 143–148.
ICRE-1994-BoehmBHL: Software requirements as negotiated win conditions (BWB, PKB, EH, MJL), pp. 74–83.
ICRE-1994-BubenkoRLA #fuzzy #modelling: Facilitating “fuzzy to formal” requirements modelling (JABJ, CR, PL, VDA), pp. 154–157.
ICRE-1994-DobsonS: Organisational requirements definition for information technology systems (JED, RS), pp. 158–165.
ICRE-1994-DorfmanBGHMSSW #standard: Requirements engineering standardization (MD, ERB, SMG, RMH, LM, BS, TS, SW), pp. 57–63.
ICRE-1994-FairleyTB #concept #specification: The concept of operations: the bridge from operational requirements to technical specifications (REF, RHT, PB), pp. 40–47.
ICRE-1994-GoldinB #abstraction #design #elicitation #evaluation #natural language #prototype: AbstFinder, a prototype abstraction finder for natural language text for use in requirements elicitation: design, methodology, and evaluation (LG, DMB), pp. 84–93.
ICRE-1994-GotelF #analysis #problem #traceability: An analysis of the requirements traceability problem (OCZG, AF), pp. 94–101.
ICRE-1994-HughesRS #analysis #taxonomy: Taxonomy for requirements analysis (KJH, RMR, CTS), pp. 176–179.
ICRE-1994-LiangP #approach #clustering #pattern matching: A pattern matching and clustering based approach for supporting requirements transformation (JL, JDP), pp. 180–183.
ICRE-1994-MaidenS #abstraction #using: Requirements critiquing using domain abstractions (NAMM, AGS), pp. 184–193.
ICRE-1994-Ohnishi #visual notation: A visual software requirements definition method (AO), pp. 194–201.
ICRE-1994-OzcanS #evolution #framework #validation: Validating and evolving software requirements in a systematic framework (MBÖ, JIAS), pp. 202–205.
ICRE-1994-ReizerAMP #formal method #specification #standard #using: Using formal methods for requirements specification of a proposed POSIX standard (NRR, GDA, BCM, PRHP), pp. 118–125.
ICRE-1994-RobinsonF #multi: Supporting multi-perspective requirements engineering (WNR, SF), pp. 206–215.
ICRE-1994-ShekaranGJMPR #architecture: The role of software architecture in requirements engineering (MCS, DG, MJ, NRM, CP, HBR), pp. 239–245.
ICRE-1994-SiddiqiMHB #formal method #towards: Towards a system for the construction, clarification, discovery and formalisation of requirements (JIAS, ICM, RH, GB), pp. 230–238.
ICRE-1994-White #analysis #comparative #embedded: Comparative analysis of embedded computer system requirements methods (SMW), pp. 126–134.
ICRE-1994-WoodCS #approach #modelling #multi: A multimedia approach to requirements capture and modeling (DPW, MGC, SMS), pp. 53–56.
ICRE-1994-WrightFH: Deriving human-error tolerance requirements from tasks (PCW, BF, MDH), pp. 135–142.
ICSE-1994-GreenspanMB #modelling #on the #revisited: On Formal Requirements Modeling Languages: RML Revisited (SJG, JM, AB), pp. 135–147.
ICSE-1994-PorterV #detection #empirical #fault: An Experiment to Assess Different Defect Detection Methods for Software Requirements Inspections (AAP, LGV), pp. 103–112.
SAC-1994-MayrhauserP #user interface: Developing requirements for a user interface (AvM, LP), pp. 10–14.
EDAC-1994-BartelsKSS #reliability #testing: Flow Management Requirements of a Test Harness for Testing the Reliability of an Electronic CAD System (GB, PK, KS, MS), pp. 605–609.
PDP-1994-MarinL #design #performance: Bandwidth Requirements For Wormhole Switches: A Simple And Efficient Design (JDM, PL), pp. 377–384.
ISSTA-1994-ChechikG #automation #implementation #verification: Automatic Verification of Requirements Implementation (MC, JDG), pp. 1–14.
ISSTA-1994-RothermelH #identification #test coverage #testing: Selecting Tests and Identifying Test Coverage Requirements for Modified Software (GR, MJH), pp. 169–184.
SIGMOD-1993-Egenhofer #database #navigation #what: What’s Special about Spatial? Database Requirements for Vehicle Navigation in Geographic Space (MJE), pp. 398–402.
VLDB-1993-Schreier #database #knowledge-based #perspective #scheduling: Database Requirements of Knowledge-based Production Scheduling and Control: A CIM Perspective (US), pp. 710–711.
HCI-ACS-1993-CarstensenS #analysis: Work Analysis — Perspectives on and Requirements for a Methodology (PHC, KS), pp. 575–580.
HCI-ACS-1993-Zwaga #design #process: Developing Process Control Systems: Procedural Requirements in Design (HJGZ), pp. 127–132.
HCI-SHI-1993-KoubekS #concept: A Conceptual Model of Human Skill Requirements for Advanced Manufacturing Settings (RJK, GS), pp. 356–361.
CAiSE-1993-Chung #development #information management #security: Dealing with Security Requirements During the Development of Information Systems (LC), pp. 234–251.
CAiSE-1993-DuboisBP #elicitation #formal method #information management: Elicitating and Formalising Requirements for C.I.M. Information Systems (ED, PDB, MP), pp. 252–274.
CAiSE-1993-PipraniM #approach #multi #specification: A Multi-Model Approach for Deriving Requirements Specifications for a Mega-Project (CBP, RBM), pp. 199–220.
CAiSE-1993-Pohl: The Three Dimensions of Requirements Engineering (KP), pp. 275–292.
SEKE-1993-BiebowS #analysis #validation: Acquisition, Analysis and Validation of Informal Requirements (BB, SS), pp. 109–116.
SEKE-1993-Ohnishi #specification #visual notation: Visual Software Requirements Specification Language: VRDL (AO), pp. 219–221.
SEKE-1993-TsaiLN #approach #debugging #specification: Debugging Logic-Based Requirements Specifications — a FRORL Approach (JJPT, AL, KRN), pp. 372–379.
ECOOP-1993-DuboisBP #analysis #perspective: O-O Requirements Analysis: an Agent Perspective (ED, PDB, MP), pp. 458–481.
TOOLS-PACIFIC-1993-Firesmith93b #elicitation #named #object-oriented: Keynote: Object-oriented Requirements Elicitation (DF), p. 4.
TOOLS-PACIFIC-1993-Firesmith93c #analysis #design #logic #object-oriented: Object-Oriented Requirements Analysis and Logical Design (DF), p. 319.
TOOLS-PACIFIC-1993-Maughan #implementation #library #persistent #programming: Persistent Programming: Requirements for a Class Library Implementation (GM), pp. 371–381.
RE-1993-AndersonD #using: Using scenarios in deficiency-driven requirements engineering (JSA, BD), pp. 134–141.
RE-1993-BickertonS #classification: The classification of requirements engineering methods (MJB, JS), pp. 182–186.
RE-1993-Feather: Requirements reconnoitring at the juncture of domain and instance (MSF), pp. 73–76.
RE-1993-Goguen #social: Social issues in requirements engineering (JAG), pp. 194–195.
RE-1993-GoguenL #elicitation: Techniques for requirements elicitation (JAG, CL), pp. 152–164.
RE-1993-GreenspanF #paradigm #using: Requirements engineering using the SOS paradigm (SJG, MF), pp. 260–263.
RE-1993-HarkerED #challenge #evolution #re-engineering: The change and evolution of requirements as a challenge to the practice of software engineering (SH, KDE, JED), pp. 266–272.
RE-1993-HarrisonB #interactive #on the: On defining requirements for interaction (MDH, PJB), pp. 50–54.
RE-1993-JarkeBRSV #overview: Theories underlying requirements engineering: an overview of NATURE at Genesis (MJ, JABJ, CR, AGS, YV), pp. 19–31.
RE-1993-JohnsonGLFP: Recording requirements assumptions and rationale (LJ, SJG, JL, GF, CP), pp. 282–285.
RE-1993-KuwanaH #empirical #representation #what: Representing knowledge in requirements engineering: an empirical study of what software engineers need to know (EK, JDH), pp. 273–276.
RE-1993-Lefering #in the large #incremental #integration #programming: An incremental integration tool between requirements engineering and programming in the large (ML), pp. 82–89.
RE-1993-LoucopoulosPMMLZ #object-oriented: I never knew my requirements were object-oriented until I talked to my analyst (PL, CP, SJM, JAM, L, LZ), pp. 226–230.
RE-1993-LubarsPR #modelling #overview: A review of the state of the practice in requirements modeling (MDL, CP, CR), pp. 2–14.
RE-1993-LuffJHG #analysis #interactive #social: Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering (PL, MJ, CH, DG), pp. 187–190.
RE-1993-Lutz #embedded #fault #safety: Analyzing software requirements errors in safety-critical, embedded systems (RRL), pp. 126–133.
RE-1993-Macaulay #process: Requirements capture as a cooperative activity (LAM), pp. 174–181.
RE-1993-MaidenS #empirical: Requirements engineering by example: an empirical study (NAMM, AGS), pp. 104–111.
RE-1993-Nixon #development #information management #performance: Dealing with performance requirements during the development of information systems (BAN), pp. 42–49.
RE-1993-OhnishiA #named: CARD: a software requirements definition environment (AO, KA), pp. 90–93.
RE-1993-RameshE #development #traceability: Issues in the development of a requirements traceability model (BR, ME), pp. 256–259.
RE-1993-RameshL #agile #knowledge base #process #prototype: Process knowledge based rapid prototyping for requirements engineering (BR, L), pp. 248–255.
RE-1993-Ryan93a #natural language: The role of natural language in requirements engineering (KR), pp. 240–242.
RE-1993-RyanM #concept #graph: Matching conceptual graphs as an aid to requirements re-use (KR, BM), pp. 112–120.
RE-1993-RzepkaSW: Requirements engineering technologies at Rome Laboratory (WER, JLS, DAW), pp. 15–18.
RE-1993-SchouwenPM #documentation: Documentation of requirements for computer systems (AJvS, DLP, JM), pp. 198–207.
RE-1993-SibleyWMTL #policy: The role of policy in requirements definition (EHS, RLW, JBM, MCT, DCL), pp. 277–280.
RE-1993-Smith #named: READS: a requirements engineering tool (TJS), pp. 94–97.
RE-1993-SommervilleRSBT #process: Integrating ethnography into the requirements engineering process (IS, TR, PS, RB, MT), pp. 165–173.
RE-1993-White: Requirements engineering in systems engineering practice (SMW), pp. 192–193.
RE-1993-Yu #information management #modelling: Modeling organizations for information systems requirements engineering (ESKY), pp. 34–41.
ESEC-1993-BustardW #specification: Making Changes to Formal Specifications: Requirements and an Example (DWB, ACW), pp. 115–126.
ESEC-1993-HagelsteinRW: Formal Requirements Made Practical (JH, DR, PW), pp. 127–144.
ESEC-1993-JarkePJBAHWRPSSJMTVCS #process #representation: Requirements Engineering: An Integrated View of Representation, Process, and Domain (MJ, KP, SJ, JABJ, PA, PH, BW, CR, VP, JRS, AGS, SJ, NAMM, DT, YV, PC, GS), pp. 100–114.
FSE-1993-Lutz #analysis #fault: Targeting Safety-Related Errors During Software Requirements Analysis (RRL), pp. 99–106.
ICSE-1993-NuseibehKF #multi #specification: Expressing the Relationships Between Multiple Views in Requirements Specification (BN, JK, AF), pp. 187–196.
ICSE-1993-TamaiI #analysis #backtracking #design #development #process #scalability: Requirements and Design Change in Large-Scale Software Development: Analysis From the Viewpoint of Process Backtracking (TT, AI), pp. 167–176.
KBSE-1993-KorelskyMR #automation #generative #project management: Knowledge Requirements for the Automatic Generation of Project Management Reports (TK, DM, OR), p. 5.
TAPSOFT-1993-Li #formal method: A Theory of Requirements Capture and Its Applications (WL0), pp. 406–420.
ICLP-1993-MeklyY #approach #automation #generative #logic programming #modelling #testing: A Logic Programming Approach to Requirements Modelling and Automated Test Generation (LJM, MPY), p. 849.
ISSTA-1993-AtleeG: Analyzing Timing Requirements (JMA, JDG), pp. 117–127.
SIGMOD-1992-Cowley #data transformation: Scientific Data Management: Real-World Issues and Requirements (PJC), p. 318.
SEI-1992-Lulofs #education #industrial: Industry Requirements for Academic and Continuing Education (TJL), pp. 117–118.
CHI-1992-Guindon #design #interface #object-oriented #visual notation: Requirements and design of DesignVision and object-oriented graphical interface to an intelligent software design assistant (RG), pp. 499–506.
CAiSE-1992-Dewal #analysis #evaluation: A Methodology for Requirements Analysis and Evaluation of SDEs (SD), pp. 394–409.
CAiSE-1992-DuboisBR: Elaborating, Structuring and Expressing Formal Requirements of Composite Systems (ED, PDB, AR), pp. 327–347.
CAiSE-1992-RollandP #approach #natural language: A Natural Language Approach for Requirements Engineering (CR, CP), pp. 257–277.
KR-1992-Maida #communication #information management #representation: Knowledge Representation Requirements for Description-Based Communication (ASM), pp. 232–243.
TRI-Ada-C-1992-BerryS #ada #case study #experience #re-engineering #scalability: Estimating Requirements for a Large Software Engineering Project: Experiences with Ada COCOMO on SIDPERS-3 (RHB, RMS), pp. 375–383.
TRI-Ada-C-1992-LockP #ada #past present future #re-engineering: Requirements on Ada Reengineering Technology from Past, Present and Future Systems (EDL, NSP), pp. 384–395.
KBSE-1992-MaidenS #abstraction #approach: Domain Abstractions in Requirements Engineering: A Exemplar Approach (NM, AS), p. 19.
HT-1991-MalcolmPS #enterprise #hypermedia #industrial #scalability: Industrial Strength Hypermedia: Requirements for a Large Engineering Enterprise (KCM, SEP, DS), pp. 13–24.
CAiSE-1991-CauvetPR #named: ALECSI: An Expert System for Requirements Engineering (CC, CP, CR), pp. 31–49.
CAiSE-1991-Chung #design #information management #non-functional #representation: Representation and Utilization of Non-Functional Requirements for Information System Design (LC), pp. 5–30.
CAiSE-1991-FuginiGP #composition #modelling #reuse: Reusing Requirements through a Modeling and Composition Support Tool (MGF, MG, BP), pp. 50–78.
SIGIR-1991-AnickFH: Addressing the Requirements of a Dynamic Corporate Textual Information Base (PGA, RAF, DRH), pp. 163–172.
RE-1991-FarberbockGH #german #metamodelling: Ein Vergleich von Requirements Engineering Methoden auf Metamodell-Basis (HF, TG, MH), pp. 40–66.
RE-1991-HansenR #german: Requirements Engineering bei der Techniker Krankenkasse: Ein Erfahrungsbericht (DH, CR), pp. 67–85.
ESEC-1991-Feather: Requirements Engineering — Getting Right from Wrong (MSF), pp. 485–488.
ESEC-1991-Finkelstein: A (Neat) Alphabet of Requirements Engineering Issues (AF), pp. 489–491.
ESEC-1991-Greenspan: The Scruffy Side of Requirements Engineering (SJG), pp. 492–494.
ESEC-1991-Potts #research: Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990s (CP), pp. 495–496.
KBSE-1991-IpCH #knowledge-based: Complex Objects in Knowledge-Based Requirements Engineering (SI, LCYC, TH), pp. 8–15.
KBSE-1991-JohnsonFH #specification: The KBSA Requirements/Specifications Facet: ARIES (WLJ, MSF, DRH), pp. 48–56.
KBSE-1991-JohnsonH #reuse #using: Sharing and Reuse of Requirements Knowledge (WLJ, DRH), pp. 57–66.
KBSE-1991-Zeroual #knowledge-based #named: KBRAS: A Knowledge-Based Requirements Acquisition System (KZ), pp. 38–47.
IWPTS-1991-Hogrefe91a #consistency #formal method: Session on Conformance Requirements and Test Purposes in the Context of Formal Methods (DH), pp. 289–290.
CHI-1990-CushmanOD #performance #question #what: Usable OCR: what are the minimum performance requirements? (WHC, PSO, CMD), pp. 145–152.
CHI-1990-Elwart-KeysHHKS #user interface: User interface requirements for face to face groupware (MEK, DH, MH, RK, PS), pp. 295–301.
CHI-1990-LauwersL #collaboration #generative: Collaboration awareness in support of collaboration transparency: requirements for the next generation of shared window systems (JCL, KAL), pp. 303–311.
CAiSE-1990-BrinkkemperH #concept #development #specification: The Conceptual Task Model: a Specification Technique between Requirements Engineering and Program Development (SB, AHMtH), pp. 228–250.
CAiSE-1990-FuginiP #named #reuse: RECAST: A Tool For Reusing Requirements (MGF, BP), pp. 339–364.
CAiSE-1990-TheodoulidisWL #specification: Requirements Specification in TEMPORA (CIT, BW, PL), pp. 264–282.
CAiSE-1990-TsalgatidouKL #rule-based #specification #validation: Rule-Based Requirements Specification and Validation (AT, VK, PL), pp. 251–263.
CAiSE-1990-VassiliouMKCMM #design #generative #named: IRIS — A Mapping Assistant for Generating Designs from Requirements (YV, MM, PK, LC, MM, JM), pp. 307–338.
SEKE-1990-ShiM #towards #validation #verification: Toward Verification and Validation of Software Requirements (GMS, IM), pp. 251–259.
ICSE-1990-Robinson #behaviour #specification: Negotiation Behavior During Requirements Specification (WNR), pp. 268–276.
CAiSE-1989-LoucopoulosC #knowledge-based: Knowledge-Based Support for Requirements Engineering (PL, REMC).
SEKE-1989-PanYC #concept #modelling: Conceptual Modeling of Software Requirements (MJP, CCY, PLC), pp. 128–133.
ICSE-1989-JaffeL #realtime #robust #safety #specification: Completeness, Robustness, and Safety in Real-Time Software Requirements Specification (MSJ, NGL), pp. 302–311.
ICSE-1989-Yue #composition #dynamic analysis #functional #validation: Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
SEI-1988-LaviW #analysis #embedded #industrial #specification: Embedded Computer Systems. Requirements Analysis & Specification — An Industrial Course (JZL, MW), pp. 81–105.
VDME-1988-JonesL #reasoning: A Support System for Formal Reasoning: Requirements and Status (CBJ, PAL), pp. 139–152.
ICSE-1988-Hagemann #analysis #automation #realtime: Requirements Analysis for Real-Time Automation Projects (MH), pp. 122–129.
ICSE-1988-Johnson #specification: Deriving Specifications from Requirements (WLJ), pp. 428–438.
HCI-CE-1987-Gutierrez #elicitation #simulation: A System Simulation System to Support the Elicitation of Information Requirements by End-Users (OG), pp. 529–536.
HCI-CE-1987-LuekePB #analysis #protocol: User Requirements Gathering Through Verbal Protocol Analysis (EEL, PDP, CRB), pp. 523–528.
SIGIR-1987-CaterK #information retrieval #named: TIRS: A Topological Information Retrieval System Satisfying the Requirements of the Waller-Kraft Wish List (SCC, DHK), pp. 171–180.
ESEC-1987-RobinsonE #analysis #database: Requirements Analysis for a Database Administration Support Environment (HMR, JME), pp. 377–386.
ICSE-1987-BerlinerZ #empirical #specification: An Experiment in Technology Transfer: PAISLey Specification of Requirements for an Undersea Lightwave Cable System (EFB, PZ), pp. 42–50.
DAC-1987-Masurkar #re-engineering: Requirements for a Practical Software Engineering Environment (VM), pp. 67–73.
CRAI-1986-WestfoldMB #development #knowledge-based: Knowledge-Based Software Development from Requirements to Code (SJW, LM, WAB), pp. 62–80.
SIGMOD-1983-ShuWL #approach #database #design #specification: Forms Approach to Requirements Specification for Database Design (NCS, HKTW, VYL), pp. 161–172.
RE-1983-Hruschka #german #named: Requirements — einmal anders betrachtet (PH), pp. 1–14.
RE-1983-Meyer: Requirements Engineering in S/E/TEC (HMM), pp. 77–91.
RE-1983-Partsch #algebra #on the #using: On the Use of Algebraic Methods for Formal Requirements Definitions (HP), pp. 138–158.
ICSE-1982-AgusaOO #verification: Verification System for Formal Requirements Description (KA, AO, YO), pp. 120–126.
ICSE-1982-GreenspanMB #specification: Capturing More World Knowledge in the Requirements Specification (SJG, JM, AB), pp. 225–235.
ASPLOS-1982-Johnson #architecture #debugging: Some Requirements for Architectural Support of Software Debugging (MSJ), pp. 140–148.
SIGMOD-1981-SwartwoutL #on the: On the Requirements of Navigational Relationship Representations (DES, JCL), pp. 1–9.
ICSE-1981-BasiliW #analysis #documentation #evaluation: Evaluation of a Software Requirements Document by Analysis of Change Data (VRB, DMW), pp. 314–324.
ICSE-1981-GomaaS #prototype #specification: Prototyping as a Tool in the Specification of User Requirements (HG, DBHS), pp. 333–342.
ICSE-1981-KomodaHKS #analysis #approach #modelling #using: An Innovative Approach to System Requirements Analysis by Using Structural Modeling Method (NK, KH, HK, HS), pp. 305–313.
ICSE-1981-Wilson #database #design #relational: A Requirements and Design Aid for Relational Data Bases (MLW), pp. 282–294.
ICSE-1981-ZaveY #embedded #execution: Executable Requirements for Embedded Systems (PZ, RTY), pp. 295–304.
SIGMOD-1979-PelagattiS #database #distributed #evaluation: Evaluation of Transmission Requirements in Distributed Database Access (GP, FAS), pp. 102–108.
VLDB-1979-Solvberg #modelling: Software Requirement Definition and Data Models (AS), pp. 111–118.
ICALP-1979-CremersH: Arbitration and Queuing Under Limited Shared Storage Requirements (ABC, TNH), pp. 147–160.
ICSE-1978-Fisher #design #higher-order #interactive: The Interaction Between the Preliminary Designs and the Technical Requirements for the DoD Common High Order Language (DAF), pp. 82–83.
ICSE-1978-StephensT #verification: Requirements Expression and Verification Aid (SAS, LLT), pp. 101–108.
DAC-1977-HellerMD #predict: Prediction of wiring space requirements for LSI (WRH, WFM, WED), pp. 32–42.
DIPL-1976-DreisbachW #realtime: Requirements for real-time languages (TAD, LW), pp. 298–312.
ICSE-1976-Alford #realtime: A Requirements Engineering Methodology for Real-Time Processing Requirements (MWA), p. 69.
ICSE-1976-BalkovichE #performance #research #specification #towards: Research Towards a technology to Support the Specification of Data Processing System Performance Requirements (EEB, GPE), pp. 110–115.
ICSE-1976-BellBD #approach: An Extendable Approach to Computer-Aided Software Requirements Engineering (TEB, DCB, MED), p. 70.
ICSE-1976-BellT #problem #question: Software Requirements: Are They Really a Problem? (TEB, TAT), pp. 61–68.
ICSE-1976-RossS #analysis: Structured Analysis for Requirements Definition (DTR, KESJ), p. 1.
ICSE-1976-Salter: A Methodology for Decomposing System Requirements Into Data Processing Requirements (KGS), pp. 91–101.
STOC-1974-CookS #polynomial: Storage Requirements for Deterministic Polynomial Time Recognizable Languages (SAC, RS), pp. 33–39.
SOSP-1973-PopekG #architecture #generative: Formal Requirements for Virtualizable Third Generation Architectures (GJP, RPG), p. 121.
SIGFIDET-1971-Dean #data transformation #online #privacy: Data Privacy and Integrity Requirements for Online Data Management Systems (ALDJ), pp. 279–298.
SIGFIDET-1971-EverestS: A Critique of the Guide-SHARE DBMS Requirements (GCE, EHS), pp. 93–112.
SHARE-1965-Fountain #simulation #testing: A general computer simulation technique for assessments and testing requirements (JHF).