Zobrazeno 1 - 10
of 1 866
pro vyhledávání: '"Language Of Temporal Ordering Specification"'
Autor:
Elvis C. Foster
Publikováno v:
Software Engineering ISBN: 9781484208489
This chapter introduces the second major deliverable in a software engineering project — the requirements specification. It provides an overview of the deliverable, and prepares you for details that will be covered in the next four chapters. The ch
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::539f87019664396dcd5fa62562db4b52
https://doi.org/10.1201/9780367746025-8
https://doi.org/10.1201/9780367746025-8
Autor:
Alexander Raschke, Marcel Dausend
Publikováno v:
Science of Computer Programming. 131:22-41
With the paradigm of aspect-orientation, a developer is able to separate the code of so-called cross-cutting concerns from the rest of the program's logic. This possibility is useful for formal specifications, too. For example, security aspects can b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5694814dd08c6873f123775be656d8ed
https://doi.org/10.1016/j.scico.2016.04.007
https://doi.org/10.1016/j.scico.2016.04.007
Autor:
William S. Davis
Publikováno v:
The Information System Consultant’s Handbook ISBN: 9781315219745
The Information System Consultant's Handbook: Systems Analysis and Design
The Information System Consultant's Handbook: Systems Analysis and Design
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22bcedd24f0053bf7a960354cd748e04
https://doi.org/10.1201/9781420049107-35
https://doi.org/10.1201/9781420049107-35
Autor:
V. M. Shpakov
Publikováno v:
Informatsionno-upravliaiushchie sistemy (Information and Control Systems). 4:68-76
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6e4900c5c1abbad0e9a5181d7b19b64
https://doi.org/10.15217/issn1684-8853.2016.4.68
https://doi.org/10.15217/issn1684-8853.2016.4.68
Publikováno v:
Innovations in Systems and Software Engineering. 13:51-66
Open standardization seems to be very popular among software developers as it simplifies the standard's adoption by the software engineering. Formal specification methods, while very promising, are being adopted slowly as the industry seems to have l
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::93dac285095d42ae824997d76093af8d
https://doi.org/10.1007/s11334-016-0283-9
https://doi.org/10.1007/s11334-016-0283-9
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:
Shaoying Liu, Fumiko Nagoya
Publikováno v:
Wireless Personal Communications. 94:253-266
Component-based software development can help reduce time and cost by means of reusing software components, but the quality of the software may not be ensured if the adopted components contain errors. The Structured Object-oriented Formal Language (S
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8edccfbc82968e305c1859e4d8452347
https://doi.org/10.1007/s11277-016-3291-z
https://doi.org/10.1007/s11277-016-3291-z
Publikováno v:
Computer Standards & Interfaces. 44:28-41
Standards are documents that aim to define norms and common understanding of a subject by a group of people. In order to accomplish this purpose, these documents must define its terms and concepts in a clear and unambiguous way. Standards can be writ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60510dd99c9dce90ceb31c4fbf71e4cf
https://doi.org/10.1016/j.csi.2015.09.011
https://doi.org/10.1016/j.csi.2015.09.011
Autor:
Eric Van Wyk, Ted Kaminski
Publikováno v:
Science of Computer Programming. 114:33-44
This paper describes an implementation of Oberon0 using the Silver attribute grammar system for the Tool Challenge at the 2011 International Workshop on Language Descriptions, Tools, and Applications. Silver was developed to study how independently-d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c4dcf4daa8f4b6fe9ddb6e0dfe2fba4
https://doi.org/10.1016/j.scico.2015.10.009
https://doi.org/10.1016/j.scico.2015.10.009
Autor:
Nancy Zambrano, Eugenio Scalise
Publikováno v:
CLEI Electronic Journal, Vol 4, Iss 2 (2018)
In this paper it is presented a software development model based on transformations that allows to derive, in an automatic way, classes in object-oriented programming languages (Ada 95, C++, Eiffel and Java) starting from formal specifications. The s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3c24111d701c44fd05661b29dc9f3aee
http://clei.org/cleiej-beta/index.php/cleiej/article/view/363
http://clei.org/cleiej-beta/index.php/cleiej/article/view/363