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
Nestor Catano Collazos
Grupo de Investigación en Ambientes Visuales de Programación Aplicativa - AVISPA
Pontificia Universidad Javeriana
Universidad del Valle
GIDITIC: Grupo I+D+I en Tecnologias de la Información y las Comunicaciones
Universidad EAFIT
Perfil externo:
Citaciones:
230
Productos:
45
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...
45 Productos
Más citado
CSV
API
Formal methods for smart cards: an experience report
Acceso Abierto
Fuente: Science of Computer Programming
Cees Bart Breunesse
Nestor Catano Collazos
Marieke Huisman
Bart Jacobs
Temas:
Computer science
Specification language
Correctness
Programming language specification
Programming language
Formal specification
Formal methods
Java
Language Of Temporal Ordering Specification
Smart card
Java Card
Software engineering
Formal verification
Automation
Operating system
Java applet
Mechanical engineering
Inductive programming
Programming domain
Programming paradigm
Engineering
Publicado: 2004
Citaciones:
52
Altmétricas:
0
Artículo de revista
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 event-B to JML-specified Java programs
Acceso Cerrado
Victor Rivera
Nestor Catano Collazos
Temas:
Computer science
Programming language
Implementation
Java
Correctness
Plug-in
Java Modeling Language
Class (philosophy)
Event (particle physics)
Bespoke
Java annotation
Real time Java
Artificial intelligence
Law
Physics
Quantum mechanics
Political science
Publicado: 2014
Citaciones:
22
Altmétricas:
0
Capítulo de libro
CHASE:A Static Checker for JML’s Assignable Clause
Acceso Cerrado
Fuente: Lecture notes in computer science
Nestor Catano Collazos
Marieke Huisman
Temas:
Correctness
Computer science
Programming language
Class (philosophy)
Process (computing)
Regular expression
Expression (computer science)
Java
Artificial intelligence
Natural language processing
Publicado: 2002
Citaciones:
19
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
Teaching Formal Methods for the Unconquered Territory
Acceso Cerrado
ART-ART_B
ID Minciencias: ART-0000086614-29999
Fuente: Lecture notes in computer science
Nestor Catano Collazos
Camilo Rueda Calderon
Temas:
Formal methods
Computer science
Presentation (obstetrics)
Software engineering
Course (navigation)
Software
Software development
Programming language
Engineering
Medicine
Radiology
Aerospace engineering
Publicado: 2009
Citaciones:
11
Altmétricas:
0
Artículo de revista
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0000927694-15
Fuente: Lecture notes in computer science
Nestor Catano Collazos
ijaz ahmed
Nestor Catano Collazos
Temas:
Computer science
Plural
Task (project management)
Operating system
Programming language
Embedded system
Systems engineering
Philosophy
Linguistics
Engineering
Publicado: 2011
Citaciones:
6
Altmétricas:
0
Artículo de revista
Automated Verification of Specifications with Typestates and Access Permissions
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0000927694-8
Fuente: Electronic Communication of The European Association of Software Science and Technology
Radu I Siminiceanu
ijaz ahmed
Nestor Catano Collazos
Nestor Catano Collazos
Temas:
Computer science
Model checking
Programming language
State (computer science)
Plural
Abstract state machines
Formal methods
Finite-state machine
Software engineering
Philosophy
Linguistics
Publicado: 2012
Citaciones:
6
Altmétricas:
0
Publicaciones editoriales no especializadas
Teaching Formal Methods: Lessons Learnt from Using Event-B
Acceso Cerrado
Fuente: Lecture notes in computer science
Nestor Catano Collazos
Temas:
Formal methods
Formalism (music)
Computer science
Software
Software engineering
Event (particle physics)
Software development
Technical university
Engineering management
Mathematics education
Library science
Programming language
Engineering
Mathematics
Art
Musical
Physics
Quantum mechanics
Visual arts
Publicado: 2019
Citaciones:
6
Altmétricas:
0
Artículo de revista
1
NaN
NaN / pág.
