المؤلفون: Ferreira, Ana Cristina Martins

المساهمون: Ferreira, Carla, RUN

مصطلحات موضوعية: Diagramas de classes, UML (Unified Modelling Language), OCL (Object Constraint Language), Alloy e alloy analyzer, Transformações de refinamento

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

الاتاحة: http://hdl.handle.net/10362/3981

المؤلفون: Ringert, Jan Oliver, Sullivan, Allison K.

مصطلحات موضوعية: Alloy Analyzer, instances, counterexamples, abstraction

Relation: https://doi.org/10.5281/zenodo.7339931; https://doi.org/10.5281/zenodo.7339932; oai:zenodo.org:7339932

الاتاحة: https://doi.org/10.5281/zenodo.7339932

المؤلفون: Jordi Cabot, Robert Clarisó

المساهمون: Universitat Oberta de Catalunya

المصدر: Science of Computer Programming
O2, repositorio institucional de la UOC
Universitat Oberta de Catalunya (UOC)

مصطلحات موضوعية: Correctness, Theoretical computer science, verificació i validació, Computer science, ComputerApplications_COMPUTERSINOTHERSYSTEMS, diversity, Set (abstract data type), provar, Simple (abstract algebra), model-driven engineering, diversidad, Black box (phreaking), Degree (graph theory), enginyeria impulsada per models, verification and validation, verificación y validación, testing, ingeniería basada en modelos, Alloy Analyzer, Proof of concept, Model-driven software architecture, agrupació, diversitat, arquitectura dirigida por modelos, agrupamiento, arquitectura dirigida per models, Software, Diversity (business), clustering, probar

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

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

المؤلفون: Sabria Farheen, Amirhossein Vakili, Nancy A. Day, Ali Abbassi

المصدر: Software and Systems Modeling. 19:721-740

مصطلحات موضوعية: Model checking, Computation tree logic, Theoretical computer science, Computer science, Semantics (computer science), Transitive closure, 020207 software engineering, 02 engineering and technology, Alloy Analyzer, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Modeling and Simulation, Bounded function, Transition system, 0202 electrical engineering, electronic engineering, information engineering, State space, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7f52b3277acb6f63705487e8b4cff689
https://doi.org/10.1007/s10270-019-00763-8

المؤلفون: Nor Najihah Zainanl Abidin, Sotiris Moschoyiannis, Nur Amalina Jamaludin, Nurulhuda A. Manaf

المصدر: 2021 2nd International Conference on Computing and Data Science (CDS).

مصطلحات موضوعية: Service (business), Semantics (computer science), Computer science, Programming language, Deontic logic, Service choreography, Rule-based system, computer.software_genre, Choreography, Alloy Analyzer, Software_SOFTWAREENGINEERING, ComputingMethodologies_DOCUMENTANDTEXTPROCESSING, Semantics of Business Vocabulary and Business Rules, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9d74adeb6957c0b50bc7bc52732497f0
https://doi.org/10.1109/cds52072.2021.00094

المؤلفون: Jan Oliver Ringert, Syed Waqee Wali

المصدر: MoDELS

مصطلحات موضوعية: business.industry, Modeling language, Computer science, Computation, 020207 software engineering, 02 engineering and technology, computer.software_genre, Semantic data model, Semantics, Formal methods, Software, Alloy Analyzer, Code refactoring, Software_SOFTWAREENGINEERING, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Data mining, business, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d6ba2faf33ca5bf60eaf5b5451e690be
https://doi.org/10.1145/3365438.3410955

المؤلفون: Qin Ma, Pierre Kelsen, Loïc Gammaitoni

المصدر: Science of Computer Programming. Elsevier Science (2017).

مصطلحات موضوعية: Domain-specific language, Computer science, Model transformation, 0102 computer and information sciences, 02 engineering and technology, computer.software_genre, 01 natural sciences, Domain (software engineering), 0202 electrical engineering, electronic engineering, information engineering, Software system, computer.programming_language, validation, Computer science [C05] [Engineering, computing & technology], Coumpound model transformations, Programming language, model transformation, Specification language, Sciences informatiques [C05] [Ingénierie, informatique & technologie], Formal methods, Alloy Analyzer, 010201 computation theory & mathematics, Alloy, Scalability, Higher-order transformations, 020201 artificial intelligence & image processing, computer, Algorithm, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a0f1a03f52ef4b841fb8b536fad8144
https://doi.org/10.1016/j.scico.2017.07.001

