Filters








349,898 Hits in 4.0 sec

Verifying Scenario-Based Aspect Specifications [chapter]

Emilia Katz, Shmuel Katz
<span title="">2005</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We extend an existing method of automatic verification for non-aspect systems to the case of systems with scenario-based aspect specifications.  ...  Software systems specifications are often described as a set of typical scenarios.  ...  Background: Verification of Conformance for Non-Aspect Systems In [2] , the CNV tool for automatically verifying conformance with non-aspectual scenario-based specifications has been presented.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_29">doi:10.1007/11526841_29</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xypn2fr24fdp7b2b4mndrqax6i">fatcat:xypn2fr24fdp7b2b4mndrqax6i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131019124623/http://www.cs.technion.ac.il/~ssdl/thesis/finished/2006/emilia/Aspectsf.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8a/46/8a46a3f32e9cb9e5f8b073470f279b3a6b83e313.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11526841_29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards a Tool Supporting Integration Testing of Aspect-Oriented Programs

Philippe Massicotte, Linda Badri, Mourad Badri
<span title="">2007</span> <i title="AITO - Association Internationale pour les Technologies Objets"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pwjrjz7zwnb2rcboggur7p2mwq" style="color: black;">Journal of Object Technology</a> </i> &nbsp;
The adopted approach consists of two main phases: (1) static analysis: generating testing sequences based on dynamic interactions between aspects and classes, (2) dynamic analysis: verifying the execution  ...  The adopted approach consists of two main phases: (1) static analysis: generating testing sequences based on the dynamic interactions between aspects and classes, (2) dynamic analysis: verifying the execution  ...  Specifications based faults. 2. Pre-condition based faults. 3. Source code based faults (java exceptions).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2007.6.1.a1">doi:10.5381/jot.2007.6.1.a1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/c7ylas3aujdlfinuhcguz3stvi">fatcat:c7ylas3aujdlfinuhcguz3stvi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808043205/http://www.jot.fm/issues/issue_2007_01/article1/article1.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/46/7746366fd85a40202ebc231dfbd915f4dee2e42e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5381/jot.2007.6.1.a1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

A Static Verification Framework for Secure Peer-to-Peer Applications

Andrea Zisman
<span title="">2007</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bfmkqjwstvd2lpfxwaz42moqpu" style="color: black;">Second International Conference on Internet and Web Applications and Services (ICIW&#39;07)</a> </i> &nbsp;
of attackers and assist with the identification of properties to be verified, specification of properties to be verified in a graphical template language, verification of the models against the properties  ...  The main functionality supported by the framework are concerned with the modeling of the system together with its security aspects by using an extension of UML, modeling of abuse cases to represent scenarios  ...  on UML, (b) use of abuse cases to support the identification and specification of properties to be verified, (c) specification of security and general application properties to be verified in a graphical  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iciw.2007.11">doi:10.1109/iciw.2007.11</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iciw/Zisman07.html">dblp:conf/iciw/Zisman07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ctrexhk7hrbgxj5wxr573xhgeu">fatcat:ctrexhk7hrbgxj5wxr573xhgeu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705174026/http://openaccess.city.ac.uk/633/2/P2PSA_SVF_Final.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b2/8f/b28fe8d2e55209c630bf47dd827c20fb1e0a8829.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iciw.2007.11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automating Acceptance Testing with tool support

Tomasz Straszak, Michał Smiałek
<span title="2014-09-29">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zbznsfsymfchdlmdsmo2bglth4" style="color: black;">Proceedings of the 2014 Federated Conference on Computer Science and Information Systems</a> </i> &nbsp;
Although they are related to the same particular functional area, they are verified separately.  ...  Tests are expressed in newly introduced Test Specification Language (TSL). The basis for functional test generation are detailed use case models.  ...  Tests of other types, in addition to use case tests (verifying the behaviour of the system), can verify the business logic, user interface, nonfunctional aspects (performance, usability, etc.) or any other  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15439/2014f342">doi:10.15439/2014f342</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fedcsis/StraszakS14.html">dblp:conf/fedcsis/StraszakS14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yynlzkv6gjdtdphlr4xa5xhuge">fatcat:yynlzkv6gjdtdphlr4xa5xhuge</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705143908/https://annals-csis.org/proceedings/2014/pliks/342.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e2/43/e243c5648f7e483bb983dc8497dea959b3522bba.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15439/2014f342"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

