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

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