Zobrazeno 1 - 10
of 452
pro vyhledávání: '"Specification pattern"'
Autor:
Tina Tavizi, Mehdi Shajari
Publikováno v:
International Journal of Information Security. 19:695-710
Ensuring the satisfaction of security requirements is one of the most vital needs in developing different types of systems. Therefore, it is necessary to apply a method to accurately define security requirements and then, verify them in the design ph
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::653d6c8db41ff4252d695dcccbfafd33
https://doi.org/10.1007/s10207-019-00483-6
https://doi.org/10.1007/s10207-019-00483-6
Publikováno v:
APSEC
We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specification Language (CCSL), for the specification of assume-guarantee constraints providing safe driving rules related to time and space, in the con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c98be63cd644e2c29d2231558707d8a4
https://doi.org/10.1109/apsec51365.2020.00050
https://doi.org/10.1109/apsec51365.2020.00050
Autor:
KHEBIZI, Ali, SERİDİ, Hassina
Publikováno v:
Volume: 3, Issue: 2 35-52
International Journal of Informatics and Applied Mathematics
International Journal of Informatics and Applied Mathematics
The large proliferation of software environments supporting enterprises business processes has lead to a massive data that is receiving a great deal of enthusiasm from the IT managers for its exploitation for various management purposes. Although a l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=tubitakulakb::c8c95ed9d9964ac5ee4e692c0d74ea21
https://dergipark.org.tr/tr/pub/ijiam/issue/58054/823094
https://dergipark.org.tr/tr/pub/ijiam/issue/58054/823094
Publikováno v:
EMSOFT 2020-International Conference on Embedded Software
EMSOFT 2020-International Conference on Embedded Software, Sep 2020, Hamburg / Virtual, Germany
EMSOFT
EMSOFT 2020-International Conference on Embedded Software, Sep 2020, Hamburg / Virtual, Germany
EMSOFT
International audience; Due to the mobility of autonomous vehicles and changing context through time, the constraints in safe driving rules specification need to be irregularly updated for monitoring the trajectory plan. This is not assumed in the Sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::802e0dce8e5ff876909709ca9b24b23a
https://hal.inria.fr/hal-02952912
https://hal.inria.fr/hal-02952912
Publikováno v:
Applied Soft Computing. 58:225-244
Context Numerous software design patterns have been introduced and cataloged either as a canonical or a variant solution to solve a design problem. The existing automatic techniques for design pattern(s) selection aid novice software developers to se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a96db7d0aaa65b8a76ebf561294611fe
https://doi.org/10.1016/j.asoc.2017.04.043
https://doi.org/10.1016/j.asoc.2017.04.043
Publikováno v:
Journal of Systems and Software. 125:289-308
Defining a design pattern at the metamodel level.Defining the notion of pattern consistency.Defining the notion of pattern conformance.Describing transformation rules in QVT.Transforming an application model using a design pattern. A design pattern h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::333a2dd5f81f72430be90c848105b051
https://doi.org/10.1016/j.jss.2016.12.019
https://doi.org/10.1016/j.jss.2016.12.019
Publikováno v:
Cybernetics and Information Technologies. 16:45-54
In this paper, we show the process inspired by model checking which integrate temporal logic to the application of semi-structured data query. We investigate the potential ofatechnique based on CTL (Computation Tree Logic) model checking for evaluati
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0fc175b4f40fccd4369b52fe731b2fe8
https://doi.org/10.1515/cait-2016-0066
https://doi.org/10.1515/cait-2016-0066
Autor:
Mohammad Alshayeb, Salman Khwaja
Publikováno v:
ACM Computing Surveys. 49:1-35
A design pattern is a well-defined solution to a recurrent problem. Over the years, the number of patterns and domains of design patterns have expanded, as the patterns are the experiences of the experts of the domain captured in a higher-level abstr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2f263f19a68b2088931a632de4310309
https://doi.org/10.1145/2926966
https://doi.org/10.1145/2926966
Autor:
Emmanouil Viennas, Athanasios K. Tsakalidis, Gkantouna Vassiliki, Giannis Tzimas, Spyros Sioutas
Publikováno v:
Engineering Applications of Artificial Intelligence. 51:97-108
This paper addresses the inspection and evaluation of design reuse in the conceptual schema of CMS-based Web applications in order to improve their design quality. We have utilized WebML as the design platform of our approach and we capture design re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::45268a229a573c68bcb552f0a4c1d51f
https://doi.org/10.1016/j.engappai.2016.01.003
https://doi.org/10.1016/j.engappai.2016.01.003
Publikováno v:
Advances in Engineering Software. 93:30-43
Design pattern is introduced into the CAD field.The characteristics and conditions of a good design pattern are defined.A platform-independent design pattern model is constructed.A multi-phases design pattern extraction approach is proposed.The desig
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6c985bfdb6ae6d58d1890d829ead59d5
https://doi.org/10.1016/j.advengsoft.2015.12.005
https://doi.org/10.1016/j.advengsoft.2015.12.005