|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 813 occurrences of 535 keywords
|
|
|
|
|
Results
Found 597 publication records. Showing 597 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 4 | Martin J. Diepstraten |
Command and control system requirements analysis. System requirements specification tactical system CUP CMT.  |
ICECCS  |
1995 |
DBLP DOI BibTeX RDF |
command and control system requirements analysis, system requirements specification tactical system, CUP CMT, user requirements analysis, process and information analysis, technical system analysis, system-oriented level, system reengineering, integrated tool support, rapid prototyping, systems analysis, software prototyping, systems re-engineering, information analysis, structured approach, command and control systems |
| 3 | Alistair G. Sutcliffe, Julia Rose Galliers, Shailey Minocha |
Human Errors and System Requirements. (PDF / PS)  |
RE  |
1999 |
DBLP DOI BibTeX RDF |
Bayesian Belief Net, Scenario-based Requirements Engineering, Human Error, System Requirements, Use Case Modelling |
| 3 | William Chan, Richard J. Anderson, Paul Beame, David Notkin |
Improving Efficiency of Symbolic Model Checking for State-Based System Requirements.  |
ISSTA  |
1998 |
DBLP DOI BibTeX RDF |
TCAS II, partitioned transition relation, system requirements specification, formal verification, abstraction, binary decision diagrams, statecharts, reachability analysis, symbolic model checking, RSML |
| 3 | John T. Nosek, Ruth B. Schwartz |
User Validation of Information System Requirements: Some Empirical Results.  |
IEEE Trans. Software Eng.  |
1988 |
DBLP DOI BibTeX RDF |
information system requirements, HIPO, system flowcharts, Warnier-Orr diagrams, user understanding, systems analysis, systems analysis, user requirements, data-flow diagram, DFD |
| 2 | Eric Le Pors, Olivier Grisvard |
Conceptual Modeling for System Requirements Enhancement.  |
Ada-Europe  |
2009 |
DBLP DOI BibTeX RDF |
conceptual modeling, requirements, complex systems, System engineering |
| 2 | Neil A. M. Maiden |
User Requirements and System Requirements.  |
IEEE Software  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Pavan Kumar Chittimalli, Mary Jean Harrold |
Regression test selection on system requirements.  |
ISEC  |
2008 |
DBLP DOI BibTeX RDF |
requirements, traceability, regression testing, test case prioritization, regression test selection |
| 2 | Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Marinelli, Pasqualina Potena |
Driving the selection of cots components on the basis of system requirements.  |
ASE  |
2007 |
DBLP DOI BibTeX RDF |
COTS selection, software requirements, optimization model |
| 2 | Grace A. Lewis, Edwin J. Morris |
From System Requirements to COTS Evaluation Criteria.  |
ICCBSS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaoshan Li, Zhiming Liu, Jifeng He, Quan Long |
Generating a Prototype from a UML Model of System Requirements.  |
ICDCIT  |
2004 |
DBLP DOI BibTeX RDF |
Formal Specification, Prototype, Code Generation, Requirements analysis |
| 2 | David Lowe |
Web system requirements: an overview.  |
Requir. Eng.  |
2003 |
DBLP DOI BibTeX RDF |
Domain uncertainty, Online systems, Requirements, Web systems, Volatility |
| 2 | Chiung-Hui Leon Lee, Alan Liu |
A Method for Agent-Based System Requirements Analysis.  |
ISMSE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Alistair G. Sutcliffe, Andreas Gregoriades |
Validating Functional System Requirements with Scenarios. (PDF / PS)  |
RE  |
2002 |
DBLP DOI BibTeX RDF |
|
| 2 | Mark Bergman, John Leslie King, Kalle Lyytinen |
Large-Scale Requirements Analysis Revisited: The need for Understanding the Political Ecology of Requirements Engineering.  |
Requir. Eng.  |
2002 |
DBLP DOI BibTeX RDF |
Heterogeneous engineering, Political requirements, Functional requirements, System requirements, System failures |
| 2 | Nandish V. Patel |
Deferred system's design: Situated system requirements gathering with Hyper-Tmodeller.  |
AI Soc.  |
2001 |
DBLP DOI BibTeX RDF |
Deferred system design, Hyper-Tmodeller, Situated systems development, Tailorable information systems, Modelling, Hypermedia |
| 2 | Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi |
System Requirements and Formal Specifications of Hierarchical Reactive Systems. (PDF / PS)  |
ICPADS  |
2000 |
DBLP DOI BibTeX RDF |
Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness |
| 2 | Chris Matthews, Paul A. Swatman |
Fuzzy concepts and formal methods: some illustrative examples.  |
APSEC  |
2000 |
DBLP DOI BibTeX RDF |
fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language |
| 2 | José Parets-Llorca, Paul Grünbacher |
Capturing, Negotiating, and Evolving System Requirements: Bridging WinWin and the UML.  |
EUROMICRO  |
1999 |
DBLP DOI BibTeX RDF |
|
| 2 | Tereza G. Kirner, Rogeria C. Gratão |
A Method-Based Tool for the Specification of Multiple Views of System Requirements. (PDF / PS)  |
HICSS  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | Peter Hruschka |
Detailing and deriving system requirements.  |
ECBS  |
1997 |
DBLP DOI BibTeX RDF |
system development methods, systems analysis, system requirements, software engineering methods |
| 2 | Gerald Kotonya, Ian Sommerville |
Integrating safety analysis and requirements engineering.  |
APSEC  |
1997 |
DBLP DOI BibTeX RDF |
viewpoint-based, formal specification, requirements engineering, safety analysis, system requirements, system failures |
| 2 | Dennis Mulcare |
Striving for coherency to mitigate the complexity of system design.  |
ECBS  |
1997 |
DBLP DOI BibTeX RDF |
system design complexity, software system complexity, design product, functional architecture, embedded systems, systems analysis, design process, architectural design, system requirements, system specifications |
| 2 | John Penix, Perry Alexander, Klaus Havelund |
Declarative Specification of Software Architectures. (PDF / PS)  |
ASE  |
1997 |
DBLP DOI BibTeX RDF |
interconnected components, component variation, task coordination architecture, multi-threaded plan execution system, software architectures, formal specification, formal methods, abstraction, system requirements, declarative specification |
| 2 | Elizabeth Haywood, Philip W. Dart |
Analysis of Software System Requirements Models.  |
Australian Software Engineering Conference  |
1996 |
DBLP DOI BibTeX RDF |
software engineering, requirements engineering, requirements modelling |
| 2 | Evangelia Kavakli, Pericles Loucopoulos, Despina Filippidou |
Using Scenarios to Systematically Support Goal-Directed Elaboration for Information System Requirements.  |
ECBS  |
1996 |
DBLP DOI BibTeX RDF |
|
| 2 | Elizabeth Haywood, Philip W. Dart |
Analysis of Software System Requirements Models.  |
ASYNC  |
1996 |
DBLP DOI BibTeX RDF |
software engineering, requirements engineering, requirements modelling |
| 2 | K. Brink, Jan van Katwijk, W. J. Toetenel |
Ada 95 as implementation vehicle for formal specifications.  |
RTCSA  |
1996 |
DBLP DOI BibTeX RDF |
implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements |
| 2 | Sastry Nanduri, Spencer Rugaber |
Requirements validation via automated natural language parsing.  |
HICSS  |
1995 |
DBLP DOI BibTeX RDF |
automated natural language parsing, validation technique, document reviews, candidate objects, object model diagram, automated natural language parser, formal specification, formal verification, natural languages, grammars, object-oriented methods, object oriented analysis, requirements validation, system requirements, requirements document, high level specifications, OOA |
| 2 | Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan |
An object-oriented modeling of real-time robotic assembly system.  |
ICECCS  |
1995 |
DBLP DOI BibTeX RDF |
maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering |
| 2 | Colin Potts, Kenji Takahashi, Annie I. Antón |
Inquiry-Based Requirements Analysis.  |
IEEE Software  |
1994 |
DBLP DOI BibTeX RDF |
inquiry based requirements analysis, inquiry cycle model, software engineering, systems analysis, DP management, information needs, system requirements, scenario analysis, requirements documentation |
| 2 | Joanne M. Atlee, John D. Gannon |
State-Based Model Checking of Event-Driven System Requirements.  |
IEEE Trans. Software Eng.  |
1993 |
DBLP DOI BibTeX RDF |
event-driven system requirements, SCR tabular requirements, A-7 military aircraft, system invariants, automobile cruise control system, water-level monitoring system, model checking, formal specification, formal specification, formal verification, temporal logics, software requirements |
| 2 | W. Lewis Johnson, Martin S. Feather, David R. Harris |
Representation and Presentation of Requirements Knowledge.  |
IEEE Trans. Software Eng.  |
1992 |
DBLP DOI BibTeX RDF |
requirements knowledge, target domains, formalizing system requirements, evolution knowledge, automated focusing support, formal specification, knowledge representation, specifications, knowledge based systems, consistency, representation, software reusability, system architecture, presentation, propagation, ARIES |
| 2 | Andrew P. Moore |
The Specification and Verified Decomposition of System Requirements Using CSP.  |
IEEE Trans. Software Eng.  |
1990 |
DBLP DOI BibTeX RDF |
verified decomposition, synchronization requirements, trace model, formal specification, formal method, specification, theorem proving, CSP, synchronisation, system requirements |
| 1 | Adam W. Wilson, Yves G. Losier, Philip A. Parker, Dennis F. Lovely |
A Bus-Based Smart Myoelectric Electrode/Amplifier - System Requirements.  |
IEEE T. Instrumentation and Measurement  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Doug Williams, Marian Florin Ursu, Joshan Meenowa, Pablo César, Ian Kegel, Karl Bergström |
Video mediated social interaction between groups: System requirements and technology challenges.  |
Telematics and Informatics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Eoin Woods, Nick Rozanski |
How Software Architecture can Frame, Constrain and Inspire System Requirements.  |
Relating Software Requirements and Architectures  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Thangarajah, Gaya Buddhinath Jayatilleke, Lin Padgham |
Scenarios for system requirements traceability and testing.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Eusebio Scornavacca Jr., Balsam Al-Dabbagh |
The Challenge of Meeting Users' Requirements of a Mobile Accounting Information System.  |
ICMB  |
2011 |
DBLP DOI BibTeX RDF |
mobile accounting system, accounting, Mobile service, system requirements |
| 1 | Jörg Desel, Agathe Merceron |
Vicinity Respecting Homomorphisms for Abstracting System Requirements.  |
T. Petri Nets and Other Models of Concurrency  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Remo Ferrari, James A. Miller, Nazim H. Madhavji |
A controlled experiment to assess the impact of system architectures on new system requirements.  |
Requir. Eng.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Balsam A. Mustafa |
Comparing the Effect of Use Case Format on End User Understanding of System Requirements.  |
JITR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Yonghua Lin, Ling Shao, Zhenbo Zhu, Qing Wang, Ravie K. Sabhikhi |
Wireless network cloud: Architecture and system requirements.  |
IBM Journal of Research and Development  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wladimir Schamai, Philipp Helle, Peter Fritzson, Christiaan J. J. Paredis |
Virtual Verification of System Designs against System Requirements.  |
MoDELS Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Siena, Giampaolo Armellin, Gianluca Mameli, John Mylopoulos, Anna Perini, Angelo Susi |
Establishing Regulatory Compliance for Information System Requirements: An Experience Report from the Health Care Domain.  |
ER  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leif Azzopardi, Wim Vanderbauwhede, Hideo Joho |
Search system requirements of patent analysts.  |
SIGIR  |
2010 |
DBLP DOI BibTeX RDF |
patent analysts, patent engineers, patent search, user study |
| 1 | Shamal Faily, Ivan Flechais |
Barry is not the weakest link: eliciting secure system requirements with personas.  |
BCS HCI  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Liqun Hou, Neil W. Bergmann |
System requirements for industrial wireless sensor networks.  |
ETFA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Monsalve, Alain April, Alain Abran |
Representing Unique Stakeholder Perspectives in BPM Notations.  |
SERA  |
2010 |
DBLP DOI BibTeX RDF |
representational analysis, business process modeling, software requirements, system requirements, levels of abstraction |
| 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 | Daniel A. Menascé, John M. Ewing, Hassan Gomaa, Sam Malek, João Pedro Sousa |
A framework for utility-based service oriented design in SASSY.  |
WOSP/SIPEW  |
2010 |
DBLP DOI BibTeX RDF |
optimization, service oriented architecture, software architectures, heuristic, autonomic computing, utility functions, qos |
| 1 | Sandor M. Veres |
Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space.  |
Brain-Inspired Information Technology  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Francu, Petr Hnetynka |
Automated Code Generation from System Requirements in Natural Language.  |
e-Informatica  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Ing-Long Wu, Ching-Yi Hung |
A strategy-based process for effectively determining system requirements in eCRM development.  |
Information & Software Technology  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marek J. Greniewski |
Selected MRP II Standard System requirements presented in Z-notation.  |
Kybernetes  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanping Chen, Robert L. Probert, Hasan Ural |
Regression test suite reduction based on SDL models of system requirements.  |
Journal of Software Maintenance  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Suranjan Chakraborty, Josh Dehlinger |
Applying the Grounded Theory Method to Derive Enterprise System Requirements.  |
SNPD  |
2009 |
DBLP DOI BibTeX RDF |
Grounded Theory Method, Requirements Engineering, Enterprise Architectures |
| 1 | Elaine A. Carvalho, Tatiana Escovedo, Rubens N. Melo |
Using Business Processes in System Requirements Definition.  |
SEW  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Parry, Jawed Siddiqi |
Applying Visualisation to Validating Software System Requirements.  |
SoMeT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Manfred Broy |
From system requirements documents to integrated system modeling artifacts.  |
ACM Symposium on Document Engineering  |
2009 |
DBLP DOI BibTeX RDF |
integrated artifact models, tool support |
| 1 | Ronald Matthew Yannone |
Enhancing the Commander's Decision Aid to Network-Centric Platform Protection System Requirements.  |
GI Jahrestagung  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Atif Farid Mohammad |
SOA and use of System Requirements Design - SRD: An Era of SOA 3.0.  |
Software Engineering Research and Practice  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Rui Zhang 0002, Goichiro Hanaoka, Hideki Imai |
A generic construction of useful client puzzles.  |
ASIACCS  |
2009 |
DBLP DOI BibTeX RDF |
identity based KEM, security notions, useful client puzzle |
| 1 | Michal Vosatka, Tomas Zelinka |
GSM data services within CALM-based ITS solutions.  |
EATIS  |
2009 |
DBLP DOI BibTeX RDF |
global system for mobile communications GSM, seamless communications access service, intelligent transport system, signal to noise ratio, telematics, performance indicators |
| 1 | Alzbeta Krausová, Fabio Massacci, Ayda Saïdane |
How to capture and use legal patterns in IT.  |
ICAIL  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kirsten Winter, Robert Colvin, R. Geoff Dromey |
Dynamic Relational Behaviour for Large-Scale Systems.  |
Australian Software Engineering Conference  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chihhsiong Shih, Chien-Ting Wu, Cheng-Yao Lin, Pao-Ann Hsiung, Nien-Lin Hsueh, Chih-Hung Chang, Chorng-Shiuh Koong, William C. Chu |
A Model-Driven Multicore Software Development Environment for Embedded System.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Strasburg, Natalia Stakhanova, Samik Basu, Johnny S. Wong |
A Framework for Cost Sensitive Assessment of Intrusion Response Selection.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory S. Thomas, Bill Nickless, David R. Thiede, Ian Gorton, Bill J. Pitre, Jason E. Christy, Liz Faultersack, Jeffery A. Mauth |
T3: Secure, Scalable, Distributed Data Movement and Remote System Control for Enterprise Level Cyber Security.  |
COMPSAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Takao Okubo, Kenji Taguchi, Nobukazu Yoshioka |
Misuse Cases + Assets + Security Goals.  |
CSE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Chen Chen, Xin Wang 0002, Weili Han, Binyu Zang |
A Robust Detection of the Sybil Attack in Urban VANETs.  |
ICDCS Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Ankit Goel, Bikram Sengupta, Abhik Roychoudhury |
Footprinter: Round-trip engineering via scenario and state based models.  |
ICSE Companion  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard W. Selby |
Analytics-Driven Dashboards Enable Leading Indicators for Requirements and Designs of Large-Scale Systems.  |
IEEE Software  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Baihua Zheng, Wang-Chien Lee, Peng Liu, Dik Lun Lee, Xuhua Ding |
Tuning On-Air Signatures for Balancing Performance and Confidentiality.  |
IEEE Trans. Knowl. Data Eng.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cuong D. Nguyen, Erin Gallagher, Aaron Read, Gert-Jan de Vreede |
Generating User Stories in Groups.  |
CRIWG  |
2009 |
DBLP DOI BibTeX RDF |
group story telling, Requirements elicitation, user stories |
| 1 | Ingrid Rügge, Carmen Ruthenbeck, Bernd Scholz-Reiter |
Changes of HCI Methods towards the Development Process of Wearable Computing Solutions.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
Mobile Work Process, Wearable Computing, User-Centred Design, Logistics, Mobile Usability, Autonomous Control, Requirement-Monitoring |
| 1 | Carlos Vivaracho-Pascual, Juan Manuel Pascual-Gaspar, Valentín Cardeñoso-Payo |
Feature Selection in a Low Cost Signature Recognition System Based on Normalized Signatures and Fractional Distances.  |
ICB  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | David Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas Wagner, Michael W. Whalen |
Development of Security Software: A High Assurance Methodology.  |
ICFEM  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Attfield, Ann Blandford |
Improving the Cost Structure of Sensemaking Tasks: Analysing User Concepts to Inform Information System Design.  |
INTERACT  |
2009 |
DBLP DOI BibTeX RDF |
fraud investigations, conceptual design, Sensemaking |
| 1 | Sanjin Pajo, Senka Zubic, Agnieszka Matysiak Szóstek, Janienke Sturm |
Design and Evaluation of a Large Interactive Display to Support Social Interaction at Work.  |
INTERACT  |
2009 |
DBLP DOI BibTeX RDF |
Large Touch-Screen Display, BSCW, Design, Social Interaction |
| 1 | Christoph Marhold, Clotilde Rohleder, Camille Salinesi, Jörg Dörr |
Clarifying Non-functional Requirements to Improve User Acceptance - Experience at Siemens.  |
REFSQ  |
2009 |
DBLP DOI BibTeX RDF |
Non-Functional Requirements, User Acceptance |
| 1 | Avi Soffer, Dov Dori |
Bridging the requirements-implementation modeling gap with object-process methodology.  |
ISSE  |
2009 |
DBLP DOI BibTeX RDF |
Transition from specification to design, Model-driven development |
| 1 | Michael Elliott, Ray Dawson, Janet Edwards |
An evolutionary cultural-change approach to successful software process improvement.  |
Software Quality Journal  |
2009 |
DBLP DOI BibTeX RDF |
Standards, Training, Culture, Conformance, Return-on-investment, Quality improvement |
| 1 | Dominique Cansell, Dominique Méry, Cyril Proch |
System-on-chip design by proof-based refinement.  |
STTT  |
2009 |
DBLP DOI BibTeX RDF |
Event B method, Simulation, System-on-chip, Refinement, Formal modelling, Operational semantics, SystemC, Proof |
| 1 | Vittorio Cortellessa, Ivica Crnkovic, Fabrizio Marinelli, Pasqualina Potena |
Experimenting the Automated Selection of COTS Components Based on Cost and System Requirements.  |
J. UCS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Xiaoshan Li, Zhiming Liu |
Prototyping System Requirements Model.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Autili, Patrizio Pelliccione |
Towards a Graphical Tool for Refining User to System Requirements.  |
Electr. Notes Theor. Comput. Sci.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bill Hasling, Helmut Goetz, Klaus Beetz |
Model Based Testing of System Requirements using UML Use Case Models.  |
ICST  |
2008 |
DBLP DOI BibTeX RDF |
UML, Model Based Testing, Requirements Tracing |
| 1 | Yuen Man Hon, Jan-Tecker Gayen, Hans-Dieter Ehrich |
OOLH: A Formal Framework for Specifying System Requirements.  |
SIGSAND-EUROPE  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Heather Goldsby, Peter Sawyer, Nelly Bencomo, Betty H. C. Cheng, Danny Hughes |
Goal-Based Modeling of Dynamically Adaptive System Requirements.  |
ECBS  |
2008 |
DBLP DOI BibTeX RDF |
requirements engineering, model driven development, goal modeling, dynamically adaptive systems |
| 1 | René Brunner, Felix Freitag, Leandro Navarro |
Towards the development of a decentralized market information system: Requirements and architecture.  |
IPDPS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Francu, Petr Hnetynka |
Automated Generation of Implementation from Textual System Requirements.  |
CEE-SET  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karina Villela, Jörg Dörr, Anne Gross |
Proactively Managing the Evolution of Embedded System Requirements.  |
RE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Renata Guanaes Machado, Marcos R. S. Borges, José Orlando Gomes |
Supporting the System Requirements Elicitation through Collaborative Observations.  |
CRIWG  |
2008 |
DBLP DOI BibTeX RDF |
Collaborative Observation, Cognition, Requirements Elicitation |
| 1 | Karl-Heinz Lampe, Klaus Riede, Martin Doerr |
Research between natural and cultural history information: Benefits and IT-requirements for transdisciplinarity.  |
JOCCH  |
2008 |
DBLP DOI BibTeX RDF |
ISO 21127, crossdisciplinary search, natural history, transdisciplinarity, ontologies, information integration, cultural heritage, museums, system requirements, Interdisciplinary research, biodiversity, georeferencing, semantic enrichment |
| 1 | Brandon M. Malone, Ambareen Siraj |
Tracking requirements and threats for secure software development.  |
ACM Southeast Regional Conference  |
2008 |
DBLP DOI BibTeX RDF |
requirements tracking, security engineering, misuse case |
| 1 | Peter Grogono, Brian Shearing |
Concurrent software engineering: preparing for paradigm shift.  |
C3S2E  |
2008 |
DBLP DOI BibTeX RDF |
concurrency, software development, programming languages, evolvability, paradigm shift |
| 1 | Miroslav Svitek, Tomas Zelinka |
Decision processes in multi-path telematic communications systems.  |
EATIS  |
2008 |
DBLP DOI BibTeX RDF |
global satellite navigation system, seamless communications access service, training processes, Kalman filter, intelligent transport system, handover, telematics, performance indicators |
| 1 | Danny Weyns, Tom Holvoet, Kurt Schelfthout, Jan Wielemans |
Decentralized control of automatic guided vehicles: applying multi-agent systems in practice.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
automatic guided vehicle, multi-agent system, software architecture, decentralized control, AGV |
| 1 | Marcos E. B. Broinizi, João Eduardo Ferreira, Alfredo Goldman |
Using annotations in the naked objects framework to explore data requirements.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
agile methods of software development, conceptual data design, data requirements exploration, requirements engineering, requirements specification, data abstractions |
| 1 | Juan Pablo Carvallo, Xavier Franch, Carme Quer |
Requirements engineering for COTS-based software systems.  |
SAC  |
2008 |
DBLP DOI BibTeX RDF |
requirements engineering, COTS, quality models |
Displaying result #1 - #100 of 597 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|