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

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001174318000001; volume:12; issue:2; journal:MACHINES; https://hdl.handle.net/11577/3511357Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85187281276

الإتاحة: https://doi.org/10.3390/machines12020147Test
https://hdl.handle.net/11577/3511357Test

View record in BASE

4

Proposta de um processo de engenharia de requisitos no âmbito de especificações funcionais: casos de demonstração na i2S informática

المؤلفون: Sá, Miguel João de Azevedo Fontes de

المساهمون: Machado, Ricardo J., Ferreira, Nuno Alexandre Castro, Ribeiro, Manuel, Universidade do Minho

مصطلحات موضوعية: Desenvolvimento de software, Engenharia de requisitos, Especificação funcional, Indústria seguradora, Modelação, Functional specification, Insurance industry, Modelling, Engenharia e Tecnologia::Outras Engenharias e Tecnologias

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

العلاقة: 202557480

الإتاحة: http://hdl.handle.net/1822/70195Test

View record in RCAAP

5

مؤتمر

Virtual commissioning of industrial control systems : a 3D digital model approach

المؤلفون: Schamp, Matthias, Van De Ginste, Lauren, Hoedt, Steven, Claeys, Arno, Aghezzaf, El-Houssaine, Cottyn, Johannes

المصدر: 25th International Conference on Production Research Manufacturing Innovation : Cyber Physical Manufacturing (ICPR25), Proceedings ; ISSN: 2351-9789

مصطلحات موضوعية: Technology and Engineering, Virtual commissioning, 3D digital model, industrial control system, functional specification, use scenarios

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

العلاقة: https://biblio.ugent.be/publication/8638383Test; http://hdl.handle.net/1854/LU-8638383Test; http://dx.doi.org/10.1016/j.promfg.2020.01.229Test; https://biblio.ugent.be/publication/8638383/file/8649627Test

الإتاحة: https://doi.org/10.1016/j.promfg.2020.01.229Test
https://biblio.ugent.be/publication/8638383Test
http://hdl.handle.net/1854/LU-8638383Test
https://biblio.ugent.be/publication/8638383/file/8649627Test

View record in BASE

6

A type system for extracting functional specifications from memory-safe imperative programs

المؤلفون: Adam Wick, Matthew Yacavone, Paul He, Aaron Tomb, Chris Phifer, Steve Zdancewic, Karl Smeltzer, Andrei Ştefănescu, Eddy Westbrook, Valentin Robert, Brent Carmer

المصدر: Proceedings of the ACM on Programming Languages. 5:1-29

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::93b798d0b5c5f53267c8b3d9fdefd315Test
https://doi.org/10.1145/3485512Test

7

Active-learning-based reconstruction of circuit model

المؤلفون: Lior Rokach, Gal Rozenfeld, Meir Kalech

المصدر: Applied Intelligence. 52:5125-5143

مصطلحات موضوعية: Set (abstract data type), Functional specification, Computer Science::Hardware Architecture, Computer Science::Emerging Technologies, Artificial Intelligence, Process (engineering), Computer science, Active learning (machine learning), Black box, Decision tree, Orthogonal array, Algorithm, Electronic circuit

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_________::5e915b53230a8d883099653b34523e4fTest
https://doi.org/10.1007/s10489-021-02700-zTest

8

مؤتمر

Specification and Proof of High-Level Functional Properties of Bit-Level Programs

المؤلفون: Fumex, Clément, Dross, Claire, Gerlach, Jens, Marché, Claude

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), AdaCore SAS (AdaCore SAS), Fraunhofer Institute for Open Communication Systems (Fraunhofer FOKUS), Fraunhofer (Fraunhofer-Gesellschaft), ANR-14-LAB3-0007,ProofInUse,Preuve en Œuvre (Intégration de la preuve dans le développement logiciel)(2014)

المصدر: NASA Formal methods ; https://inria.hal.science/hal-01314876Test ; NASA Formal methods, Jun 2016, Minneapolis, United States

مصطلحات موضوعية: Deductive Verification, Bit vector, SMT solvers, Functional specification, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Minneapolis, United States

العلاقة: hal-01314876; https://inria.hal.science/hal-01314876Test; https://inria.hal.science/hal-01314876/documentTest; https://inria.hal.science/hal-01314876/file/article-final.pdfTest

الإتاحة: https://inria.hal.science/hal-01314876Test
https://inria.hal.science/hal-01314876/documentTest
https://inria.hal.science/hal-01314876/file/article-final.pdfTest

View record in BASE