J. Carracedo

According to our database, J. Carracedo authored at least 3 papers between 1993 and 1997.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1997

Introducing SDL in the development of CORBA-compliant applications.

J. Carracedo, Carlos Ramos, Rubén de Diego, Carlos González, Juan José Gil, Emilo Rodríguez, Morgan Björkander

Proceedings of the SDL '97 Time for Testing, 1997

1993

An Industrial Experience of Using an Incremental Model of Technology Transfer of Formal Development Methods.

Gonzalo León, J. Carracedo, Juan C. Yelmo, Carlos Sánchez, J. C. Moreno, Juan J. Gil, J. Carrasco

Proceedings of the Diffusion, 1993

An Industrial Experience on Development with LOTOS and SDL.

Gonzalo León, J. Carracedo, J. C. Moreno, Juan C. Yelmo, Juan J. Gil, Carlos Sánchez, F. Javier Carrasco

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993