المؤلفون: Kember, Mitchell, Tran, Lynn, Gao, George, Day, Nancy

مصطلحات موضوعية: model checking, counterexamples, subgraphs, TCMC, CTLFC, formal verification, temporal logic, transitive-closure-based model checking, CTL with fairness constraints, symbolic model checking, CTL model checking, counterexamples extraction, CTLFC model checking, first-order logic with transitive closure, temporal logic property, Alloy, Alloy Analyzer

Relation: https://doi.org/10.1109/MiSE.2019.00015; http://hdl.handle.net/10012/15994

الاتاحة: http://hdl.handle.net/10012/15994
https://doi.org/10.1109/MiSE.2019.00015

المؤلفون: Darko Marinov, Sarfraz Khurshid

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

المصدر: http://alloy.mit.edu/workshop/papers/marinov.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors H.1.2 [Models and Principles, User/Machine Systems—Human factors, D.2.6 [Software Engineering, Programming Environments, D.2.2 [Software Engineering, Design Tools and Techniques, I.6.5 [Simulation and Modeling, Model Development General Terms Human Factors, Design, Performance Keywords Alloy language, Alloy Analyzer, user interaction, incremental analysis

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.3093; http://alloy.mit.edu/workshop/papers/marinov.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.3093
http://alloy.mit.edu/workshop/papers/marinov.pdf

المؤلفون: Gregg Rothermel, Hamid Bagheri, Guolong Zheng, Jianghao Wang

المصدر: Fundamental Approaches to Software Engineering ISBN: 9783030452339
FASE

مصطلحات موضوعية: 050101 languages & linguistics, Computer science, business.industry, 05 social sciences, chemistry.chemical_element, 02 engineering and technology, Specification language, Reuse, Constraint (information theory), Alloy Analyzer, Software, Computer engineering, chemistry, Bounded function, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 0501 psychology and cognitive sciences, Software system, Platinum, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2f74c48097024596f1afb4c53a622268
https://doi.org/10.1007/978-3-030-45234-6_2

المؤلفون: Mohammad Jahanian, Jiachen Chen, Kadangode K. Ramakrishnan

المصدر: Rigorous State-Based Methods ISBN: 9783030480769
ABZ

مصطلحات موضوعية: Network architecture, Interoperation, Alloy Analyzer, Computer science, business.industry, Reachability, Node (networking), Distributed computing, Interoperability, The Internet, business, Formal verification

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d67755f18e9ce43eb74f81d8ff3dde15
https://doi.org/10.1007/978-3-030-48077-6_4

المؤلفون: Sarabia Segura, Marina

المساهمون: Gallardo, María del Mar, Lenguajes y Ciencias de la Computación

المصدر: RIUMA. Repositorio Institucional de la Universidad de Málaga
instname

مصطلحات موضوعية: Métodos formales (Informática), Model checking, SPIN, Grado en Ingeniería del Software - Trabajos Fin de Grado, OCL, Alloy analyzer, Informática - Trabajos Fin de Grado, Sistema de ascensores distribuido, Ascensores - Programas de ordenador, Verificación de modelos, UPPAAL, Lógica temporal

URL الوصول: https://explore.openaire.eu/search/publication?articleId=RECOLECTA___::c726a89c525acf2bd8961c35a8f5efab
https://hdl.handle.net/10630/19196

المؤلفون: Karine Guillouard, Adja Ndeye Sylla, Frederic Klamm, Philippe Merle, Meryem Ouzzif

المساهمون: Self-adaptation for distributed services and large software systems (SPIRALS), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Orange Labs [Cesson-Sévigné], Orange Labs

المصدر: NetSoft 2019-The 5th IEEE International Conference on Network Softwarization
NetSoft 2019-The 5th IEEE International Conference on Network Softwarization, Jun 2019, Paris, France. ⟨10.1109/NETSOFT.2019.8806632⟩
NetSoft

