نتائج البحث - "compositional specification"

1

Dissertation/ Thesis

An algebraic theory of componentised interaction

المؤلفون: Chilton, Christopher James

المساهمون: Kwiatkowska, Marta

مصطلحات موضوعية: 005, Software engineering, Theory and automated verification, interface theory, component theory, concurrency theory, compositional specification, compositional reasoning, specification theory, assume-guarantee

URL الوصول: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.595986

View record in EThOS

2

Academic Journal

Compositional specification in rewriting logic

المؤلفون: Verdejo López, José Alberto, Martí Oliet, Narciso, Martín Sánchez, Óscar

مصطلحات موضوعية: Compositional specification, Rewriting logic, Modularity, Synchronous product, Programación de ordenadores (Informática), 1203.17 Informática

وصف الملف: application/pdf

Relation: info:eu-repo/grantAgreement/MINECO//TIN2015-67522-C3-3-R/ES/TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE/; S2013/ICE-2731 (N-GREENS Software); S2018/TCS-4339 (BLOQUES); https://hdl.handle.net/20.500.14352/94870; https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/compositional-specification-in-rewriting-logic/90B8BA2742E7A67D7BCE68EB939129D2

الاتاحة: https://hdl.handle.net/20.500.14352/94870
https://doi.org/10.1017/S1471068419000425
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/compositional-specification-in-rewriting-logic/90B8BA2742E7A67D7BCE68EB939129D2

View record in BASE

3

Academic Journal

Conjunction as composition

المؤلفون: Pamela Zave, Michael Jackson

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.research.att.com/~pamela/cac.pdf.

مصطلحات موضوعية: General Terms, Languages, Theory, Verification Additional Key Words and Phrases, Compositional specification, multiparadigm specification, partial specification

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3663; http://www.research.att.com/~pamela/cac.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.3663
http://www.research.att.com/~pamela/cac.pdf

View record in BASE

4

Dynamic Access Control Policies: Specification and Verification

المؤلفون: Hussein Zedan, Helge Janicke, Francois Siewe, Antonio Cau

المصدر: The Computer Journal. 56:440-463

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b97925bcf1d917c24f61e95ddf5265e4
https://doi.org/10.1093/comjnl/bxs102

View record in OpenAIRE

5

A Calculus for Team Automata

المؤلفون: Dirk Janssens, Maurice H. ter Beek, Fabio Gadducci

المصدر: Electronic notes in theoretical computer science
Brazilian Symposium on Formal Methods (SBMF'06), pp. 41–55, Natal, Rio Grande do Norte, Brazil, 17-23 Settembre 2006
info:cnr-pdr/source/autori:Ter Beek M. H.; Gadducci F.; Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Brazil/congresso_data:17-23 Settembre 2006/anno:2008/pagina_da:41/pagina_a:55/intervallo_pagine:41–55
Brazilian Symposium on Formal Methods (SBMF'06), Natal, Rio Grande do Norte, Br, 17-23/09/2017
ISTI Technical reports, 2005
info:cnr-pdr/source/autori:Ter Beek M., Gadducci F., Janssens D./congresso_nome:Brazilian Symposium on Formal Methods (SBMF'06)/congresso_luogo:Natal, Rio Grande do Norte, Br/congresso_data:17-23%2F09%2F2017/anno:2006/pagina_da:/pagina_a:/intervallo_pagine
Brazilian Symposium on Formal Methods, 59-72, Universitate Federal do Rio Grande do Sul, Natal, Brazil, September 17-23, 2006

مصطلحات موضوعية: Theoretical computer science, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, General Computer Science, Timed automaton, Büchi automaton, F.1.1 Models of Computation. Automata, ω-automaton, Process calculi, Team automata, Theoretical Computer Science, F.3.2 Models of Computation. Relations between models, Deterministic automaton, Calculus, Quantum finite automata, Nondeterministic finite automaton, Mathematics, Process calculus, Computer. Automation, Semantics of Programming Languages. Algebraic approaches to semantics, Semantics of Programming Languages. Process models, Nonlinear Sciences::Cellular Automata and Lattice Gases, Mobile automaton, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Automata theory, Computer Science::Programming Languages, Compositional specification, Computer Science::Formal Languages and Automata Theory, Computer Science(all)

وصف الملف: pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::39d3bb1ec9a6ce2f314872f97d8ed7b5

View record in OpenAIRE

6

Academic Journal

Considering uncertainty of measurement when assessing compliance or non-compliance with reference values given in compositional specifications and statutory limits : a proposal

المؤلفون: E. Desimoni, B. Brunetti

المساهمون: E. Desimoni, B. Brunetti

مصطلحات موضوعية: Compositional specification, False positive and false negative error, Limit of detection, Residual standard deviation, Statutory limit, Uncertainty of measurement, Settore CHIM/01 - Chimica Analitica

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000239149500008; volume:11; issue:7; firstpage:363; lastpage:366; journal:ACCREDITATION AND QUALITY ASSURANCE; http://hdl.handle.net/2434/22056; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-33746225627

الاتاحة: http://hdl.handle.net/2434/22056
https://doi.org/10.1007/s00769-006-0173-1

View record in BASE