A review method for UML requirements analysis model employing system-side prototyping

Shinpei Ogata, Saeko Matsuura
<span title="">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mc7ytjj3xvdubiwzvjyuch5jcu" style="color: black;">SpringerPlus</a> </i> &nbsp;
However, a user interface prototype system offers weak support for the analysts to verify the consistency of the specifications about internal aspects of a system such as business logic.  ...  As the result, the inconsistency causes a lot of rework costs because the inconsistency often makes the developers impossible to actualize the system based on the specifications.  ...  However, this method can not verify the internal aspects because this method focuses on the checking for the external aspects.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/2193-1801-2-134">doi:10.1186/2193-1801-2-134</a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pubmed/23807910">pmid:23807910</a> <a target="_blank" rel="external noopener" href="https://pubmed.ncbi.nlm.nih.gov/PMC3685698/">pmcid:PMC3685698</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7c7rrqod4fbknhfuacm7qlzb7a">fatcat:7c7rrqod4fbknhfuacm7qlzb7a</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170922074305/https://springerplus.springeropen.com/track/pdf/10.1186/2193-1801-2-134?site=springerplus.springeropen.com" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/03/d0/03d0d1c30bd635b2f9e10078d237d3c1b33a64fa.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/2193-1801-2-134"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a> <a target="_blank" rel="external noopener" href="https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3685698" title="pubmed link"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> pubmed.gov </button> </a>

A BRS-Based Approach to Model and Verify Cloud Systems Elasticity

Hamza Sahli, Faiza Belala, Chafia Bouanaka
<span title="">2015</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cx3f4s3qmfe6bg4qvuy2cxezyu" style="color: black;">Procedia Computer Science</a> </i> &nbsp;
We propose a unique semantic framework based on bigraphical reactive systems (BRS) for modeling both structural and behavioral aspects of cloud-based systems.  ...  Elasticity is actually one major and important asset for cloud-based systems.  ...  Finally, we note that our proposed Maude-based approach is generic enough and may be easily extended to model other scenarios and other behavioral aspects of cloud-based systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2015.09.221">doi:10.1016/j.procs.2015.09.221</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oip5buuydfgj7ay6iwlkb7exl4">fatcat:oip5buuydfgj7ay6iwlkb7exl4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001170310/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/a72/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTg3NzA1MDkxNTAzMDY2NQ%3D%3D.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/25/8c25770b180661e808477dab268dd617792d08b7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.procs.2015.09.221"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>

A Graph-Based Aspect Interference Detection Approach for UML-Based Aspect-Oriented Models [chapter]

Selim Ciraci, Wilke Havinga, Mehmet Aksit, Christoph Bockisch, Pim van den Broek
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
To demonstrate our approach, we discuss a UML-based AOM model of the "Crisis Management System" and a possible design and evolution scenario.  ...  The result is another graph, which represents all possible program executions, and which can be verified against a declarative specification of invariants.  ...  that model specific scenarios.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16086-8_9">doi:10.1007/978-3-642-16086-8_9</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pn5effouzzfklacum6zqtqqqsa">fatcat:pn5effouzzfklacum6zqtqqqsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719151323/https://ris.utwente.nl/ws/files/5097485/main.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/c2/7d/c27d8eed15d262374ef4f20ac68751f1b21758e5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-16086-8_9"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Integrating simulation capabilities into SysML for enterprise information system design