مصطلحات موضوعية: Network Functions Virtualization, Computer science, Deployment, ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION, ETSI NFV, 020207 software engineering, 02 engineering and technology, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], Toolchain, Visualization, Alloy Analyzer, OpenStack, Computer architecture, Software deployment, Validation, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Analysis

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ca69e47a9b4e26d1878248237a0a0a58
https://hal.science/hal-02124164/document

المؤلفون: George Gao, Nancy A. Day, Mitchell Kember, Lynn Tran

المصدر: MiSE@ICSE

مصطلحات موضوعية: Model checking, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Alloy Analyzer, Theoretical computer science, Computer science, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Transition system, Path (graph theory), Model-based design, Transitive closure, Representation (mathematics), Counterexample

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::ac3f8ad7e9a2889889fe013f7ec164d5
https://doi.org/10.1109/mise.2019.00015

المؤلفون: Mengshi Zhang, Wenxi Wang, Kaiyuan Wang, Sarfraz Khurshid

المصدر: ICST

مصطلحات موضوعية: Source code, True quantified Boolean formula, Computer science, media_common.quotation_subject, Feature extraction, 020207 software engineering, 02 engineering and technology, Solver, Constraint (information theory), Alloy Analyzer, Unified Modeling Language, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Boolean satisfiability problem, Algorithm, computer, media_common, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::5ed3a87a7b3086410251cd1d2b987c3e
https://doi.org/10.1109/icst.2019.00031

المؤلفون: Sarfraz Khurshid, Darko Marinov, Daniel Jackson

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

المصدر: http://www.mit.edu/~sarfraz/testera/AAL.pdf.

مصطلحات موضوعية: Alloy Analyzer, compile-time analysis

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2707; http://www.mit.edu/~sarfraz/testera/AAL.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2707
http://www.mit.edu/~sarfraz/testera/AAL.pdf

المؤلفون: Rohit Gheyi, Márcio Ribeiro, Augusto Sampaio, Paulo Borba

المصدر: Information and Software Technology. 82:173-176

مصطلحات موضوعية: Interpretation (logic), Computer science, Programming language, 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, Type (model theory), computer.software_genre, 01 natural sciences, Data type, Computer Science Applications, Alloy Analyzer, Unified Modeling Language, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, 0202 electrical engineering, electronic engineering, information engineering, computer, Software, Axiom, Language construct, Information Systems, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::27069d8d124d48ede07e6b700f8e01dd
https://doi.org/10.1016/j.infsof.2016.11.003

المؤلفون: Li Yang, Wei Huang, Min Xie, Yixian Yang

المصدر: Computers in Industry. 82:151-159

مصطلحات موضوعية: Password, Engineering, General Computer Science, business.industry, Mobile internet, 05 social sciences, General Engineering, Authorization, 02 engineering and technology, Computer security, computer.software_genre, Phishing, 020202 computer hardware & architecture, User privacy, Alloy Analyzer, Threat model, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, business, Formal verification, computer, 050107 human factors

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::77cad172a273af5c1b25edc0aee7f3c0
https://doi.org/10.1016/j.compind.2016.06.001

المؤلفون: Sotiris Moschoyiannis, Nurulhuda A. Manaf

المصدر: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON MATHEMATICAL SCIENCES AND TECHNOLOGY 2018 (MATHTECH2018): Innovative Technologies for Mathematics & Mathematics for Technological Innovation.

مصطلحات موضوعية: Choreography, Consistency (database systems), Alloy Analyzer, Computer science, Business rule, business.industry, Service choreography, Structured English, Semantics of Business Vocabulary and Business Rules, Business model, Software engineering, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::29a19396ee923583cdd213797324d92f
https://doi.org/10.1063/1.5136494

المؤلفون: Tiago Massoni, Franklin Ramalho, Marzina Vidal

مصطلحات موضوعية: FOS: Computer and information sciences, business.industry, Computer science, Semantics (computer science), Usability, Formal methods, Rotation formalisms in three dimensions, Software Engineering (cs.SE), Consistency (database systems), Computer Science - Software Engineering, Alloy Analyzer, Software, Software requirements, business, Software engineering

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