Search results for "Software requirements analysis"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Khaled El Emam, Andreas Birk	Validating the ISO/IEC 15504 Measure of Software Requirements Analysis Process Capability.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	predictive validity, requirements analysis process, standards, validity, software quality, software process improvement, empirical evaluation, requirements engineering process, Software process assessment
2	Lijun Dong, Jiafu Xu	Formal semantics of some functional constructs of the software requirements definition language NDRDL. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	functional constructs, software requirements definition language, NDRDL, source language, software requirements analysis support system, NDRASS, specification languages, diagrams, formal semantics, functional requirements, nonfunctional requirements
2	Robyn R. Lutz	Targeting Safety-Related Errors During Software Requirements Analysis.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF
1	Zenon Chaczko, Jenny Quang, Bruce Moulton	Knowledge Transfer Model for the Development of Software Requirements Analysis CASE Tools to Be Used in Cross Time-Zone Projects.	JDCTA	2010	DBLP BibTeX RDF
1	Ahmet Coskuncay, Banu Aysolmaz, Onur Demirörs, Omer Bilen, Idris Dogani	Bridging the Gap between Business Process Modeling and Software Requirements Analysis: a Case Study.	MCIS	2010	DBLP BibTeX RDF
1	Irit Hadar, Tsvi Kuflik, Anna Perini, Iris Reinhartz-Berger, Filippo Ricca, Angelo Susi	An empirical study of requirements model understanding: Use Case vs. Tropos models.	SAC	2010	DBLP DOI BibTeX RDF	UML use cases, tropos, requirements engineering, requirements, controlled experiment
1	Kai Qian, Jigang Liu, Lixin Tao	Teach real-time embedded system online with real hands-on labs.	ITiCSE	2009	DBLP DOI BibTeX RDF	real time, embedded, portable, engineering, MCU
1	Dhruv Nath, Varadharajan Sridhar, Monica Adya, Amit Malik	Project Quality of Off-Shore Virtual Teams Engaged in Software Requirements Analysis: An Exploratory Comparative Study.	JGIM	2008	DBLP BibTeX RDF
1	Rosalie J. Ocker, Jerry Fjermestad	Communication differences in virtual design teams: findings from a multi-method analysis of high and low performing experimental teams.	DATA BASE	2008	DBLP DOI BibTeX RDF	software requirements analysis, computer-mediated communication, creativity, innovation, software design, virtual teams, distributed software development
1	Michael Kläs, Haruka Nakao, Frank Elberzhager, Jürgen Münch	Predicting Defect Content and Quality Assurance Effectiveness by Combining Expert Judgment and Defect Data - A Case Study.	ISSRE	2008	DBLP DOI BibTeX RDF
1	Luca Abeti, Paolo Ciancarini, Rocco Moretti	Business Process Modeling for Organizational Knowledge Management.	Concurrency, Graphs and Models	2008	DBLP DOI BibTeX RDF
1	Guoqiang Cai, Limin Jia, Ye Zhang	Integrating Software Requirements Analysis and Safety Control Approach.	IMECS	2007	DBLP BibTeX RDF
1	Harald Holz, Oleg Rostanin, Andreas Dengel, Takeshi Suzuki, Kaoru Maeda, Katsumi Kanasaki	Task-based process know-how reuse and proactive information delivery in TaskNavigator.	CIKM	2006	DBLP DOI BibTeX RDF	agile workflows, proactive information delivery, process-oriented knowledge management
1	Charles Wallace, Xinli Wang, Virginia Bluth	Instruction in Problem Structuring and Analysis Through Problem Frames.	CSEE&T	2006	DBLP DOI BibTeX RDF
1	Stephanie M. White	Improving the System/Software Engineering Interface for Complex System Development.	ECBS	2005	DBLP DOI BibTeX RDF
1	Zaobin Gan, Dengwen Wei, Jin-Long Zhang, Vijay Varadharajan	Business-Process-Oriented Software Requirements Automatic Generator.	ICITA	2005	DBLP DOI BibTeX RDF
1	Haruhiko Kaiya, Motoshi Saeki	Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach.	QSIC	2005	DBLP DOI BibTeX RDF	Lightweight semantic processing, Requirements Engineering, Thesaurus
1	Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer	A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.	STTT	2004	DBLP DOI BibTeX RDF	Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems
1	Thomas Ahlswede, Roger Y. Lee	Cognitive Issues in Software Requirements Analysis.	SNPD	2003	DBLP BibTeX RDF
1	Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene	Using TAME to prove invariants of automata models: Two case studies.	FMSP	2000	DBLP DOI BibTeX RDF	software requirements analysis, Software engineering, verification, formal methods, theorem proving
1	Hong Zhu	Formal Specification of Agent Behaviour through Environment Scenarios.	FAABS	2000	DBLP DOI BibTeX RDF
1	Ben L. Di Vito	High-automation proofs for properties of requirements models.	STTT	2000	DBLP DOI BibTeX RDF	Avionics software, Proof strategies, Formal methods, Theorem proving, Requirements analysis
1	Javier Andrade Garda, Juan Ares Casal, Óscar Dieste Tubío, Rafael García Vázquez, Marta López Fernández, Santiago Rodríguez Yánez, Luisa Verde	Creation of an Automated Management Software Requirements Environment: A Practical Experience. (PDF / PS)	DEXA Workshops	1999	DBLP DOI BibTeX RDF	automated requirements management, types and attributes of requirements, requirements tools evaluation, practical experience
1	Donald Firesmith	Use Case Modeling Guidelines.	TOOLS	1999	DBLP DOI BibTeX RDF
1	Robyn R. Lutz	Targeting safety-related errors during software requirements analysis.	Journal of Systems and Software	1996	DBLP DOI BibTeX RDF
1	Ben L. Di Vito	Formalizing New Navigation Requirements for NASA's Space Shuttle.	FME	1996	DBLP DOI BibTeX RDF
1	Danny C. C. Poo	An Object-Oriented Software Requirements Analysis Method.	International Journal of Software Engineering and Knowledge Engineering	1992	DBLP DOI BibTeX RDF
1	Matthew S. Jaffe, Nancy G. Leveson, Mats Per Erik Heimdahl, Bonnie E. Melhart	Software Requirements Analysis for Real-Time Process-Control Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	real-time process-control systems, observable phenomena, abstract state-machine model, real-time systems, formal specification, robustness, ambiguity, semantic analysis, software requirements, software requirements specifications, process computer control
1	Alan M. Davis	Software requirements - analysis and specification.		1990	RDF
1	Kazuo Matsumura, Hiroyuki Mizutani, Masahiko Arai	An Application of Structural Modeling to Software Requirements Analysis and Design.	IEEE Trans. Software Eng.	1987	DBLP DOI BibTeX RDF
1	Isao Miyamoto, Raymond T. Yeh	A software requirements analysis and definition methodology for business data processing.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF
1	Barry W. Boehm	Some Steps Toward Formal and Automated Aids to Software Requirements Analysis and Design.	IFIP Congress	1974	DBLP BibTeX RDF