Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Tim Wahls
Dickinson College
Perfil externo:
Citaciones:
89
Productos:
5
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
5 Productos
Más citado
CSV
API
Code generation for Event-B
Acceso Cerrado
ART-ART_A2
ID Minciencias: ART-0000086614-30025
Fuente: International Journal on Software Tools for Technology Transfer
Victor Rivera
Nestor Catano Collazos
Tim Wahls
Camilo Rueda Calderon
Temas:
Computer science
Programming language
Java
Code generation
Java Modeling Language
Event (particle physics)
Formal methods
Formal specification
Java annotation
Software engineering
Operating system
Real time Java
Physics
Quantum mechanics
Key (lock)
Publicado: 2015
Citaciones:
50
Altmétricas:
0
Artículo de revista
Translating B machines to JML specifications
Acceso Cerrado
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0000086614-30014
Nestor Catano Collazos
Tim Wahls
Camilo Rueda Calderon
Victor Rivera
Danni Yu
Temas:
Computer science
Java
Programming language
Suite
Software engineering
Assertion
Test suite
Formal specification
Task (project management)
Software development
Software
Test case
Systems engineering
Regression analysis
Archaeology
Machine learning
Engineering
History
Publicado: 2012
Citaciones:
16
Altmétricas:
0
Capítulo de libro
Executing JML specifications of Java card applications
Acceso Cerrado
Nestor Catano Collazos
Tim Wahls
Temas:
Computer science
Java
Java Card
Programming language
Formal specification
Java Modeling Language
Formal methods
Java annotation
Software engineering
Process (computing)
Real time Java
Publicado: 2009
Citaciones:
16
Altmétricas:
0
Artículo de revista
A Machine-Checked Proof for a Translation of Event-B Machines to JML.
Acceso Cerrado
Néstor Cataño
camilo Rueda
Tim Wahls
Temas:
Computer science
Programming language
Event (particle physics)
Soundness
Substitution (logic)
Semantics (computer science)
Java
Translation (biology)
Formal specification
Biochemistry
Chemistry
Physics
Quantum mechanics
Messenger RNA
Gene
Publicado: 2013
Citaciones:
5
Otro
Translating B and Event‐B Machines to Java and JML
Acceso Cerrado
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0000086614-30020
Néstor Cataño
Victor Rivera
Camilo Rueda Calderon
Tim Wahls
Camilo Rueda Calderon
Temas:
Java
Event (particle physics)
Computer science
Programming language
Quantum mechanics
Physics
Publicado: 2014
Citaciones:
2
Altmétricas:
0
Publicaciones editoriales no especializadas
1
NaN
