Deriving non-Zeno behaviour models from goal models using ILP: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary
Gespeichert in:
Veröffentlicht in: | Formal aspects of computing 2010, Vol.22 (3-4), p.217-241 |
---|---|
Hauptverfasser: | , , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | 241 |
---|---|
container_issue | 3-4 |
container_start_page | 217 |
container_title | Formal aspects of computing |
container_volume | 22 |
creator | ALRAJEH, D KRAMER, J RUSSO, A UCHITEL, S |
description | |
format | Article |
fullrecord | <record><control><sourceid>pascalfrancis</sourceid><recordid>TN_cdi_pascalfrancis_primary_22798710</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>22798710</sourcerecordid><originalsourceid>FETCH-pascalfrancis_primary_227987103</originalsourceid><addsrcrecordid>eNpjYuA0NDE21jWytIxgYeA0sDQ20TU1MDHmYOAqLs4yMDA0tTQ05GSwdUktyizLzEtXyMvP041KzctXSErNSCzLzC8tUsjNT0nNKVZIK8rPVUjPT8yBCZQWgzR4-gTwMLCmJeYUp_JCaW4GVTfXEGcP3YLE4uTEnLSixLzkzOL4gqLM3MSiyngjI3NLC3NDA2Ni1QEAXY47Bw</addsrcrecordid><sourcetype>Index Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Deriving non-Zeno behaviour models from goal models using ILP: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary</title><source>EZB-FREE-00999 freely available EZB journals</source><source>SpringerLink Journals - AutoHoldings</source><creator>ALRAJEH, D ; KRAMER, J ; RUSSO, A ; UCHITEL, S</creator><creatorcontrib>ALRAJEH, D ; KRAMER, J ; RUSSO, A ; UCHITEL, S</creatorcontrib><identifier>ISSN: 0934-5043</identifier><identifier>EISSN: 1433-299X</identifier><language>eng</language><publisher>Heidelberg: Springer</publisher><subject>Applied sciences ; Computer science; control theory; systems ; Exact sciences and technology ; Miscellaneous ; Theoretical computing</subject><ispartof>Formal aspects of computing, 2010, Vol.22 (3-4), p.217-241</ispartof><rights>2015 INIST-CNRS</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,4010</link.rule.ids><backlink>$$Uhttp://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=22798710$$DView record in Pascal Francis$$Hfree_for_read</backlink></links><search><creatorcontrib>ALRAJEH, D</creatorcontrib><creatorcontrib>KRAMER, J</creatorcontrib><creatorcontrib>RUSSO, A</creatorcontrib><creatorcontrib>UCHITEL, S</creatorcontrib><title>Deriving non-Zeno behaviour models from goal models using ILP: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary</title><title>Formal aspects of computing</title><subject>Applied sciences</subject><subject>Computer science; control theory; systems</subject><subject>Exact sciences and technology</subject><subject>Miscellaneous</subject><subject>Theoretical computing</subject><issn>0934-5043</issn><issn>1433-299X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2010</creationdate><recordtype>article</recordtype><recordid>eNpjYuA0NDE21jWytIxgYeA0sDQ20TU1MDHmYOAqLs4yMDA0tTQ05GSwdUktyizLzEtXyMvP041KzctXSErNSCzLzC8tUsjNT0nNKVZIK8rPVUjPT8yBCZQWgzR4-gTwMLCmJeYUp_JCaW4GVTfXEGcP3YLE4uTEnLSixLzkzOL4gqLM3MSiyngjI3NLC3NDA2Ni1QEAXY47Bw</recordid><startdate>2010</startdate><enddate>2010</enddate><creator>ALRAJEH, D</creator><creator>KRAMER, J</creator><creator>RUSSO, A</creator><creator>UCHITEL, S</creator><general>Springer</general><scope>IQODW</scope></search><sort><creationdate>2010</creationdate><title>Deriving non-Zeno behaviour models from goal models using ILP</title><author>ALRAJEH, D ; KRAMER, J ; RUSSO, A ; UCHITEL, S</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-pascalfrancis_primary_227987103</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2010</creationdate><topic>Applied sciences</topic><topic>Computer science; control theory; systems</topic><topic>Exact sciences and technology</topic><topic>Miscellaneous</topic><topic>Theoretical computing</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>ALRAJEH, D</creatorcontrib><creatorcontrib>KRAMER, J</creatorcontrib><creatorcontrib>RUSSO, A</creatorcontrib><creatorcontrib>UCHITEL, S</creatorcontrib><collection>Pascal-Francis</collection><jtitle>Formal aspects of computing</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>ALRAJEH, D</au><au>KRAMER, J</au><au>RUSSO, A</au><au>UCHITEL, S</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Deriving non-Zeno behaviour models from goal models using ILP: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary</atitle><jtitle>Formal aspects of computing</jtitle><date>2010</date><risdate>2010</risdate><volume>22</volume><issue>3-4</issue><spage>217</spage><epage>241</epage><pages>217-241</pages><issn>0934-5043</issn><eissn>1433-299X</eissn><cop>Heidelberg</cop><pub>Springer</pub></addata></record> |
fulltext | fulltext |
identifier | ISSN: 0934-5043 |
ispartof | Formal aspects of computing, 2010, Vol.22 (3-4), p.217-241 |
issn | 0934-5043 1433-299X |
language | eng |
recordid | cdi_pascalfrancis_primary_22798710 |
source | EZB-FREE-00999 freely available EZB journals; SpringerLink Journals - AutoHoldings |
subjects | Applied sciences Computer science control theory systems Exact sciences and technology Miscellaneous Theoretical computing |
title | Deriving non-Zeno behaviour models from goal models using ILP: Software products: Extended papers from the International Conference on Fundamental Approaches to Software Engineering (FASE 2008), Budapest, Hungary |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-31T22%3A15%3A11IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-pascalfrancis&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Deriving%20non-Zeno%20behaviour%20models%20from%20goal%20models%20using%20ILP:%20Software%20products:%20Extended%20papers%20from%20the%20International%20Conference%20on%20Fundamental%20Approaches%20to%20Software%20Engineering%20(FASE%202008),%20Budapest,%20Hungary&rft.jtitle=Formal%20aspects%20of%20computing&rft.au=ALRAJEH,%20D&rft.date=2010&rft.volume=22&rft.issue=3-4&rft.spage=217&rft.epage=241&rft.pages=217-241&rft.issn=0934-5043&rft.eissn=1433-299X&rft_id=info:doi/&rft_dat=%3Cpascalfrancis%3E22798710%3C/pascalfrancis%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |