TimePF: A Tool for Modeling and Verifying Timing Requirements Based on Problem Frames

Requirements Engineering in the Big Data Era - Communications in Computer and Information Science ◽

10.1007/978-3-662-48634-4_11 ◽

2015 ◽

pp. 149-154 ◽

Cited By ~ 1

Author(s):

Yuanyang Wang ◽

Xiaohong Chen ◽

Ling Yin

Keyword(s):

Problem Frames

Download Full-text

Problem frames for socio-technical systems: predictability and change

"1st International Workshop on Advances and Applications of Problem Frames (IWAAPF 2004)" W4S Workshop - 26th International Software Engineering ◽

10.1049/ic:20040220 ◽

2004 ◽

Cited By ~ 4

Author(s):

J. Brier

Keyword(s):

Problem Frames ◽

Technical Systems

Download Full-text

Towards a CASE tool for Jackson's JSP, JSD and problem frames

"1st International Workshop on Advances and Applications of Problem Frames (IWAAPF 2004)" W4S Workshop - 26th International Software Engineering ◽

10.1049/ic:20040227 ◽

2004 ◽

Cited By ~ 3

Author(s):

N. Ourusoff

Keyword(s):

Case Tool ◽

Problem Frames

Download Full-text

Extending Problem Frames to deal with stakeholder problems

Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 ◽

10.1145/1529282.1529366 ◽

2009 ◽

Cited By ~ 1

Author(s):

An Agent ◽

Goal-Oriented Approach

Keyword(s):

Problem Frames

Download Full-text

A State Machine Analysis Support System Based on the Problem Frames

2011 18th Asia-Pacific Software Engineering Conference ◽

10.1109/apsec.2011.46 ◽

2011 ◽

Author(s):

Osamu Shigo ◽

Kaoru Yokoyama

Keyword(s):

Support System ◽

State Machine ◽

Problem Frames ◽

Machine Analysis

Download Full-text

An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions

10.1109/rew53955.2021.00077 ◽

2021 ◽

Author(s):

Hongbin Xiao ◽

Zhi Li ◽

Yilong Yang ◽

Jie Deng ◽

Shangfeng Wei

Keyword(s):

Meta Model ◽

Problem Frames

Download Full-text

Simplifying the Formal Verification of Safety Requirements in Zone Controllers Through Problem Frames and Constraint-Based Projection

IEEE Transactions on Intelligent Transportation Systems ◽

10.1109/tits.2018.2869633 ◽

2018 ◽

Vol 19 (11) ◽

pp. 3517-3528 ◽

Cited By ~ 5

Author(s):

Zhengheng Yuan ◽

Xiaohong Chen ◽

Jing Liu ◽

Yijun Yu ◽

Haiying Sun ◽

...

Keyword(s):

Formal Verification ◽

Safety Requirements ◽

Problem Frames

Download Full-text

The Operational Principle and Problem Frames

Reflections on the Work of C.A.R. Hoare ◽

10.1007/978-1-84882-912-1_7 ◽

2010 ◽

pp. 143-165 ◽

Cited By ~ 1

Author(s):

Michael Jackson

Keyword(s):

Operational Principle ◽

Problem Frames

Download Full-text

Functional size measurement based on problem frames

Proceedings of the 3rd international workshop on Applications and advances of problem frames - IWAAPF '08 ◽

10.1145/1370811.1370820 ◽

2008 ◽

Cited By ~ 2

Author(s):

Luigi Lavazza ◽

Vieri del Bianco

Keyword(s):

Size Measurement ◽

Problem Frames ◽

Functional Size Measurement ◽

Functional Size

Download Full-text

Geographic problem frames

Proceedings Fifth IEEE International Symposium on Requirements Engineering ◽

10.1109/isre.2001.948597 ◽

2002 ◽

Author(s):

M. Nelson ◽

D. Cowan ◽

P. Alencar

Keyword(s):

Problem Frames

Download Full-text

Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames

10.1109/re51729.2021.00047 ◽

2021 ◽

Author(s):

Shangfeng Wei ◽

Zhi Li ◽

Yilong Yang ◽

Hongbin Xiao

Keyword(s):

Problem Frames ◽

Dynamic Domain

Download Full-text