ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Using norm analysis patterns for automated requirements validation
2012 Second IEEE International Workshop on Requirements Patterns (RePa)
◽
10.1109/repa.2012.6359965
◽
2012
◽
Cited By ~ 4
Author(s):
Richa Sharma
◽
K.K. Biswas
Keyword(s):
Requirements Validation
Download Full-text
Related Documents
Cited By
References
Air Conditioner Requirements Validation Review of the Divarty Computer Group of the Fire Direction Center, Artillery (OL-48B/GSB10(V)), or TACFIRE
10.21236/ada251180
◽
1992
◽
Author(s):
Gregory F. Brainard
◽
Andrew A. Thompson
◽
James P. Lucas
Keyword(s):
Air Conditioner
◽
Requirements Validation
Download Full-text
Requirements validation based on the visualisation of executable formal specifications
Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)
◽
10.1109/cmpsac.1998.716684
◽
2002
◽
Author(s):
M.B. Ozcan
◽
P.W. Parry
◽
I.C. Morrey
◽
J. Siddiqi
Keyword(s):
Formal Specifications
◽
Requirements Validation
Download Full-text
Requirements validation of a voice communication system used in air traffic control. An industrial application of light-weight formal methods
Proceedings Fourth International Conference on Requirements Engineering. ICRE 2000. (Cat. No.98TB100219)
◽
10.1109/icre.2000.855610
◽
2002
◽
Author(s):
J. Horl
◽
B.K. Aichernig
Keyword(s):
Formal Methods
◽
Traffic Control
◽
Industrial Application
◽
Communication System
◽
Air Traffic Control
◽
Air Traffic
◽
Light Weight
◽
Voice Communication
◽
Requirements Validation
Download Full-text
Applying Petri Nets to Requirements Validation
IFAC Proceedings Volumes
◽
10.1016/s1474-6670(17)36190-6
◽
2004
◽
Vol 37
(4)
◽
pp. 659-666
◽
Cited By ~ 1
Author(s):
José Reinaldo Silva
◽
Eston Almança dos Santos
Keyword(s):
Petri Nets
◽
Requirements Validation
Download Full-text
Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation
Proceedings. 12th IEEE International Requirements Engineering Conference, 2004.
◽
10.1109/icre.2004.1335678
◽
2004
◽
Cited By ~ 10
Author(s):
S. Uchitel
◽
R. Chatley
◽
J. Kramer
◽
J. Magee
Keyword(s):
Requirements Validation
Download Full-text
Requirements Validation: Execution of UML Models with CPN Tools
International Journal on Software Tools for Technology Transfer
◽
10.1007/s10009-007-0035-0
◽
2007
◽
Vol 9
(3-4)
◽
pp. 353-369
◽
Cited By ~ 12
Author(s):
Ricardo J. Machado
◽
Kristian Bisgaard Lassen
◽
Sérgio Oliveira
◽
Marco Couto
◽
Patrícia Pinto
Keyword(s):
Requirements Validation
◽
Cpn Tools
◽
Uml Models
Download Full-text
A Practical Formal Approach for Requirements Validation and Verification of Dependable Systems
2011 Fifth Latin-American Symposium on Dependable Computing Workshops
◽
10.1109/ladcw.2011.14
◽
2011
◽
Cited By ~ 2
Author(s):
Miriam C. Bergue Alves
◽
Doron Drusinsky
◽
Man-Tak Shing
Keyword(s):
Formal Approach
◽
Validation And Verification
◽
Requirements Validation
◽
Dependable Systems
Download Full-text
Towards feature-oriented requirements validation for automotive systems
2014 IEEE 22nd International Requirements Engineering Conference (RE)
◽
10.1109/re.2014.6912294
◽
2014
◽
Cited By ~ 6
Author(s):
Jiale Zhou
◽
Yue Lu
◽
Kristina Lundqvist
◽
Henrik Lonn
◽
Daniel Karlsson
◽
...
Keyword(s):
Requirements Validation
◽
Automotive Systems
Download Full-text
A Concept Lattice Approach for Requirements Validation with UML State Machine Model
5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007)
◽
10.1109/sera.2007.8
◽
2007
◽
Cited By ~ 2
Author(s):
Pin Ng
Keyword(s):
Concept Lattice
◽
State Machine
◽
Machine Model
◽
Requirements Validation
◽
Lattice Approach
Download Full-text
Applying use cases for the requirements validation of component-based real-time software
Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702)
◽
10.1109/isorc.1999.776354
◽
2003
◽
Cited By ~ 5
Author(s):
W. Fleisch
Keyword(s):
Real Time
◽
Use Cases
◽
Requirements Validation
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close