dataHAL.science
Support
https://data.archives-ouvertes.fr/author/5451
https://data.archives-ouvertes.fr/author/5451
http://xmlns.com/foaf/0.1/topic_interest
XDSL
http://www.w3.org/2002/07/owl#sameAs
0000-0001-7891-9138
http://xmlns.com/foaf/0.1/topic_interest
Dynamic program analysis
http://www.w3.org/2002/07/owl#sameAs
197315747
http://xmlns.com/foaf/0.1/topic_interest
Domain analysis
http://xmlns.com/foaf/0.1/topic_interest
Coq
http://xmlns.com/foaf/0.1/topic_interest
ATL
http://xmlns.com/foaf/0.1/topic_interest
Domain-Specific Languages
http://xmlns.com/foaf/0.1/topic_interest
Satisfiability
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ds
http://xmlns.com/foaf/0.1/topic_interest
REST
http://xmlns.com/foaf/0.1/firstName
Massimo
http://xmlns.com/foaf/0.1/familyName
Tisi
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-db
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest
Data Distribution
http://xmlns.com/foaf/0.1/topic_interest
Simplification
http://xmlns.com/foaf/0.1/topic_interest
Low-code development
http://xmlns.com/foaf/0.1/topic_interest
Model Driven Engineering
http://xmlns.com/foaf/0.1/topic_interest
Model Persistence
http://xmlns.com/foaf/0.1/topic_interest
Language Engineering
http://xmlns.com/foaf/0.1/topic_interest
EMF
http://xmlns.com/foaf/0.1/topic_interest
Rule conflicts
http://xmlns.com/foaf/0.1/topic_interest
Twin-Driven Engineering
http://xmlns.com/foaf/0.1/topic_interest
NeoEMF
http://xmlns.com/foaf/0.1/topic_interest
MDE
http://xmlns.com/foaf/0.1/topic_interest
MDA
http://xmlns.com/foaf/0.1/topic_interest
Key-Value Stores
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pl
http://xmlns.com/foaf/0.1/topic_interest
Keywords Model-Driven Engineering
http://xmlns.com/foaf/0.1/topic_interest
CCS Concepts •Software and its engineering → Development frame- works and environments
http://xmlns.com/foaf/0.1/topic_interest
Tool Interoperability
http://xmlns.com/foaf/0.1/topic_interest
Execution Trace
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-pf
http://xmlns.com/foaf/0.1/topic_interest
Research Directions
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ni
http://xmlns.com/foaf/0.1/topic_interest
Model Transformations
http://xmlns.com/foaf/0.1/topic_interest
Cyber-Physical Systems
http://xmlns.com/foaf/0.1/name
Massimo Tisi
http://xmlns.com/foaf/0.1/topic_interest
XDSMLs
http://xmlns.com/foaf/0.1/topic_interest
Software development techniques
http://xmlns.com/foaf/0.1/topic_interest
Multi-strategy
http://xmlns.com/foaf/0.1/topic_interest
FUML
http://xmlns.com/foaf/0.1/mbox_sha1sum
98534b8eb0d3ef4ed59a81ef37b029ac
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
MapReduce
http://xmlns.com/foaf/0.1/topic_interest
Execution traces
http://xmlns.com/foaf/0.1/topic_interest
Feature model
http://xmlns.com/foaf/0.1/topic_interest
Scalability
http://xmlns.com/foaf/0.1/topic_interest
Large Models
http://xmlns.com/foaf/0.1/topic_interest
Regression Test Selection
http://xmlns.com/foaf/0.1/topic_interest
Spark
http://xmlns.com/foaf/0.1/topic_interest
Bidirectional transformation
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-ia
http://xmlns.com/foaf/0.1/topic_interest
OCL
http://xmlns.com/foaf/0.1/topic_interest
Rule-based systems
http://xmlns.com/foaf/0.1/topic_interest
Programming Language Implementation
http://xmlns.com/foaf/0.1/topic_interest
Reactive Programming
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-mo
http://xmlns.com/foaf/0.1/topic_interest
Certification
http://xmlns.com/foaf/0.1/topic_interest
Energy Estimation
http://xmlns.com/foaf/0.1/topic_interest
Model-Driven Engineering
http://xmlns.com/foaf/0.1/topic_interest
Distributed Persistence
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-mc
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-lo
http://xmlns.com/foaf/0.1/topic_interest
Theorem Proving
http://xmlns.com/foaf/0.1/topic_interest
Distributed Computing
http://xmlns.com/foaf/0.1/topic_interest
Model-Driven Web Engineering
http://xmlns.com/foaf/0.1/topic_interest
Interactive The- orem Proving
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-iu
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/topic_interest
State-of-the-Art
http://xmlns.com/foaf/0.1/topic_interest
Regression Testing
http://xmlns.com/foaf/0.1/topic_interest
Static Analysis
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cl
http://xmlns.com/foaf/0.1/topic_interest
Systems of Systems
http://xmlns.com/foaf/0.1/topic_interest
Model Transformation
http://www.w3.org/2002/07/owl#sameAs
https://scholar.google.com/citations?user=5-tRnxkAAAAJ
http://xmlns.com/foaf/0.1/topic_interest
Very Large Models
http://xmlns.com/foaf/0.1/topic_interest
Tool
http://www.openarchives.org/ore/terms/isAggregatedBy
https://data.archives-ouvertes.fr/author/massimo-tisi
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-cr
https://aurehal.archives-ouvertes.fr/author/5451
Télécharger au format
RDF/XML
Turtle
N3
Json