Incorporating Formal Techniques into Industrial Practice: an Experience Report
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional v...
Ausführliche Beschreibung
Autor*in: |
Osaiweran, Ammar [verfasserIn] |
---|
Format: |
E-Artikel |
---|---|
Sprache: |
Englisch |
Erschienen: |
2013 |
---|
Schlagwörter: |
---|
Umfang: |
15 |
---|
Übergeordnetes Werk: |
Enthalten in: Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma - Kim, H.J. ELSEVIER, 2015, ENTCS, Amsterdam [u.a.] |
---|---|
Übergeordnetes Werk: |
volume:295 ; year:2013 ; day:9 ; month:05 ; pages:49-63 ; extent:15 |
Links: |
---|
DOI / URN: |
10.1016/j.entcs.2013.04.005 |
---|
Katalog-ID: |
ELV032937024 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | ELV032937024 | ||
003 | DE-627 | ||
005 | 20230623224004.0 | ||
007 | cr uuu---uuuuu | ||
008 | 180603s2013 xx |||||o 00| ||eng c | ||
024 | 7 | |a 10.1016/j.entcs.2013.04.005 |2 doi | |
028 | 5 | 2 | |a GBVA2013007000005.pica |
035 | |a (DE-627)ELV032937024 | ||
035 | |a (ELSEVIER)S1571-0661(13)00027-3 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
041 | |a eng | ||
082 | 0 | |a 004 | |
082 | 0 | 4 | |a 004 |q DE-600 |
082 | 0 | 4 | |a 610 |q VZ |
082 | 0 | 4 | |a 610 |q VZ |
084 | |a 44.40 |2 bkl | ||
100 | 1 | |a Osaiweran, Ammar |e verfasserin |4 aut | |
245 | 1 | 0 | |a Incorporating Formal Techniques into Industrial Practice: an Experience Report |
264 | 1 | |c 2013 | |
300 | |a 15 | ||
336 | |a nicht spezifiziert |b zzz |2 rdacontent | ||
337 | |a nicht spezifiziert |b z |2 rdamedia | ||
338 | |a nicht spezifiziert |b zu |2 rdacarrier | ||
520 | |a We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. | ||
650 | 7 | |a test-driven development |2 Elsevier | |
650 | 7 | |a formal methods |2 Elsevier | |
650 | 7 | |a analytical software design |2 Elsevier | |
650 | 7 | |a software quality |2 Elsevier | |
650 | 7 | |a component-based development |2 Elsevier | |
700 | 1 | |a Schuts, Mathijs |4 oth | |
700 | 1 | |a Hooman, Jozef |4 oth | |
700 | 1 | |a Wesselius, Jacco |4 oth | |
773 | 0 | 8 | |i Enthalten in |n Elsevier Science |a Kim, H.J. ELSEVIER |t Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma |d 2015 |d ENTCS |g Amsterdam [u.a.] |w (DE-627)ELV012996882 |
773 | 1 | 8 | |g volume:295 |g year:2013 |g day:9 |g month:05 |g pages:49-63 |g extent:15 |
856 | 4 | 0 | |u https://doi.org/10.1016/j.entcs.2013.04.005 |3 Volltext |
912 | |a GBV_USEFLAG_U | ||
912 | |a GBV_ELV | ||
912 | |a SYSFLAG_U | ||
912 | |a SSG-OLC-PHA | ||
912 | |a SSG-OPC-PHA | ||
912 | |a GBV_ILN_40 | ||
912 | |a GBV_ILN_70 | ||
936 | b | k | |a 44.40 |j Pharmazie |j Pharmazeutika |q VZ |
951 | |a AR | ||
952 | |d 295 |j 2013 |b 9 |c 0509 |h 49-63 |g 15 | ||
953 | |2 045F |a 004 |
author_variant |
a o ao |
---|---|
matchkey_str |
osaiweranammarschutsmathijshoomanjozefwe:2013----:noprtnfratcnqeitidsrapatc |
hierarchy_sort_str |
2013 |
bklnumber |
44.40 |
publishDate |
2013 |
allfields |
10.1016/j.entcs.2013.04.005 doi GBVA2013007000005.pica (DE-627)ELV032937024 (ELSEVIER)S1571-0661(13)00027-3 DE-627 ger DE-627 rakwb eng 004 004 DE-600 610 VZ 610 VZ 44.40 bkl Osaiweran, Ammar verfasserin aut Incorporating Formal Techniques into Industrial Practice: an Experience Report 2013 15 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Elsevier Schuts, Mathijs oth Hooman, Jozef oth Wesselius, Jacco oth Enthalten in Elsevier Science Kim, H.J. ELSEVIER Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma 2015 ENTCS Amsterdam [u.a.] (DE-627)ELV012996882 volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 https://doi.org/10.1016/j.entcs.2013.04.005 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA SSG-OPC-PHA GBV_ILN_40 GBV_ILN_70 44.40 Pharmazie Pharmazeutika VZ AR 295 2013 9 0509 49-63 15 045F 004 |
spelling |
10.1016/j.entcs.2013.04.005 doi GBVA2013007000005.pica (DE-627)ELV032937024 (ELSEVIER)S1571-0661(13)00027-3 DE-627 ger DE-627 rakwb eng 004 004 DE-600 610 VZ 610 VZ 44.40 bkl Osaiweran, Ammar verfasserin aut Incorporating Formal Techniques into Industrial Practice: an Experience Report 2013 15 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Elsevier Schuts, Mathijs oth Hooman, Jozef oth Wesselius, Jacco oth Enthalten in Elsevier Science Kim, H.J. ELSEVIER Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma 2015 ENTCS Amsterdam [u.a.] (DE-627)ELV012996882 volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 https://doi.org/10.1016/j.entcs.2013.04.005 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA SSG-OPC-PHA GBV_ILN_40 GBV_ILN_70 44.40 Pharmazie Pharmazeutika VZ AR 295 2013 9 0509 49-63 15 045F 004 |
allfields_unstemmed |
10.1016/j.entcs.2013.04.005 doi GBVA2013007000005.pica (DE-627)ELV032937024 (ELSEVIER)S1571-0661(13)00027-3 DE-627 ger DE-627 rakwb eng 004 004 DE-600 610 VZ 610 VZ 44.40 bkl Osaiweran, Ammar verfasserin aut Incorporating Formal Techniques into Industrial Practice: an Experience Report 2013 15 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Elsevier Schuts, Mathijs oth Hooman, Jozef oth Wesselius, Jacco oth Enthalten in Elsevier Science Kim, H.J. ELSEVIER Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma 2015 ENTCS Amsterdam [u.a.] (DE-627)ELV012996882 volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 https://doi.org/10.1016/j.entcs.2013.04.005 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA SSG-OPC-PHA GBV_ILN_40 GBV_ILN_70 44.40 Pharmazie Pharmazeutika VZ AR 295 2013 9 0509 49-63 15 045F 004 |
allfieldsGer |
10.1016/j.entcs.2013.04.005 doi GBVA2013007000005.pica (DE-627)ELV032937024 (ELSEVIER)S1571-0661(13)00027-3 DE-627 ger DE-627 rakwb eng 004 004 DE-600 610 VZ 610 VZ 44.40 bkl Osaiweran, Ammar verfasserin aut Incorporating Formal Techniques into Industrial Practice: an Experience Report 2013 15 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Elsevier Schuts, Mathijs oth Hooman, Jozef oth Wesselius, Jacco oth Enthalten in Elsevier Science Kim, H.J. ELSEVIER Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma 2015 ENTCS Amsterdam [u.a.] (DE-627)ELV012996882 volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 https://doi.org/10.1016/j.entcs.2013.04.005 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA SSG-OPC-PHA GBV_ILN_40 GBV_ILN_70 44.40 Pharmazie Pharmazeutika VZ AR 295 2013 9 0509 49-63 15 045F 004 |
allfieldsSound |
10.1016/j.entcs.2013.04.005 doi GBVA2013007000005.pica (DE-627)ELV032937024 (ELSEVIER)S1571-0661(13)00027-3 DE-627 ger DE-627 rakwb eng 004 004 DE-600 610 VZ 610 VZ 44.40 bkl Osaiweran, Ammar verfasserin aut Incorporating Formal Techniques into Industrial Practice: an Experience Report 2013 15 nicht spezifiziert zzz rdacontent nicht spezifiziert z rdamedia nicht spezifiziert zu rdacarrier We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Elsevier Schuts, Mathijs oth Hooman, Jozef oth Wesselius, Jacco oth Enthalten in Elsevier Science Kim, H.J. ELSEVIER Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma 2015 ENTCS Amsterdam [u.a.] (DE-627)ELV012996882 volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 https://doi.org/10.1016/j.entcs.2013.04.005 Volltext GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA SSG-OPC-PHA GBV_ILN_40 GBV_ILN_70 44.40 Pharmazie Pharmazeutika VZ AR 295 2013 9 0509 49-63 15 045F 004 |
language |
English |
source |
Enthalten in Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma Amsterdam [u.a.] volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 |
sourceStr |
Enthalten in Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma Amsterdam [u.a.] volume:295 year:2013 day:9 month:05 pages:49-63 extent:15 |
format_phy_str_mv |
Article |
bklname |
Pharmazie Pharmazeutika |
institution |
findex.gbv.de |
topic_facet |
test-driven development formal methods analytical software design software quality component-based development |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma |
authorswithroles_txt_mv |
Osaiweran, Ammar @@aut@@ Schuts, Mathijs @@oth@@ Hooman, Jozef @@oth@@ Wesselius, Jacco @@oth@@ |
publishDateDaySort_date |
2013-01-09T00:00:00Z |
hierarchy_top_id |
ELV012996882 |
dewey-sort |
14 |
id |
ELV032937024 |
language_de |
englisch |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV032937024</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230623224004.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">180603s2013 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.entcs.2013.04.005</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">GBVA2013007000005.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV032937024</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S1571-0661(13)00027-3</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">DE-600</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">610</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">610</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">44.40</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Osaiweran, Ammar</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Incorporating Formal Techniques into Industrial Practice: an Experience Report</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test-driven development</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">formal methods</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analytical software design</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">software quality</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">component-based development</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuts, Mathijs</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hooman, Jozef</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wesselius, Jacco</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Elsevier Science</subfield><subfield code="a">Kim, H.J. ELSEVIER</subfield><subfield code="t">Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma</subfield><subfield code="d">2015</subfield><subfield code="d">ENTCS</subfield><subfield code="g">Amsterdam [u.a.]</subfield><subfield code="w">(DE-627)ELV012996882</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:295</subfield><subfield code="g">year:2013</subfield><subfield code="g">day:9</subfield><subfield code="g">month:05</subfield><subfield code="g">pages:49-63</subfield><subfield code="g">extent:15</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.entcs.2013.04.005</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-PHA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">44.40</subfield><subfield code="j">Pharmazie</subfield><subfield code="j">Pharmazeutika</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">295</subfield><subfield code="j">2013</subfield><subfield code="b">9</subfield><subfield code="c">0509</subfield><subfield code="h">49-63</subfield><subfield code="g">15</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">004</subfield></datafield></record></collection>
|
author |
Osaiweran, Ammar |
spellingShingle |
Osaiweran, Ammar ddc 004 ddc 610 bkl 44.40 Elsevier test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Incorporating Formal Techniques into Industrial Practice: an Experience Report |
authorStr |
Osaiweran, Ammar |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)ELV012996882 |
format |
electronic Article |
dewey-ones |
004 - Data processing & computer science 610 - Medicine & health |
delete_txt_mv |
keep |
author_role |
aut |
collection |
elsevier |
remote_str |
true |
illustrated |
Not Illustrated |
topic_title |
004 004 DE-600 610 VZ 44.40 bkl Incorporating Formal Techniques into Industrial Practice: an Experience Report test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development Elsevier |
topic |
ddc 004 ddc 610 bkl 44.40 Elsevier test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development |
topic_unstemmed |
ddc 004 ddc 610 bkl 44.40 Elsevier test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development |
topic_browse |
ddc 004 ddc 610 bkl 44.40 Elsevier test-driven development Elsevier formal methods Elsevier analytical software design Elsevier software quality Elsevier component-based development |
format_facet |
Elektronische Aufsätze Aufsätze Elektronische Ressource |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
zu |
author2_variant |
m s ms j h jh j w jw |
hierarchy_parent_title |
Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma |
hierarchy_parent_id |
ELV012996882 |
dewey-tens |
000 - Computer science, knowledge & systems 610 - Medicine & health |
hierarchy_top_title |
Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)ELV012996882 |
title |
Incorporating Formal Techniques into Industrial Practice: an Experience Report |
ctrlnum |
(DE-627)ELV032937024 (ELSEVIER)S1571-0661(13)00027-3 |
title_full |
Incorporating Formal Techniques into Industrial Practice: an Experience Report |
author_sort |
Osaiweran, Ammar |
journal |
Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma |
journalStr |
Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma |
lang_code |
eng |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works 600 - Technology |
recordtype |
marc |
publishDateSort |
2013 |
contenttype_str_mv |
zzz |
container_start_page |
49 |
author_browse |
Osaiweran, Ammar |
container_volume |
295 |
physical |
15 |
class |
004 004 DE-600 610 VZ 44.40 bkl |
format_se |
Elektronische Aufsätze |
author-letter |
Osaiweran, Ammar |
doi_str_mv |
10.1016/j.entcs.2013.04.005 |
dewey-full |
004 610 |
title_sort |
incorporating formal techniques into industrial practice: an experience report |
title_auth |
Incorporating Formal Techniques into Industrial Practice: an Experience Report |
abstract |
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. |
abstractGer |
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. |
abstract_unstemmed |
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system. |
collection_details |
GBV_USEFLAG_U GBV_ELV SYSFLAG_U SSG-OLC-PHA SSG-OPC-PHA GBV_ILN_40 GBV_ILN_70 |
title_short |
Incorporating Formal Techniques into Industrial Practice: an Experience Report |
url |
https://doi.org/10.1016/j.entcs.2013.04.005 |
remote_bool |
true |
author2 |
Schuts, Mathijs Hooman, Jozef Wesselius, Jacco |
author2Str |
Schuts, Mathijs Hooman, Jozef Wesselius, Jacco |
ppnlink |
ELV012996882 |
mediatype_str_mv |
z |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth oth |
doi_str |
10.1016/j.entcs.2013.04.005 |
up_date |
2024-07-06T17:24:34.055Z |
_version_ |
1803851319535992832 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">ELV032937024</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230623224004.0</controlfield><controlfield tag="007">cr uuu---uuuuu</controlfield><controlfield tag="008">180603s2013 xx |||||o 00| ||eng c</controlfield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1016/j.entcs.2013.04.005</subfield><subfield code="2">doi</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">GBVA2013007000005.pica</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)ELV032937024</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ELSEVIER)S1571-0661(13)00027-3</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield><subfield code="q">DE-600</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">610</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">610</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">44.40</subfield><subfield code="2">bkl</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Osaiweran, Ammar</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Incorporating Formal Techniques into Industrial Practice: an Experience Report</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zzz</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">z</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">nicht spezifiziert</subfield><subfield code="b">zu</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test-driven development</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">formal methods</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">analytical software design</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">software quality</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">component-based development</subfield><subfield code="2">Elsevier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schuts, Mathijs</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hooman, Jozef</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wesselius, Jacco</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="n">Elsevier Science</subfield><subfield code="a">Kim, H.J. ELSEVIER</subfield><subfield code="t">Upfront Radiation Therapy Improves Progression Free Survival in Patients With Primary CNS Lymphoma</subfield><subfield code="d">2015</subfield><subfield code="d">ENTCS</subfield><subfield code="g">Amsterdam [u.a.]</subfield><subfield code="w">(DE-627)ELV012996882</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:295</subfield><subfield code="g">year:2013</subfield><subfield code="g">day:9</subfield><subfield code="g">month:05</subfield><subfield code="g">pages:49-63</subfield><subfield code="g">extent:15</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1016/j.entcs.2013.04.005</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ELV</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_U</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-PHA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-PHA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_40</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="936" ind1="b" ind2="k"><subfield code="a">44.40</subfield><subfield code="j">Pharmazie</subfield><subfield code="j">Pharmazeutika</subfield><subfield code="q">VZ</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">295</subfield><subfield code="j">2013</subfield><subfield code="b">9</subfield><subfield code="c">0509</subfield><subfield code="h">49-63</subfield><subfield code="g">15</subfield></datafield><datafield tag="953" ind1=" " ind2=" "><subfield code="2">045F</subfield><subfield code="a">004</subfield></datafield></record></collection>
|
score |
7.3980465 |