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

Mapping Intimacies ◽

10.1109/re51729.2021.00047 ◽

2021 ◽

Author(s):

Shangfeng Wei ◽

Zhi Li ◽

Yilong Yang ◽

Hongbin Xiao

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 ◽

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 ◽

Author(s):

N. Ourusoff

Keyword(s):

Case Tool ◽

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 ◽

Author(s):

An Agent ◽

Goal-Oriented Approach

Keyword(s):

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

Parallel framework for Dynamic Domain Decomposition of Data Assimilation problems

Computational and Mathematical Methods ◽

10.1002/cmm4.1145 ◽

2021 ◽

Author(s):

Luisa D’Amore ◽

Rosalba Cacciapuoti

Keyword(s):

Data Assimilation ◽

Domain Decomposition ◽

Dynamic Domain Decomposition ◽

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):

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 ◽

Author(s):

Zhengheng Yuan ◽

Xiaohong Chen ◽

Jing Liu ◽

Yijun Yu ◽

Haiying Sun ◽

...

Keyword(s):

Formal Verification ◽

Safety Requirements ◽

Download Full-text

On Dynamic Domain Decomposition of Controlled Networks of Elastic Strings and Joint-Masses

Control and Estimation of Distributed Parameter Systems ◽

10.1007/978-3-0348-8849-3_15 ◽

1998 ◽

pp. 191-205

Author(s):

G. Leugering

Keyword(s):

Domain Decomposition ◽

Elastic Strings ◽

Dynamic Domain Decomposition ◽

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 ◽

Author(s):

Michael Jackson

Keyword(s):

Operational Principle ◽

Download Full-text

Mechanisms of Dynamic Domain Size Variation and Iron Losses in Si-Fe Tape-Wound Cores

IEEJ Transactions on Fundamentals and Materials ◽

10.1541/ieejfms1972.97.125 ◽

1977 ◽

Vol 97 (3) ◽

pp. 125-132

Author(s):

Kaneo Mohri ◽

Yasushi Sato ◽

Tokio Fuiimoto

Keyword(s):

Size Variation ◽

Domain Size ◽

Iron Losses ◽

Download Full-text