Commits · a11ac6c9824908ebaaa2ec555e57a21b597b6d1d · af3 / af3-rcp

Jun 24, 2020

GREEN · db762126

Johannes Eder authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Johannes Eder <eder@fortiss.org>

db762126

removed the burger menu on the getting_started.html page and added a new · 6f2e5416

Saad bin Abid authored 4 years ago

sub-page for behavior modeling as per Johannes's feedback. Review Ready
now.

Issue-Ref: 4018
Issue-Url: https://af3-developer.fortiss.org/issues/4018



Signed-off-by: Saad bin Abid <abid@fortiss.org>

6f2e5416

Add JavaScript-based workaround to fix home button on Firefox · 6714e9d1

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

6714e9d1

Jun 23, 2020

Fix links · ab6e4696

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

ab6e4696

Fixed Johannes Feedback · 88994df7

Saad bin Abid authored 4 years ago

Issue-Ref: 4018
Issue-Url: https://af3-developer.fortiss.org/issues/4018



Signed-off-by: Saad bin Abid <abid@fortiss.org>

88994df7

Jun 17, 2020

Make burger icon the home link (remove "Main Page" entry) · a4c7c950

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

a4c7c950

Optimize layout of start page · d7359f60

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

d7359f60

Jun 16, 2020

Fix indentation · aab52966

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

aab52966

YELLOW · c3fa3d31

Simon Barner authored 4 years ago

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

c3fa3d31

Jun 15, 2020

Fixed the getting_started.html page completely. Ready for review. · a50ef6fd

Saad bin Abid authored 4 years ago


Also got rid of links to previous style and updated newly created
stylesheet.css file.

Signed-off-by: Saad bin Abid <abid@fortiss.org>

a50ef6fd

Jun 12, 2020

Changed the ratings file for getting_started.html to review ready · 3062a0ba

Saad bin Abid authored 4 years ago

(Yellow)

Issue-Ref: 4018
Issue-Url: https://af3-developer.fortiss.org/issues/4018



Signed-off-by: Saad bin Abid <abid@fortiss.org>

3062a0ba

Jun 11, 2020

modernized getting_started.html and removed the old getting_Started.html · 8f312678

Saad bin Abid authored 4 years ago

page. Also updated the main_style.css with new style.

Issue-Ref: 4018
Issue-Url: https://af3-developer.fortiss.org/issues/4018



Signed-off-by: Saad bin Abid <abid@fortiss.org>

8f312678

Jun 08, 2020

Clean up pages · 7c221fdd

Simon Barner authored 4 years ago

- Indent
- Close all HTML tags
- Add footer with copyright, contact, imprint
- Minor fixes

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: Simon Barner <barner@fortiss.org>

7c221fdd

Jun 03, 2020

updated layouts, updated ratings file and further fixing of menu items. · 826e81ac

Saad bin Abid authored 4 years ago

Issue-Ref: 4007
Issue-Url: https://af3-developer.fortiss.org/issues/4007



Signed-off-by: Saad bin Abid <abid@fortiss.org>

826e81ac

changed ratings for assuranceCases and rest of the html files · d9979cd8

Saad bin Abid authored 4 years ago

Issue-Ref: 4007
Issue-Url: https://af3-developer.fortiss.org/issues/4007



Signed-off-by: Saad bin Abid <abid@fortiss.org>

d9979cd8

May 02, 2020

committed yellow ratings, fixed DSE and completed/toc.xml. However, · e9cbd0a4

Saad bin Abid authored 4 years ago

Assurance cases still not done

*

Issue-Ref: 4006
Issue-Url: https://af3-developer.fortiss.org/issues/4006



Signed-off-by: saadbinabid1 <abid@fortiss.org>

e9cbd0a4

Apr 22, 2020
- updated new features and faq htmls for release 2.17 · 48408a3e
  Johannes Eder authored 4 years ago
  
  Signed-off-by: Johannes Eder <eder@fortiss.org>
  48408a3e
Apr 01, 2020

GREEN · d70c3c7c

Johannes Eder authored 4 years ago

Issue-Ref: 3947
Issue-Url: https://af3-developer.fortiss.org/issues/3947



Signed-off-by: Johannes Eder <eder@fortiss.org>

d70c3c7c

Mar 30, 2020

GREEN · a31e47f9

Johannes Eder authored 5 years ago

Issue-Ref: 3948
Issue-Url: https://af3-developer.fortiss.org/issues/3948



Signed-off-by: Johannes Eder <eder@fortiss.org>

a31e47f9

Update help pages regarding component architectures · 0cbdf689

Tiziano Munaro authored 5 years ago

* Screenshots have been updated to match the JavaFX editors
* New JavaFX-specific features such as adding and removing bend points
have been introduced
* The descriptions of existing functionality have been updated to match
their current implementation

Issue-Ref: 3948
Issue-Url: https://af3-developer.fortiss.org/issues/3948



Signed-off-by: Tiziano Munaro <munaro@fortiss.org>

0cbdf689

GREEN · e3b4d70f

Johannes Eder authored 5 years ago

Issue-Ref: 3950
Issue-Url: https://af3-developer.fortiss.org/issues/3950



Signed-off-by: Johannes Eder <eder@fortiss.org>

e3b4d70f

replaced screenshot · a953f997

Johannes Eder authored 5 years ago

Issue-Ref: 3967
Issue-Url: https://af3-developer.fortiss.org/issues/3967



Signed-off-by: Johannes Eder <eder@fortiss.org>

a953f997

Mar 24, 2020

GREEN · 6c15c43e

Johannes Eder authored 5 years ago

Issue-Ref: 3949
Issue-Url: https://af3-developer.fortiss.org/issues/3949



Signed-off-by: Johannes Eder <eder@fortiss.org>

6c15c43e

Nov 25, 2019

GREEN · 7fc65db5

Simon Barner authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Simon Barner <barner@fortiss.org>

7fc65db5

YELLOW · 324e0386

Johannes Eder authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Johannes Eder <eder@fortiss.org>

324e0386

merged website FAQs · 35ceb298

Johannes Eder authored 5 years ago

Issue-Ref: 3871
Issue-Url: https://af3-developer.fortiss.org/issues/3871



Signed-off-by: Johannes Eder <eder@fortiss.org>

35ceb298

Nov 06, 2019

Remove dependency to Message Sequence Charts (af3.msc) · 15cf6c98

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

15cf6c98

Remove online help for refinement, testing, and formal verification · 2df1cb40

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

2df1cb40

Remove af3.refinement documentation · 77b5d50d

Simon Barner authored 5 years ago

Issue-Ref: 3861
Issue-Url: https://af3-developer.fortiss.org/issues/3861



Signed-off-by: Simon Barner <barner@fortiss.org>

77b5d50d

Oct 18, 2019

Fix broken links · 141068c1

Simon Barner authored 5 years ago

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: Simon Barner <barner@fortiss.org>

141068c1

Fix HTML image links (case sensitive on Linux/MacOS) · b7d74d03

Simon Barner authored 5 years ago

Issue-Ref: 3852
Issue-Url: https://af3-developer.fortiss.org/issues/3852



Signed-off-by: Simon Barner <barner@fortiss.org>

b7d74d03

Oct 16, 2019

Online help: Synchronize TOC and overview page · aaddd2d7

Simon Barner authored 5 years ago

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

aaddd2d7

Update documentation for hardware platforms · 67acc479

Simon Barner authored 5 years ago

* Move to "ta" folder

Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

67acc479

CR: GREEN · efe18222

Alexander Diewald authored 5 years ago

Issue-Ref: 3854
Issue-Url: https://af3-developer.fortiss.org/issues/3854


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

efe18222

Oct 15, 2019
- Added docu for quantitative assessment · b79aa8a1
  Carmen Carlan authored 5 years ago
  
  Issue-Ref: 3854 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  b79aa8a1
- Split the assurance case documentation into different pages · 89763097
  Carmen Carlan authored 5 years ago
  
  Issue-Ref: 3854 Signed-off-by: Carmen Carlan <carlan@fortiss.org>
  89763097
Oct 11, 2019

Polish introduction and online help · 1645a9b3

Simon Barner authored 5 years ago

* Synchronize Eclipse help TOC
* Update help getting started page
* Move FAQ from introduction to online help (and update it)
* Ensure that all links open from Eclipse


Issue-Ref: 3834
Issue-Url: https://af3-developer.fortiss.org/issues/3834



Signed-off-by: Simon Barner <barner@fortiss.org>

1645a9b3

Oct 10, 2019

Add missing ratings · 51d9e0e2

Alexander Diewald authored 5 years ago

Issue-Ref: 3839
Issue-Url: https://af3-developer.fortiss.org/issues/3839


Signed-off-by: Alexander Diewald <diewald@fortiss.org>

51d9e0e2

Oct 08, 2019

Add further resources section / Improve image quality · 64aa72ab

Simon Barner authored 5 years ago

* List some resources for users and developers
* Better version of AF3 logo and FOCUSer teaser image

Issue-Ref: 3835
Issue-Url: https://af3-developer.fortiss.org/issues/3835



Signed-off-by: Simon Barner <barner@fortiss.org>

64aa72ab

Add dedicated box for DSE · a5ffa9a6

Simon Barner authored 5 years ago

Issue-Ref: 3835
Issue-Url: https://af3-developer.fortiss.org/issues/3835



Signed-off-by: Simon Barner <barner@fortiss.org>

a5ffa9a6