Anargyros Tsadimas, George-Dimitrios Kapos, Vassilis Dalakas, Mara Nikolaidou, Dimosthenis Anagnostopoulos
<span title="">2014</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mc2gzntr5ncuvguuzzvttayxba" style="color: black;">2014 9th International Conference on System of Systems Engineering (SOSE)</a> </i> &nbsp;
In this paper we present an approach that provides (a) the automated transformation of SysML-based EIS models defined in the Evaluation View to executable simulation code for Discrete Event System Specification  ...  In the information systems domain, performance requirements are usually verified using simulation.  ...  Evaluation scenarios comprise of evaluation entities that verify specific requirements associated with them.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sysose.2014.6892500">doi:10.1109/sysose.2014.6892500</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sysose/TsadimasKDNA14.html">dblp:conf/sysose/TsadimasKDNA14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4hfnmr5qcnaexbbpak2zqdcchy">fatcat:4hfnmr5qcnaexbbpak2zqdcchy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829062747/http://galaxy.hua.gr/~mara/publications/sose14.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/89/a2/89a23ca61a44c78503d3ba6871b6dd3cafbf5a41.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/sysose.2014.6892500"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Verification of Generic Ubiquitous Middleware for Smart Home Using Coloured Petri Nets

Madhusudanan. J, Anand. P, Hariharan. S, V. Prasanna Venkatesan
<span title="2014-09-08">2014</span> <i title="MECS Publisher"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/arieir5stvdafmqjc5uirmt37i" style="color: black;">International Journal of Information Technology and Computer Science</a> </i> &nbsp;
CPN is based on standard ML. The major advantages of using CPN tool are Gain insight, analysis and specification.  ...  These can be designed in Infrastructure and Device aspects. Context is processed based on the environment created in previous aspects. IV.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5815/ijitcs.2014.10.09">doi:10.5815/ijitcs.2014.10.09</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iwsorlt6bvcchjimfghcs4bbma">fatcat:iwsorlt6bvcchjimfghcs4bbma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721144702/http://www.mecs-press.org/ijitcs/ijitcs-v6-n10/IJITCS-V6-N10-9.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ca/5a/ca5a954869c18ed034d75e10c582d25b98c0fc6d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5815/ijitcs.2014.10.09"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

An Approach for Detecting Inconsistencies between Behavioral Models of the Software Architecture and the Code

Selim Ciraci, Hasan Sozer, Bedir Tekinerdogan
<span title="">2012</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ma4kgqf4lnhyfahyj2jlhr2usy" style="color: black;">2012 IEEE 36th Annual Computer Software and Applications Conference</a> </i> &nbsp;
These aspects intercept the calls that map to the interactions of the behavioral scenario and notify runtime verifier of ConArch. Using the mapping, ConArch also generates the scenario specification.  ...  This is the formal specification that is used for verifying the execution.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2012.36">doi:10.1109/compsac.2012.36</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/compsac/CiraciST12.html">dblp:conf/compsac/CiraciST12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7h3r3iecpreqtg5m3pgg62bu3y">fatcat:7h3r3iecpreqtg5m3pgg62bu3y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427220604/http://repository.bilkent.edu.tr/bitstream/handle/11693/28072/An%20approach%20for%20detecting%20inconsistencies%20between%20behavioral%20models%20of%20the%20software%20architecture%20and%20the%20code.pdf;jsessionid=0FE4AB6FFA0832CE26B3B4A44133535C?sequence=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/4c/a4/4ca4918734c1ce7861f2c4cdc5ae598fd9ef734d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2012.36"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Proposing Regulatory-Driven Automated Test Suites

Patrick Morrison, Casper Holmgreen, Aaron Massey, Laurie Williams
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hp4tjvbwpradxisixjqld76tfu" style="color: black;">2013 Agile Conference</a> </i> &nbsp;
The scenarios can then be automated through system-specific test drivers.  ...  To evaluate our approach, we developed seven scenarios based on the HITECH Act Meaningful Use (MU) regulations for healthcare.  ...  When the scenarios are matched with the system-specific test driver code they can be automatically executed to verify system behavior. Several BDD frameworks have been developed.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/agile.2013.8">doi:10.1109/agile.2013.8</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/agiledc/MorrisonHMW13.html">dblp:conf/agiledc/MorrisonHMW13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xqxeetm6ubhehar6hed3sv7fke">fatcat:xqxeetm6ubhehar6hed3sv7fke</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20141031030702/http://www.cc.gatech.edu:80/~akmassey/documents/papers/akmassey-agile2013.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5c/33/5c33148bd48c321b834c780392ae8f45c2a44b13.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/agile.2013.8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automating the Architecture Evaluation of Enterprise Information Systems
english

