Search results for "Requirements Modeling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Stephen J. Andriole	Fast, Cheap Requirements: Prototype, or Else!	IEEE Software	1994	DBLP DOI BibTeX RDF	cheap requirements prototype, requirements modeling management, prototyping process, throwaway prototyping, exploratory prototyping, initial requirements, formal specification, specification, constraints, systems analysis, software prototyping, requirements modeling, requirements validation, interactive prototyping
2	G. Murali Krishna	Requirements Modeling -- Experience from an Insurance Project.	SEFM	2006	DBLP DOI BibTeX RDF
2	Bikram Sengupta, Rance Cleaveland	Triggered Message Sequence Charts.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling
2	Enzo Colombo, John Mylopoulos	A Multi-perspective Framework for Organizational Patterns.	ER	2006	DBLP DOI BibTeX RDF	Perceiving and Modeling Social Reality, Control and Coordination, Requirements modeling, Organizational Patterns
2	Lars Pareto	Extended abstract: requirements modeling within iterative, incremental processes.	MEMOCODE	2005	DBLP DOI BibTeX RDF
2	Deepak S. Yavagal, Seok Won Lee, Gail-Joon Ahn, Robin A. Gandhi	Common criteria requirements modeling and its uses for quality of information assurance (QoIA).	ACM Southeast Regional Conference	2005	DBLP DOI BibTeX RDF	information assurance metrics & measures, ontology, requirements modeling, common criteria
2	Elena Navarro, Patricio Letelier, Isidro Ramos	Integrating Expressiveness of Modern Requirements Modeling Approaches.	SERA	2005	DBLP DOI BibTeX RDF
2	Ghada Alaa, Guy Fitzgerald	A Proposal of an Upfront Requirements Modeling and Design Practice for e-Commerce Projects.	HICSS	2004	DBLP DOI BibTeX RDF
2	Bikram Sengupta, Rance Cleaveland	Refinement-Based Requirements Modeling Using TriggeredMessage Sequence Charts.	RE	2003	DBLP DOI BibTeX RDF
2	Cindy Kong, Perry Alexander	Multi-Faceted Requirements Modeling. (PDF / PS)	RE	2002	DBLP DOI BibTeX RDF
2	Mei Lu, Xinpei Zhao, Mingshu Li	Object-Oriented Requirements Modeling Based on UML.	TOOLS	1999	DBLP DOI BibTeX RDF
2	Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton	Experiences Using Lightweight Formal Methods for Requirements Modeling.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	fault protection software, formal methods, verification and validation, Software requirements, NASA
2	Chung-Horng Lung, Joseph E. Urban	An Expanded View of Domain Modeling for Software Analogy. (PDF / PS)	COMPSAC	1995	DBLP DOI BibTeX RDF	software analogy, software reuse, domain modeling, domain analysis, requirements modeling, analogical reasoning
1	Florian Schneider, Helmut Naughton, Brian Berenbach	A modeling language to support early lifecycle requirements modeling for systems engineering.	Procedia CS	2012	DBLP DOI BibTeX RDF
1	Nauman A. Qureshi, Ivan Jureta, Anna Perini	Towards a Requirements Modeling Language for Self-Adaptive Systems.	REFSQ	2012	DBLP DOI BibTeX RDF
1	Silvia Abrahão, Emilio Insfrán, José A. Carsí, Marcela Genero	Evaluating requirements modeling methods based on user perceptions: A family of experiments.	Inf. Sci.	2011	DBLP DOI BibTeX RDF
1	Michel dos Santos Soares, Jos L. M. Vrancken, Alexander Verbraeck	User requirements modeling and analysis of software-intensive systems.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Jameleddine Hassine	Early Availability Requirements Modeling Using Use Case Maps.	ITNG	2011	DBLP DOI BibTeX RDF
1	Carsten Lucke, Ulrike Lechner	Goal-oriented requirements modeling as a means to address stakeholder-related issues in EA.	Wirtschaftsinformatik	2011	DBLP BibTeX RDF
1	Aimei Dong, Ruilian Hou	The research and application of object-oriented requirements modeling based on UML.	EMEIT	2011	DBLP DOI BibTeX RDF
1	Dustin Wüest, Martin Glinz	Flexible Sketch-Based Requirements Modeling.	REFSQ	2011	DBLP DOI BibTeX RDF
1	Markus Buschle, Dick A. C. Quartel	Extending the Method of Bedell for Enterprise Architecture Valuation.	EDOCW	2011	DBLP DOI BibTeX RDF	IT valuation, Bedell's method, Archi Mate, Enterprise Architecture, requirements modeling
1	Gunter Mussbacher, Daniel Amyot, João Araújo, Ana Moreira	Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study.	T. Aspect-Oriented Software Development	2010	DBLP DOI BibTeX RDF
1	Zhengping Liang, Guoqing Wu, Li Wan	Lightweight Behavior-Based Language for Requirements Modeling.	JSEA	2010	DBLP DOI BibTeX RDF
1	Raian Ali, Fabiano Dalpiaz, Paolo Giorgini	A goal-based framework for contextual requirements modeling and analysis.	Requir. Eng.	2010	DBLP DOI BibTeX RDF
1	William Robinson	A Roadmap for Comprehensive Requirements Modeling.	IEEE Computer	2010	DBLP DOI BibTeX RDF	Runtime validation, Requirements analysis, Requirements monitoring
1	Bin Zhao, Guangjun Cai, Zhi Jin	Semantic Approach for Service Oriented Requirements Modeling.	Intelligent Information Processing	2010	DBLP DOI BibTeX RDF
1	Dick A. C. Quartel, Maarten W. A. Steen, Marc M. Lankhorst	IT Portfolio Valuation - Using Enterprise Architecture and Business Requirements Modeling.	EDOC	2010	DBLP DOI BibTeX RDF
1	Gilleanes Thorwald Araujo Guedes, Rosa Maria Vicari	Applying a UML Profile in the Requirements Modeling to Multi-Agents Systems.	QUATIC	2010	DBLP DOI BibTeX RDF
1	Martin Glinz	Very Lightweight Requirements Modeling.	RE	2010	DBLP DOI BibTeX RDF
1	Ivan Jureta, Alexander Borgida, Neil A. Ernst, John Mylopoulos	Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling.	RE	2010	DBLP DOI BibTeX RDF
1	Wu Qiong, Ma Biao	Knowledge Requirements Modeling for Personalized E-learning on Business Process.	ICEE	2010	DBLP DOI BibTeX RDF
1	Bo Hu, Keqing He, Peng Liang, Rong Li	REMO: A RGPS-based requirements modeling process for service oriented Architecture.	NCM	2010	DBLP BibTeX RDF
1	Marie-Agnès Peraldi-Frati, Arnaud Albinet	Requirement traceability in safety critical systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	modeling, validation, time, safety, traceability, non-functional requirement, MARTE
1	Chih-Hung Chang, Chih-Wei Lu, Nien-Lin Hsueh, William C. Chu, Chihhsiong Shih, Chao-Tung Yang, Pao-Ann Hsiung, Chorng-Shiuh Koong	SysML-based requirement modeling environment for multicore embedded system.	SAC	2010	DBLP DOI BibTeX RDF	requirement engineering, requirement modeling, model-driven, SysML
1	Jiacun Wang, William M. Tepfenhart, Daniela Rosca	Emergency Response Workflow Resource Requirements Modeling and Analysis.	IEEE Transactions on Systems, Man, and Cybernetics, Part C	2009	DBLP DOI BibTeX RDF
1	José Gallardo Arancibia, Gloria Giacaman, Claudio Meneses, Óscar Marbán	Framework for Decisional Business Modeling and Requirements Modeling in Data Mining Projects.	IDEAL	2009	DBLP DOI BibTeX RDF	Goals Strategies, Data Mining, Requirements Engineering, Decision- Making, Business Modeling
1	Lorena Rodriguez, Alethia Hume, Luca Cernuzzi, Emilio Insfrán	Improving the Quality of Agent-Based Systems: Integration of Requirements Modeling into Gaia.	QSIC	2009	DBLP DOI BibTeX RDF	Gaia, Requirements Engineering, Agent-oriented Methodologies
1	Yogesh Singh, Anjana Gosain, Manoj Kumar 0002	From Early Requirements to Late Requirements Modeling for a Data Warehouse.	NCM	2009	DBLP DOI BibTeX RDF	early requirements engineering, late requirements engineering, agent, data warehouse
1	Harold Ossher, Rachel K. E. Bellamy, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Thomas Frauenhofer, Sophia Krasikov, Ian Simmonds, Calvin Swart	Business insight toolkit: Flexible pre-requirements modeling.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Ryo Hasegawa, Motohiro Kitamura, Haruhiko Kaiya, Motoshi Saeki	Extracting Conceptual Graphs from Japanese Documents for Software Requirements Modeling.	APCCM	2009	DBLP BibTeX RDF
1	Ming-Che Hsieh, Wei-Sheng Hung, Shu-Wen Lin, Chin-Hsing Luo	Designing an Assistive Dialog Agent for a Case of Spinal Cord Injury.	HIS	2009	DBLP DOI BibTeX RDF	autmentative and alternative communication, multi-agent systems, user interface design, smart homes, requirements modeling, spoken dialog
1	Mehul Bhatt, Frank Dylla, Joana Hois	Spatio-terminological Inference for the Design of Ambient Environments.	COSIT	2009	DBLP DOI BibTeX RDF	Spatio-Terminological Reasoning, Smart Environment Design, Ontology, Architecture, Requirements Modeling
1	Petr Kroha, Manuela Rink	Text Generation for Requirements Validation.	ICEIS	2009	DBLP DOI BibTeX RDF	Requirements, Requirements specification, Requirements modeling, Requirements validation, Text generation
1	Naeem Esfahani, Sam Malek, João Pedro Sousa, Hassan Gomaa, Daniel A. Menascé	A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems.	MoDELS	2009	DBLP DOI BibTeX RDF	Autonomic Computing, Model Driven Development, Requirements Modeling, Pervasive Systems, Domain Specific Modeling Languages
1	Jordi Cabot, Steve M. Easterbrook, Jennifer Horkoff, Lysanne Lessard, Sotirios Liaskos, Jose-Norberto Mazón	Integrating sustainability in decision-making processes: A modelling strategy.	ICSE Companion	2009	DBLP DOI BibTeX RDF
1	Katharina Mehner, Mattia Monga, Gabriele Taentzer	Analysis of Aspect-Oriented Model Weaving.	T. Aspect-Oriented Software Development	2009	DBLP DOI BibTeX RDF
1	Avik Sinha, Matthew Kaplan, Amit M. Paradkar, Clay Williams	Requirements Modeling and Validation Using Bi-layer Use Case Descriptions.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Ming-Che Hsieh, Wei-Sheng Hung, Shin-Shing Shin, Shu-Wen Lin, Tsan-Hsun Huang	Spoken Dialogue Agent Interface Requirements Modeling Based on PASSI Methodology.	ISDA	2008	DBLP DOI BibTeX RDF
1	Luigi Lavazza, Vieri Del Bianco, Carla Garavaglia	Model-based functional size measurement.	ESEM	2008	DBLP DOI BibTeX RDF	uml, requirements modeling, functional size measurement, function point analysis
1	Yao Jun-feng, Shi Ying, Wen-jie Yuan, Ye Peng, Luo Ju-bo, Jia Xiang-Yang	A Framework of Reflective Mechanism for Supporting OWL-S Requirements Specifications Evolution.	CSSE	2008	DBLP DOI BibTeX RDF
1	Márcia Lucena, Emanuel Santos, Carla T. L. L. Silva, Fernanda M. R. Alencar, Maria Jocelia Silva, Jaelson Castro	Towards a unified metamodel for i.	RCIS	2008	DBLP DOI BibTeX RDF
1	Arda Goknil, Ivan Kurtev, Klaas van den Berg	A Metamodeling Approach for Reasoning about Requirements.	ECMDA-FA	2008	DBLP DOI BibTeX RDF	requirements metamodels, model customization, reasoning
1	Begoña Moros, Cristina Vicente-Chicote, José Ambrosio Toval Álvarez	REMM-Studio+: Modeling Variability to Enable Requirements Reuse.	ER	2008	DBLP DOI BibTeX RDF	Requirements MetaModel (REMM), Requirements Variability and Reuse, Requirements Engineering, Model-Driven Software Development
1	Stefan Jurack, Leen Lambers, Katharina Mehner, Gabriele Taentzer	Sufficient Criteria for Consistent Behavior Modeling with Refined Activity Diagrams.	MoDELS	2008	DBLP DOI BibTeX RDF
1	Lawrence Chung, José Luis Garrido, Nary Subramanian, Manuel Noguera	IWSSA 2008 PC Co-chairs' Message.	OTM Workshops	2008	DBLP DOI BibTeX RDF
1	Jingjun Zhang, Furong Li, Yang Zhang	Aspect-Oriented Requirements Modeling.	SEW	2007	DBLP DOI BibTeX RDF	UML, AOP, Requirements Engineering, Mismatch
1	Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini	Requirements Modeling for Embedded Realtime Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Heinrich C. Mayr, Christian Kop, Daniela Esberger	Business Process Modeling and Requirements Modeling.	ICDS	2007	DBLP DOI BibTeX RDF	Requirements Engineering, Business Process Modeling, Business Process Management
1	Akrivi Katifori, Costas Vassilakis, Elena Torou, George Lepouras, Constantin Halatsis, Ilias Daradimos	Historical Archive Ontologies Requirements, Modeling and Visualization.	RCIS	2007	DBLP BibTeX RDF
1	Bruno Traverson, Christophe Addinquy	Linking Requirements to EIS Specifications Using Correspondence Rules.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Enterprise Informa-tion Systems, Requirements, Viewpoints, RM-ODP, SysML
1	Mohamad Kassab, Olga Ormandjieva, Maya Daneva, Alain Abran	Non-Functional Requirements Size Measurement Method (NFSM) with COSMIC-FFP.	IWSM/Mensura	2007	DBLP DOI BibTeX RDF
1	Manling Zhu, Zhi Jin	Trust Analysis of Web Services Based on a Trust Ontology.	KSEM	2007	DBLP DOI BibTeX RDF	Web Services, Formal Reasoning, Trust Ontology
1	Ghada Alaa, Jaco Appelman, Guy Fitzgerald	Process Support for Agile Requirements Modeling and Maintenance of E-Projects.	AMCIS	2006	DBLP BibTeX RDF
1	Abdelouahed Gherbi, Ferhat Khendek	Distributed Real-Time Behavioral Requirements Modeling Using Extended UML/SPT.	SAM	2006	DBLP DOI BibTeX RDF
1	Heinrich C. Mayr	Conceptual requirements modeling: a contribution to XNP(eXtreme non programming).	APCCM	2006	DBLP DOI BibTeX RDF
1	Jeffrey Rekoske, Hamid Ghasemiyeh, Ahmed Salem	A practical extension to the VORD model.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	software requirements, requirements modeling, functional requirements
1	Adenekan Dedeke, Benjamin Lieberman	Qualifying Use Case Diagram Associations.	IEEE Computer	2006	DBLP DOI BibTeX RDF	systems analysis, requirements modeling, use case diagrams
1	Tim Menzies, Julian Richardson	Making Sense of Requirements, Sooner.	IEEE Computer	2006	DBLP DOI BibTeX RDF	requirements modeling, software technologies
1	Ankit Goel, Abhik Roychoudhury	Synthesis and Traceability of Scenario-Based Executable Models.	ISoLA	2006	DBLP DOI BibTeX RDF
1	Lin Liu, Qiang Liu, Chi-Hung Chi, Zhi Jin, Eric S. K. Yu	Towards A Service Requirements Ontology on Knowledge and Intention.	QSIC	2006	DBLP DOI BibTeX RDF
1	Katharina Mehner, Mattia Monga, Gabriele Taentzer	Interaction Analysis in Aspect-Oriented Models.	RE	2006	DBLP DOI BibTeX RDF
1	Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens	A More Expressive Softgoal Conceptualization for Quality Requirements Analysis.	ER	2006	DBLP DOI BibTeX RDF
1	Luigi Lavazza, Vieri Del Bianco	Combining Problem Frames and UML in the Description of Software Requirements.	FASE	2006	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Requirements engineering for trust management: model, methodology, and reasoning.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Agent-oriented software, Trust models for business and organizations, Verification and validation of software, Privilege management, Requirements Engineering, Security Engineering
1	Ioakim Marmaridis, Bhuvan Unhelkar	Challenges in Mobile Transformations: A Requirements Modeling Perspective for Small and Medium Enterprises.	ICMB	2005	DBLP DOI BibTeX RDF
1	Steven J. Cunning, Jerzy W. Rozenblit	Automating test generation for discrete event oriented embedded systems.	Journal of Intelligent and Robotic Systems	2005	DBLP DOI BibTeX RDF	embedded systems, test pattern generation, requirements modeling
1	Hassan Gomaa, Mazen Saleh	Software product line engineering for Web services and UML.	AICCSA	2005	DBLP DOI BibTeX RDF
1	Moncef B. Tayahi, Bruce Johnson, Melinda Holtzman, G. Cadet	Piezoelectric materials for powering remote sensors.	IPCCC	2005	DBLP DOI BibTeX RDF
1	Emmanuel Letier, Axel van Lamsweerde	Reasoning about partial goal satisfaction for requirements and design engineering.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	partial satisfaction of requirements, probabilistic requirements modeling, reasoning about design alternatives, non-functional requirements, goal-oriented requirements engineering
1	Lin Liu, Eric S. K. Yu	Intentional Modeling to Support Identity Management.	ER	2004	DBLP DOI BibTeX RDF
1	Paolo Giorgini, Fabio Massacci, John Mylopoulos, Nicola Zannone	Filling the Gap between Requirements Engineering and Public Key/Trust Management Infrastructures.	EuroPKI	2004	DBLP DOI BibTeX RDF
1	Hassan Gomaa	Designing Software Product Lines with the Unified Modeling Language (UML).	SPLC	2004	DBLP DOI BibTeX RDF
1	Zhi Jin, Ruqian Lu, David A. Bell	Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach.	Science in China Series F: Information Sciences	2003	DBLP DOI BibTeX RDF
1	Minseong Kim, Hwasil Yang, Sooyong Park	A Domain Analysis Method for Software Product Lines Based on Scenarios, Goals and Features.	APSEC	2003	DBLP DOI BibTeX RDF
1	Lin Liu, Eric S. K. Yu, John Mylopoulos	Security and Privacy Requirements Analysis within a Social Setting.	RE	2003	DBLP DOI BibTeX RDF
1	Heinrich C. Mayr, Christian Kop	A User Centered Approach to Requirements Modeling.	Modellierung	2002	DBLP BibTeX RDF
1	Luiz Marcio Cysneiros, Eric S. K. Yu	Requirements Engineering for Large-Scale Multi-agent Systems.	SELMAS	2002	DBLP DOI BibTeX RDF
1	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
1	Betty H. C. Cheng, Laura A. Campbell	Integrating Informal and Formal Approaches to Requirements Modeling and Analysis. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
1	Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister 0002	Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF
1	Jaelson Castro, John Mylopoulos, Fernanda M. R. Alencar, Gilberto A. Cysneiros Filho	Integrating Organizational Requirements and Object Oriented Modeling. (PDF / PS)	RE	2001	DBLP DOI BibTeX RDF	UML, Requirements Modeling, Object Oriented Development, Organizational Modeling
1	Pierre America, Jan van Wijgerden	Requirements Modeling for Families of Complex Systems.	IW-SAPF	2000	DBLP DOI BibTeX RDF
1	Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Florian Bernauer	Introducng a software modeling concept in a medium-sized company.	ICSE	2000	DBLP DOI BibTeX RDF	maintenance support, technology transfer, requirements modeling, product families, software documentation
1	Daniel W. Schunk	Micro saint: modeling with the Micro Saint simulation package.	Winter Simulation Conference	2000	DBLP DOI BibTeX RDF
1	LeMai Nguyen, Jenny M. Carroll, Paul A. Swatman	Supporting and Monitoring the Creativity of IS Personnel during the Requirements Engineering Process. (PDF / PS)	HICSS	2000	DBLP DOI BibTeX RDF
1	Jesús García Molina, María-José Ortín-Ibáñez, Begoña Moros, Joaquín Nicolás, José Ambrosio Toval Álvarez	Toward Use Case and Conceptual Models through Business Modeling.	ER	2000	DBLP DOI BibTeX RDF
1	Robert B. France	A Problem-Oriented Analysis of Basic UML Static Requirements Modeling Concepts.	OOPSLA	1999	DBLP DOI BibTeX RDF	precise semantics, requirements class diagrams, UML, UML, Z
1	Steve M. Easterbrook	Verification and Validation of Requirements for Mission Critical Systems.	ICSE	1999	DBLP BibTeX RDF	V&V, embedded systems, requirements modeling, lightweight formal methods, software requirements specifications
1	Virginie Wiels, Steve M. Easterbrook	Formal Modeling of Space Shuttle Software Change Requests using SCR. (PDF / PS)	RE	1999	DBLP DOI BibTeX RDF