|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9272 occurrences of 4628 keywords
|
|
|
Results
Found 10208 publication records. Showing 10208 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Chih-Wei Lu, Chih-Hung Chang, William C. Chu, Ya-Wen Cheng, Hsin-Chien Chang |
A Requirement Tool to Support Model-Based Requirement Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 712-717, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirement Editor, Reuse, Consistency, Completeness, Traceability, Maintainability |
64 | Yin Li, Juan Li 0001, Ye Yang, Mingshu Li 0001 |
Requirement-Centric Traceability for Change Impact Analysis: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Making Globally Distributed Software Development a Success Story, International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008, Proceedings, pp. 100-111, 2008, Springer, 978-3-540-79587-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirement Interdependency, Dynamic Requirement Traceability, Information Retrieval, Change Impact Analysis |
63 | Michael L. Edwards, Matt Flanzer, Mark Terry, Joseph Landa |
RECAP: a requirements elicitation, capture and analysis process prototype tool for large complex systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), November 6-10, 1995, Fort Lauderdale, Florida, USA, pp. 278-281, 1995, IEEE Computer Society, 0-8186-7123-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
RECAP, requirements elicitation capture and analysis process prototype tool, large complex system development, consistent requirements, correct requirements, complete requirements, requirement use, requirement capture, requirement identification, natural language parsing, knowledge-based rules, semiautomatic capture elicitation analysis, unformatted natural language text, requirement translation, concise requirements data, user defined views, domain specific rules, formal specification, software tools, knowledge based systems, systems analysis, natural languages, requirement analysis, requirements specification, automated assistance, system life-cycle |
62 | Keqing He, Peng Liang 0001, Rong Peng, Bing Li 0010, Jing Liu 0033 |
Requirement emergence computation of networked software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. China ![In: Frontiers Comput. Sci. China 1(3), pp. 322-328, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
requirement emergence computation, networked software, URF |
62 | Jameleddine Hassine, Rachida Dssouli, Juergen Rilling |
Applying Reduction Techniques to Software Functional Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAM ![In: System Analysis and Modeling, 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers, pp. 138-153, 2004, Springer, 3-540-24561-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Functional requirement specification, maintenance, program slicing, comprehension, Use Case Maps |
54 | Juan Li 0001, Lishan Hou, Zhongsen Qin, Qing Wang 0001, Guisheng Chen |
An Empirically-Based Process to Improve the Practice of Requirement Review. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSP ![In: Making Globally Distributed Software Development a Success Story, International Conference on Software Process, ICSP 2008, Leipzig, Germany, May 10-11, 2008, Proceedings, pp. 135-146, 2008, Springer, 978-3-540-79587-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
requirement review, requirement quality characteristic, quantitative, role-based |
51 | C. Li, J. M. van den Akker, Sjaak Brinkkemper, Guido Diepen |
Integrated Requirement Selection and Scheduling for the Release Planning of a Software Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFSQ ![In: Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings, pp. 93-108, 2007, Springer, 978-3-540-73030-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Requirement Selection, Requirement Scheduling, Simulation, Release Planning, Integer Linear Programming (ILP) |
47 | Chaofan Dai, Mingli Wang 0002 |
Distributed requirement elicitation and negotiation based on the hall for workshop of meta-synthetic engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 1452-1456, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed requirement elicitation, distributed requirement negotiation, the hall for workshop of meta-synthetic engineering, World Wide Web (WWW) |
47 | Vicky Nassis, Rajagopal Rajugan, Tharam S. Dillon, J. Wenny Rahayu |
A Requirement Engineering Approach for Designing XML-View Driven, XML Document Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 29th Annual International Computer Software and Applications Conference, COMPSAC 2005, Edinburgh, Scotland, UK, July 25-28, 2005. Volume 1, pp. 388-395, 2005, IEEE Computer Society, 0-7695-2413-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Data/Document Warehouse, OO Conceptual Model, XML, UML, Requirement Engineering, Requirement Definition, XML Views |
45 | Bin Xu 0004 |
Towards High Coherent Requirement Implementation in Evolving Global Cooperative Software Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected Papers) ![In: Computer Supported Cooperative Work in Design IV, 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers, pp. 155-167, 2007, Springer, 978-3-540-92718-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Global cooperative software design, coherent requirement implementation, evolving software development |
45 | Bhed Bahadur Bista, Kaoru Takahashi, Hiroaki Kaminaga, Norio Shiratori |
A flexible protocol synthesis method for adopting requirement changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1996 International Conference on Parallel and Distributed Systems (ICPADS '96), June 3-6, 1996, Tokyo, Japan, Proceedings, pp. 319-326, 1996, IEEE Computer Society, 0-8186-7267-6. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
flexible protocol synthesis method, requirement changes adoption, communicating entities, maintenance issue, protocol synthesis method, formal specification language LOTOS, formal specification, protocols, software maintenance, specification languages, protocol specification |
44 | Jeffrey J. P. Tsai, Thomas J. Weigert, Hung-Chin Jang |
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(12), pp. 1076-1100, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
nonmonotonic Horn clause logic, formal requirement specification language, frame-and-rule oriented requirement specification language, FRORL, surface syntax, hierarchical relationships, formal specification, object oriented, knowledge representation, prototyping, specification languages, inheritance, reusability, frames, software development environment, C language, production rules, multiple inheritance, Horn clauses, logic programming languages, executability, hybrid knowledge representation |
42 | Justin J. Y. Lin, Yung-Sung Lin |
Research and Development of a CMMI-Compliant Requirement Management System for Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCWD (Selected Papers) ![In: Computer Supported Cooperative Work in Design IV, 11th International Conference, CSCWD 2007, Melbourne, Australia, April 26-28, 2007. Revised Selected Papers, pp. 76-86, 2007, Springer, 978-3-540-92718-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
capability maturity model integration (CMMI), shark-tooth software development model, aspectual use case, Requirement management |
41 | Erwan Brottier, Benoit Baudry, Yves Le Traon, David Touzet, Bertrand Nicolas |
Producing a Global Requirement Model from Multiple Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDOC ![In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, Maryland, USA, pp. 390-404, 2007, IEEE Computer Society, 0-7695-2891-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
39 | Bin Xu 0004, Hua Hu, Hongxia Shi |
Layered Requirement Views in Global Legacy System Reengineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: Sixth International Conference on Computer and Information Technology (CIT 2006), 20-22 September 2006, Seoul, Korea, pp. 197, 2006, IEEE Computer Society, 0-7695-2687-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Lei Zhang 0029, Shixiong Xia, Shifei Ding, Yong Zhou 0003, Qiulin Ding |
User Knowledge Requirement Model and its Hybrid Evolution Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITNG ![In: Fifth International Conference on Information Technology: New Generations (ITNG 2008), 7-8 April 2008, Las Vegas, Nevada, USA, pp. 817-822, 2008, IEEE Computer Society, 978-0-7695-3099-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Knowledge requirement, model, Evolution, User |
37 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 2224-2228, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
requirement engineering, requirement modeling, model-driven, SysML |
37 | Jing Du 0001, Ye Yang, Qing Wang 0001 |
An Analysis for Understanding Software Security Requirement Methodologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2009, Shanghai, China, July 8-10, 2009, pp. 141-149, 2009, IEEE Computer Society, 978-0-7695-3758-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Requirement Methodology, Literature Review and Analysis, Software, Security Requirement |
37 | José M. Drake, W. W. Xie, Wei-Tek Tsai, Imran A. Zualkernan |
Approach and Case Study of Requirement Analysis Where End Users Take an Active Role. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 15th International Conference on Software Engineering, Baltimore, Maryland, USA, May 17-21, 1993., pp. 177-186, 1993, IEEE Computer Society / ACM Press, 0-89791-588-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
interview strategy, case study, requirement analysis, requirement specification, domain modeling, object-oriented analysis |
37 | Sanjai Narain, Gary Levin, Sharad Malik, Vikram Kaul |
Declarative Infrastructure Configuration Synthesis and Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Syst. Manag. ![In: J. Netw. Syst. Manag. 16(3), pp. 235-258, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirement solver, Model finder, Diagnosis, Partial evaluation, SAT solver, Troubleshooting |
36 | Ying Jin 0002, Jing Zhang, Pengfei Ma, Weiping Hao, Shutong Luo, Zepeng Li |
Applying PageRank Algorithm in Requirement Concern Impact Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 361-366, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Qiming Tian, Xiaoyan Chen, Ling Jin, Ping Pan, Chun Ying |
Asset-based requirement analysis in telecom Service Delivery Platform domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOMS ![In: IEEE/IFIP Network Operations and Management Symposium: Pervasive Management for Ubioquitous Networks and Services, NOMS 2008, 7-11 April 2008, Salvador, Bahia, Brazil, pp. 815-818, 2008, IEEE, 978-1-4244-2066-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Chih-Wei Lu, William C. Chu, Chih-Hung Chang, Ching-Huey Wang |
A Model-based Object-oriented Approach to Requirement Engineering (MORE). ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 153-156, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Pat Ferdinandi |
The Requirement Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRE ![In: Proceedings of the 4th International Conference on Requirements Engineering, ICRE '00, Schaumburg, Illinois, USA, June 19-23, 2000, pp. 63, 2000, IEEE Computer Society, 0-7695-0565-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Zhenyu Chen 0001, Baowen Xu, Xiaofang Zhang, Changhai Nie |
A novel approach for test suite reduction based on requirement relation contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 390-394, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
graph contraction, test case reduction, testing requirement optimization |
35 | Xin Zhou, Hui Yu |
A Clustering-Based Approach for Tracing Object-Oriented Design to Requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 412-422, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Clustering, Class, Requirement Traceability, Use Case, Object-oriented software development |
35 | Paolo Giorgini, Stefano Rizzi, Maddalena Garzetti |
Goal-oriented requirement analysis for data warehouse design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DOLAP ![In: DOLAP 2005, ACM 8th International Workshop on Data Warehousing and OLAP, Bremen, Germany, November 4-5, 2005, Proceedings, pp. 47-56, 2005, ACM, 1-59593-162-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
requirement analysis, data warehouse design |
35 | Alfred Yu, Wael M. Badawy |
A mesh update requirement for hierarchical adaptive meshes in mesh-based motion tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 761-765, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
hierarchical adaptive mesh topologies, inter-frame video compression, mesh update requirement, mesh-based motion tracking, multi-media visualization |
32 | Haomin Zhan, Guisheng Yin, Changsong Sun |
Process Algebra Based for Requirement Process Reorganization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 601-604, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Boris Vaysburg, Luay Ho Tahat, Bogdan Korel |
Dependence analysis in reduction of requirement based test suites. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2002, Roma, Italy, July 22-24, 2002, pp. 107-111, 2002, ACM, 1-58113-562-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern |
32 | Lei Zhang, Xuan Zhang, Meiping Chai, Yibing Tan, Shigeru Miyake, Yoji Taniguchi, Jun Hosoya, Ryota Mibe |
Solution Proposals for Japan-Oriented Offshore Software Development in China. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEAFOOD ![In: Software Engineering Approaches for Offshore and Outsourced Development - 3rd International Conference, SEAFOOD@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 14-24, 2009, Springer, 978-3-642-02986-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
requirement misunderstanding, communication, project management, requirement change, Offshore software development |
32 | Kristian Sandström, Christer Norström, Magnus Ahlmark |
Frame packing in real-time communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 399-403, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
frame packing, common computational model, signal exchange, physical device, signal size, deadline requirement, broadcast bus, variable sized frames, resource perspective, periodic frames, network bandwidth requirement, simple heuristics, signal sets, CAN based system, Local Interconnect Network, cost sensitive embedded systems, car control systems, real-time systems, computational complexity, distributed processing, NP-hard, communication networks, bandwidth allocation, real time communication, microcontrollers, microcontrollers, controller area networks, distributed embedded systems, objective function, automobiles, automotive applications, production cost |
32 | Pai-Cheng Chu |
A Contingency Approach to Estimating Record Selectivities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 544-552, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
contingency approach, record selectivities, discrete data analysis, near-perfect association, three-dimensional cases, iterative proportional fitting algorithm, relational databases, storage management, hierarchical models, information retrieval systems, storage requirement, storage requirement, storage space, parsimonious models |
32 | Kar-Wing Edward Lor, Daniel M. Berry |
Automatic Synthesis of SARA Design Models From System Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(12), pp. 1229-1240, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
software design automation, SARA design models, requirement analyst, system verification diagrams, System Architect's Apprentice, SVD requirement specification, knowledge-based tool, software tools, knowledge-based system, knowledge based systems, software, systems analysis, hardware, diagrams, computer aided software engineering, functional requirements, data flow diagrams, design languages, design assistant |
31 | Jinqiang Zhao, Zhenhua Duan |
Verification of Use Case with Petri Nets in Requirement Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCSA (2) ![In: Computational Science and Its Applications - ICCSA 2009, International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II, pp. 29-42, 2009, Springer, 978-3-642-02456-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Petri net, Model Driven Development, use case, requirement analysis |
31 | Minghua Zhang, Ben Kao, David W. Cheung, Kevin Y. Yip |
Mining periodic patterns with gap requirement from sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Knowl. Discov. Data ![In: ACM Trans. Knowl. Discov. Data 1(2), pp. 7, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
gap requirement, Sequence mining, periodic pattern |
31 | Seonho Choi, Yanggon Kim |
Resource Requirement Analysis for a Predictive-Hashing Based Multicast Authentication Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUC Workshops ![In: Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings, pp. 302-311, 2006, Springer, 3-540-36850-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
cryptographic hashing, authentication, protocol, multicast, denial-of-service, resource requirement |
31 | Mesfin Belachew, R. K. Shyamasundar |
MSC+: From Requirement to Prototyped Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECRTS ![In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 13-15 June 2001, Delft, The Netherlands, Proceedings, pp. 117-124, 2001, IEEE Computer Society, 0-7695-1221-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
hMSCs, Requirement Specification, Preemption, MSCs |
31 | David R. Musser, Sibylle Schupp, Rüdiger Loos |
Requirement Oriented Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Generic Programming ![In: Generic Programming, International Seminar on Generic Programming, Dagstuhl Castle, Germany, April 27 - May 1, 1998, Selected Papers, pp. 12-24, 1998, Springer, 3-540-41090-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
requirement oriented programming, concept description language, algebraic concept definitions, TECTON, formal verification, specification language, generic programming, standard template library |
31 | Ruqian Lu, Zhi Jin, Ronglin Wan |
Requirement Specification in Pseudo-Natural Language in PROMIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 96-101, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
Business Information Description Language, Information Systems, Requirement Engineering, CASE Tool |
30 | Jianwen Hu, Weiming Zhang 0003, Zhong Liu, Xiaofeng Hu, Guangya Si |
A novel complex-system-view-based method for system effectiveness analysis: Monotonic indexes space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 49(1), pp. 90-102, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
effectiveness analysis, monotonic indexes space, monotonic indexes requirement locus, fuzzy effectiveness analysis |
29 | Tim Storer, Russell Lock |
Accuracy: The Fundamental Requirement for Voting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Forth International Conference on Availability, Reliability and Security, ARES 2009, March 16-19, 2009, Fukuoka, Japan, pp. 374-379, 2009, IEEE Computer Society, 978-1-4244-3572-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
29 | Hankui Zhuo, Lei Li 0022, Qiang Yang 0001, Rui Bian |
Learning Action Models with Quantified Conditional Effects for Software Requirement Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (1) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 874-881, 2008, Springer, 978-3-540-87440-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
PDDL, SRS, intelligent planning |
29 | Robert Seater, Daniel Jackson 0001, Rohit Gheyi |
Requirement progression in problem frames: deriving specifications from requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Requir. Eng. ![In: Requir. Eng. 12(2), pp. 77-102, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Yikun Zhang, Peng Yin, Du-Wu Cui, Hui Xia |
A Method of Requirement Inconsistency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 211-214, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Shahzad Anwer, Naveed Ikram |
Goal Oriented Requirement Engineering: A Critical Study of Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 13th Asia-Pacific Software Engineering Conference (APSEC 2006), 6-8 December 2006, Bangalore, India, pp. 121-130, 2006, IEEE Computer Society, 0-7695-2685-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Robert Seater, Daniel Jackson 0001 |
Requirement Progression in Problem Frames Applied to a Proton Therapy System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA, pp. 166-175, 2006, IEEE Computer Society, 0-7695-2555-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Masakazu Takahashi, Yoshinori Fukue, Satoru Takahashi, Takashi Kawasaki |
A Method for Development of Adequate Requirement Specification in the Plant Control Software Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part II, pp. 289-295, 2006, Springer, 3-540-46537-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Jameleddine Hassine, Juergen Rilling, Jacqueline Hewitt |
Change Impact Analysis for Requirement Evolution using Use Case Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPSE ![In: 8th International Workshop on Principles of Software Evolution (IWPSE 2005), 5-7 September 2005, Lisbon, Portugal, pp. 81-90, 2005, IEEE Computer Society, 0-7695-2349-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Ching-Huey Wang, William C. Chu, Feng-Jian Wang |
Providing a behavioral and static formal model to elicit the functional software requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IRI ![In: Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA, pp. 44-49, 2005, IEEE Systems, Man, and Cybernetics Society, 0-7803-9093-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Viswanath Nagarajan, R. Ravi 0001 |
Approximation Algorithms for Requirement Cut on Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization and Combinatorial Optimization, Algorithms and Techniques, 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th InternationalWorkshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings, pp. 209-220, 2005, Springer, 3-540-28239-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Girija J. Narlikar |
Scheduling Threads for Low Space Requirement and Good Locality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 35(2), pp. 151-187, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Wei-hsiu Ma, David Hung-Chang Du |
Reducing bandwidth requirement for delivering video over wide area networks with proxy server. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Multim. ![In: IEEE Trans. Multim. 4(4), pp. 539-550, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Peter Bielkowicz, Thein Than Tun |
A Comparison and Evaluation of Data Requirement Specification Techniques in SSADM and the Unified Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 13th International Conference, CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings, pp. 46-59, 2001, Springer, 3-540-42215-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
29 | Christopher Creel |
Requirement Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (30) ![In: TOOLS 1999: 30th International Conference on Technology of Object-Oriented Languages and Systems, Delivering Quality Software - The Way Ahead, 1-5 August 1999, Santa Barbara, CA, USA, pp. 501, 1999, IEEE Computer Society, 0-7695-0278-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
29 | Ananya Kanjilal, Sabnam Sengupta, Swapan Bhattacharya |
Analysis of complexity of requirements: a metrics based approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISEC ![In: Proceeding of the 2nd Annual India Software Engineering Conference, ISEC 2009, Pune, India, February 23-26, 2009, pp. 131-132, 2009, ACM, 978-1-60558-426-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
requirement complexity, requirement metrics, measurement, requirements management, design complexity |
29 | Hamid Elghazi |
MV - TMM: A Multi View Traceability Management Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland, pp. 247-254, 2008, IEEE Computer Society, 978-0-7695-3262-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Multi perspectives Modeling, Process, Project, Method, Meta model, Requirement Management, Requirement traceability |
29 | Xiaoshan Li, Zhiming Liu 0001, Jifeng He 0001 |
Consistency Checking of UML Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 411-420, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Formal Requirement Specification, UML, Requirement Analysis, Consistency Checking |
29 | Sridevi Lingamarla, Gautam B. Singh, John Limburg, Mary Watson, Gary Edwards, Scott Gobrogge |
System for Automated Validation of Embedded Software in Multiple Operating Configurations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: The 14th IEEE International Conference on Automated Software Engineering, ASE 1999, Cocoa Beach, Florida, USA, 12-15 October 1999, pp. 323-326, 1999, IEEE Computer Society, 0-7695-0415-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Requirement Validation Traceability, Embedded Systems, Requirement Engineering, Data Warehousing |
28 | Xin Peng 0001, Seok-Won Lee, Wenyun Zhao |
Feature-Oriented Nonfunctional Requirement Analysis for Software Product Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Technol. ![In: J. Comput. Sci. Technol. 24(2), pp. 319-338, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
feature-oriented method, variability analysis, software product line, domain analysis, nonfunctional requirement |
28 | Jun Sun, Hongbo Zhu |
Time Scheduling Based on Tradeoff between Detection Performance and QoS Requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSATS ![In: Personal Satellite Services, International Conference, PSATS 2009, Rome, Italy, March 18-19, 2009, Revised Selected Papers, pp. 29-36, 2009, Springer, 978-3-642-04259-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cognitive node, channel characteristics, optimal sensing time, dynamic scheduling, QoS requirement, detection performance |
28 | Dan Li, Xiaoshan Li, Jicong Liu, Zhiming Liu 0001 |
Validation of requirement models by automatic prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(3), pp. 241-248, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Prototype, Code generation, OCL, Requirement validation |
28 | Wei Liu 0011, Keqing He, Kui Zhang, Jian Wang 0018 |
Combining Domain-Driven Approach with Requirement Assets for Networked Software Requirements Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 2th IEEE International Conference on Semantic Computing (ICSC 2008), August 4-7, 2008, Santa Clara, California, USA, pp. 354-361, 2008, IEEE Computer Society, 978-0-7695-3279-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Domain requirement assets, Ontology metamodeling, Requirements elicitation |
28 | Xiujian Wei, Jun Zhao |
Citizens' requirement analysis in Chinese e-government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 7th International Conference on Electronic Commerce, ICEC 2005, Xi'an, China, August 15-17, 2005, pp. 525-428, 2005, ACM, 1-59593-112-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
e-government, requirement, analysis, citizen |
28 | Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen |
A Relational Model for Formal Object-Oriented Requirement Analysis in UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 641-664, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
UML, Object-orientation, conceptual models, use-cases, requirement specification |
28 | José Luís Barros Justo |
A repository to support requirement specifications reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCNZ ![In: Proceedings of the 1996 Information Systems Conference of New Zealand, ISCNZ '96, October 30-31, 1996, pp. 53-62, 1996, IEEE Computer Society, 0-8186-7710-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost |
28 | Jean-Pierre Jacquot, A. Valdenaire |
Trading legibility against implementability in requirement specifications: an experimental assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: Second IEEE International Symposium on Requirements Engineering, March 27 - 29, 1995, York, England, UK, pp. 181-189, 1995, IEEE Computer Society, 0-8186-7017-7. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
experimental assessment, elisions, flexible syntaxes, incomplete texts, GLIDER, rigorous assessment, term parsing, human factor features, formal specification, formal specifications, specification languages, specification language, requirement specifications, grammars |
26 | Jung-Eun Kim, Junghee Han, Chang-Gun Lee |
Optimal 3-Coverage with Minimum Separation Requirements for Ubiquitous Computing Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mob. Networks Appl. ![In: Mob. Networks Appl. 14(5), pp. 556-570, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
3-coverage, minimum separation requirement, ubiquitous computing, sensor placement |
26 | Jung-Eun Kim, Man-Ki Yoon, Junghee Han, Chang-Gun Lee |
Sensor Placement for 3-Coverage with Minimum Separation Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCOSS ![In: Distributed Computing in Sensor Systems, 4th IEEE International Conference, DCOSS 2008, Santorini Island, Greece, June 11-14, 2008, Proceedings, pp. 266-281, 2008, Springer, 978-3-540-69169-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
3-coverage, minimum separation requirement, coverage redundancy, sensor placement |
26 | Stephen S. Yau, Zhaoji Chen |
A Framework for Specifying and Managing Security Requirements in Collaborative Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, Third International Conference, ATC 2006, Wuhan, China, September 3-6, 2006, Proceedings, pp. 500-510, 2006, Springer, 3-540-38619-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
security specification, hierarchical security requirements, requirement refinement algorithms, ontology, framework, collaborative systems, Software security |
26 | Po-Chang Liu, Ming-Jyh Tsai, Deng-Jyi Chen |
A Generic Software Framework for the Software System Achitecture Design and Implementation of Handset Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIS-ICIS ![In: 4th Annual ACIS International Conference on Computer and Information Science (ICIS 2005), 14-16 July 2005, Jeju Island, South Korea, pp. 169-174, 2005, IEEE Computer Society, 0-7695-2296-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
UI requirement, UI Design Patterns, Generic Software Framework, Generator |
25 | Qing He, Huaibei Zhou |
Research on the Routing Algorithm Based on QoS Requirement for Cognitive Radio Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (4) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 4: Embedded Programming / Database Technology / Neural Networks and Applications / Other Applications, December 12-14, 2008, Wuhan, China, pp. 1114-1117, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Vinu V. Das |
Involvement of Users in Software Requirement Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIT ![In: 10th International Conference on Information Technology, ICIT 2007, Roukela, India, 17-20 December 2007, pp. 230-233, 2007, IEEE Computer Society, 0-7695-3068-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Yingzhou Zhang, Weifeng Zhang |
Description Logic Representation for Requirement Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II, pp. 1147-1154, 2007, Springer, 978-3-540-72585-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | Qubo Hu, Martin Palkovic, Per Gunnar Kjeldsberg |
Memory Requirement Optimization with Loop Fusion and Loop Shifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2004 Euromicro Symposium on Digital Systems Design (DSD 2004), Architectures, Methods and Tools, 31 August - 3 September 2004, Rennes, France, pp. 272-278, 2004, IEEE Computer Society, 0-7695-2203-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Wichian Chutimaskul |
e-Government Requirement Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGOV ![In: Electronic Government, Second International Conference, EGOV 2003, Prague, Czech Republic, September 1-5, 2003, Proceedings, pp. 496-499, 2003, Springer, 3-540-40845-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Tsuneo Yamaura, Hiroshi Miyazaki, Akira K. Onoma |
A New Defining Approach for Software Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTFES ![In: 1st IEEE Workshop on Software Technologies for Future Embedded Systems, WSTFES 2003, Hakodate, Hokkaido, Japan, May 15-16, 2003, pp. 13-16, 2003, IEEE Computer Society, 0-7695-1937-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
25 | Yong Meng Teo, Bhakti S. S. Onggo, Seng Chuan Tay |
Effect of Event Orderings on Memory Requirement in Parallel Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASCOTS ![In: 9th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS 2001), 15-18 August 2001, Cincinnati, OH, USA, pp. 41-48, 2001, IEEE Computer Society, 0-7695-1315-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
25 | Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel |
Requirement-Based Automated Black-Box Test Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 25th International Computer Software and Applications Conference (COMPSAC 2001), Invigorating Software Development, 8-12 October 2001, Chicago, IL, USA, pp. 489-495, 2001, IEEE Computer Society, 0-7695-1372-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Selective Testing, Requirements, Regression Testing, System Model, SDL, Black-Box Testing, System Testing, Automated Test Generation, EFSM |
25 | Reinhard Gotzhein, Martin Kronenburg, Christian Peper |
Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTRTFT ![In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings, pp. 65-74, 1998, Springer, 3-540-65003-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
real-time, formal specification, formal methods, temporal logic, case study, reuse, requirements analysis, pattern discovery |
25 | Imran A. Zualkernan, Wei-Tek Tsai |
Are knowledge representations the answer to requirement analysis? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: 1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA, pp. 437-443, 1988, IEEE Computer Society, 0-8186-0874-9. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
25 | Rodrigo O. Spínola, Felipe C. R. Pinto, Guilherme Horta Travassos |
UbiCheck: an approach to support requirements definition in the ubicomp domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 306-310, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
ubiquitous computing, empirical study, requirement engineering, requirement definition |
25 | Hanania T. Salzer |
Abstraction Level Hierarchy: The Model and its Significance for Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SwSTE ![In: IEEE International Conference on Software Science, Technology & Engineering, SwSTE 2010, Herzlia, Israel, June 15-16, 2010, pp. 61-69, 2010, IEEE Computer Society, 978-0-7695-4061-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
abstraction level hierarchy, atomic requirement specification, design, entropy, Abstraction, requirements, requirement specification |
25 | Johan Natt och Dag, Vincenzo Gervasi, Sjaak Brinkkemper, Björn Regnell |
A Linguistic-Engineering Approach to Large-Scale Requirements Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(1), pp. 32-39, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
large-scale requirements management, requirement relationships, requirements similarity, requirement duplicates, natural language processing, requirements engineering, redundancy, linguistic engineering |
25 | Farhad Hayat, Thomas W. Williams, Rohit Kapur, D. Hsu |
DFT closure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 9th Asian Test Symposium (ATS 2000), 4-6 December 2000, Taipei, Taiwan, pp. 8-9, 2000, IEEE Computer Society, 0-7695-0887-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
area requirement, power requirement, timing closure flow, logic testing, SoC, integrated circuit testing, design for testability, automatic testing, application specific integrated circuits, ASIC, testability |
24 | Stephan Hammer, Karin Leichtenstern, Elisabeth André |
Using the mobile application EDDY for gathering user information in the requirement analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EICS ![In: Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, EICS 2010, Berlin, Germany, June 19-23, 2010, pp. 279-284, 2010, ACM, 978-1-4503-0083-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
experience sampling method (esm), mobile phones, requirement analysis, cultural probes, context-aware system |
24 | Marie-Agnès Peraldi-Frati, Arnaud Albinet |
Requirement traceability in safety critical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDCC-CARS ![In: 1st Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain, 27 April 2010, pp. 11-14, 2010, ACM, 978-1-60558-915-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
modeling, validation, time, safety, traceability, non-functional requirement, MARTE |
24 | Cheng-Chung Lin, Kumbesan Sandrasegaran, Huda Adibah Mohd Ramli, Minjie Xue |
Requirement of Handover Modeling in the Downlink 3GPP Long Term Evolution System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA Workshops ![In: 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2010, Perth, Australia, 20-13 April 2010, pp. 305-310, 2010, IEEE Computer Society, 978-0-7695-4019-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
UTRAN LTE, E-UTRAN, requirement and architecture, packet scheduling, handover, LTE |
24 | Chia-Yin Lin, Makoto Okamoto |
The Method of User's Requirement Analysis by Participation of the User: Constructing an Information System for Travelers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 862-868, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Participatory Design, User Requirement, Scenario Based Design |
24 | Yan Tang, Kunwu Feng, Kendra M. L. Cooper, João W. Cangussu |
Requirement Engineering Techniques Selection and Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMLA ![In: International Conference on Machine Learning and Applications, ICMLA 2009, Miami Beach, Florida, USA, December 13-15, 2009, pp. 705-709, 2009, IEEE Computer Society, 978-0-7695-3926-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Requirement Engineering, Expert System, Bayesian Belief Network, Data Conversion |
24 | Ermeson Carneiro de Andrade, Paulo Romero Martins Maciel, Gustavo Rau de Almeida Callou, Bruno Costa e Silva Nogueira, Carlos Araújo |
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 377-381, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
UML, embedded systems, time petri net, requirement validation |
24 | Jongho Ryu, Jungchan Na |
Security Requirement for Cyber Attack Traceback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM (2) ![In: NCM 2008, The Fourth International Conference on Networked Computing and Advanced Information Management, Gyeongju, Korea, September 2-4, 2008 - Volume 2, pp. 653-658, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Requirement, Traceback |
24 | Chih-Hung Chang, Chih-Wei Lu, William C. Chu |
Improving Software Integration from Requirement Process with a Model-Based Object-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSIRI ![In: Second International Conference on Secure System Integration and Reliability Improvement, SSIRI 2008, July 14-17, 2008, Yokohama, Japan, pp. 175-176, 2008, IEEE Computer Society, 978-0-7695-3266-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
UML, Object-oriented, Software Maintenance, Software Models, Software Requirement |
24 | Arash Shaban-Nejad, Volker Haarslev |
Towards a framework for requirement change management in healthcare software applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada, pp. 807-808, 2007, ACM, 978-1-59593-865-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ontology, agent, change management, software requirement |
24 | Yoshiki Mitani, Tomoko Matsumura, Mike Barker, Seishiro Tsuruho, Katsuro Inoue, Ken-ichi Matsumoto |
Proposal of a Complete Life Cycle In-Process Measurement Model Based on Evaluation of an In-Process Measurement Experiment Using a Standardized Requirement Definition Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, ESEM 2007, September 20-21, 2007, Madrid, Spain, pp. 11-20, 2007, ACM / IEEE Computer Society, 0-7695-2886-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
In-process measurement, Requirement definition phase measurement, Enterprise Architecture, Empirical software engineering, Software process measurement |
24 | Richard Y. Huang, Andrew A. Chien, Henri Casanova |
Generating grid resource requirement specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the 16th International Symposium on High-Performance Distributed Computing (HPDC-16 2007), 25-29 June 2007, Monterey, California, USA, pp. 233-234, 2007, ACM, 978-1-59593-673-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
resource requirement specification, scientific workflows |
24 | Dong-Hwan Park, Soon-Ju Kang |
IEEE1394 OHCI device driver architecture for guarantee real-time requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 389-393, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
IEEE1394 OHCI device driver architecture, guaranteed real time requirement, priority based packet queueing, interrupt latency time, ISR, Interrupt Service Routine, device driver level support, real time characteristics, high priority applications, digital multimedia services, hard real time instrumentation, control applications, real-time systems, queueing theory, packet switching, interrupts, client-server systems, home networks, device drivers, QoS guarantees, real time requirements, real time middleware |
24 | Seongjun Yun, Minseok Pang, Hongjin Cho, Jongho Chae, Yoonjung Choi, Eun-Seok Lee 0001 |
User-Friendly Support Environment for Requirement Analysis in User Interface Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP Workshops ![In: Proceedings of the 1999 International Conference on Parallel Processing Workshops, ICPPW 1999, Wakamatsu, Japan, September 21-24, 1999, pp. 414-417, 1999, IEEE Computer Society, 0-7695-0353-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
design, user interface, sketching, requirement analysis, storyboard |
24 | Majola H. Oosthuizen |
Organizational strategy making support systems task driven development requirement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (4) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 903-912, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
organizational strategy making support systems, task driven development requirement, software characteristics, strategy making task, software engineering, business data processing, strategic planning, pilot study |
24 | Michela Degl'Innocenti, Gian-Luigi Ferrari 0002, Giuliano Pacini, Franco Turini |
RSF: A Formalism for Executable Requirement Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(11), pp. 1235-1246, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
RSF, executable requirement specifications, occurrence times, logic programming, queries, rapid prototyping, events, time constraints, formalism, software prototyping, answers, transition rules |
Displaying result #1 - #100 of 10208 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|