Felipe Pinto, Uirá Kulesza, Eduardo Martins Guerra
<span title="">2013</span> <i title="SciTePress - Science and and Technology Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7uss2cuz5fhfnfcqlyac5fe7fm" style="color: black;">Proceedings of the 15th International Conference on Enterprise Information Systems</a> </i> &nbsp;
Traditional scenario-based architectural analysis methods rely on manual review-based evaluation that requires advanced skills from architects and evaluators.  ...  to allow the automatic analysis producing a report with information about scenarios, quality attributes, source code assets and potential tradeoff points among quality attributes.  ...  the tool verifies all the paths for a specific scenario checking which ones have any quality attribute.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0004452103330340">doi:10.5220/0004452103330340</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iceis/PintoKG13.html">dblp:conf/iceis/PintoKG13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/be3dm6df3zgtxigql4vrgk3ouy">fatcat:be3dm6df3zgtxigql4vrgk3ouy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721172546/http://mtc-m16d.sid.inpe.br/col/sid.inpe.br/mtc-m19/2013/07.19.17.09/doc/Automating%20the%20Architecture%20Evaluation%20of%20Enterprise%20Information%20Systems.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8e/81/8e81bc4d943a952257d89c81db824f10f991ab0e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5220/0004452103330340"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Model-driven acceptance test automation based on use cases

Tomasz Straszak, Michał Śmiałek
<span title="">2015</span> <i title="National Library of Serbia"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rhtuh2ifczhapmhplqzald63za" style="color: black;">Computer Science and Information Systems</a> </i> &nbsp;
proposed Test Specification Language (TSL).  ...  To show validity of the approach we present a case study which uses a new tool called ReDSeT, that transforms requirements formulated in the Requirements Specification Language (RSL) into tests in a newly  ...  Test cases based on use cases concentrate on verifying the functional requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2298/csis141217033s">doi:10.2298/csis141217033s</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/f3bgktrclferxblzhcxcodeaky">fatcat:f3bgktrclferxblzhcxcodeaky</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180429061639/http://elib.mi.sanu.ac.rs/files/journals/csis/34/csisn34p707-728.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8c/e1/8ce1e79a42cc03e50ecbc47921bceff7c1f6c68c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2298/csis141217033s"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Model Checking Aspectual Pervasive Software Services

Dhaminda B. Abeywickrama, Sita Ramakrishnan
<span title="">2011</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ma4kgqf4lnhyfahyj2jlhr2usy" style="color: black;">2011 IEEE 35th Annual Computer Software and Applications Conference</a> </i> &nbsp;
Model checking is applied, first to check the behavior of the individual pervasive aspects and components, and second to verify the overall behavior of the woven model even if no errors are found in the  ...  individual pervasive aspects and components.  ...  To verify the pervasive service specification, first the aspects are woven into their base state machines in FSP using an explicit weaving mechanism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2011.41">doi:10.1109/compsac.2011.41</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/compsac/AbeywickramaR11.html">dblp:conf/compsac/AbeywickramaR11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o3kx7bd2knbtfpjjm37ttby3y4">fatcat:o3kx7bd2knbtfpjjm37ttby3y4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706055220/https://www.pdf-archive.com/2011/11/07/06032351/06032351.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/b9/0f/b90f71fb6770602665785ceec175bf0d1b924568.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/compsac.2011.41"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Toward A Collection of Cloud Integration Patterns [article]

Daniel Ritter, Stefanie Rinderle-Ma
<span title="2017-03-11">2017</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Their evidence and examples are based on extensive literature and system reviews.  ...  Pattern Name Signature Verifier Intent Verify a Solution Provide certificate-based verification on message level.  ...  Data Aspects certificate-based Related Patterns Signature Verifier Known Uses implicitly in [11], [22] Table 36 . 36 Safe Channel Pattern Name Safe Channel Intent Ensure integrity on transport  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.09250v4">arXiv:1511.09250v4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/oasnrqwakzed3aqdxvbdtoplzq">fatcat:oasnrqwakzed3aqdxvbdtoplzq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20191019194140/https://arxiv.org/pdf/1511.09250v4.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ed/3e/ed3efe42bb76acc8d21a4aa95b43203c527c3028.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1511.09250v4" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 349,898 results