Paulo Sérgio Muniz Silva

According to our database, Paulo Sérgio Muniz Silva authored at least 21 papers between 1998 and 2017.

Collaborative distances:

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

2017

Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea.

Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva

Proceedings of the 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, 2017

2014

Transforming an enterprise model into a use case model in business process systems.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

J. Syst. Softw., 2014

2013

Transformação de um Modelo de Empresa em Requisitos de Software.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of Requirements Engineering@Brazil 2013, Rio de Janeiro, Brazil, July 16, 2013, 2013

Applying MTBE Manually: a Method and an Example.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Analyzing the Use of an Enterprise Model as a Stakeholder Requirements Model: An Experiment.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the XVI Iberoamerican Conference on Software Engineering, 2013

2012

A Practical Event-B Refinement Method Based on a UML-Driven Development Process.

Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

A proposal for extending UML-B to support a conceptual model.

Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva

Innov. Syst. Softw. Eng., 2011

Transforming an enterprise model into a use case model using existing heuristics.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the First Model-Driven Requirements Engineering Workshop, 2011

Mapping the WRSPM Model to Model-Driven Architecture Models.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the Eighth International Conference on Information Technology: New Generations, 2011

An Essential Textual Use Case Meta-model Based on an Analysis of Existing Proposals.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

2008

A prescriptive technique for V&V of simulation models when no real-life data are available: results from a real-life project.

Leonardo Chwif, Paulo Sérgio Muniz Silva, Lúcio Mitio Shimada

J. Simulation, 2008

2007

A case study on modeling persistence with MDA tools.

Giuliano Luz Pigatti Caliari, Paulo Sérgio Muniz Silva

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2006

A prescriptive technique for V&V of simulation models when no real-life data are available.

Leonardo Chwif, Paulo Sérgio Muniz Silva, Lúcio Mitio Shimada

Proceedings of the Winter Simulation Conference WSC 2006, 2006

Recomendações para a Gerência de Projetos no Desenvolvimento Distribuído de Software.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the 5th Brazilian Symposium on Software Quality, 2006

2005

Mapeamento da NBR ISO/IEC 12207 em Papéis da Gerência de Projetos de Software.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the 4th Brazilian Symposium on Software Quality, 2005

Functional and Non-Functional Application Software Requirements: Early Conflict Detection.

Paulo Sérgio Muniz Silva, Leonardo Chwif

Proceedings of the ICEIS 2005, 2005

2004

Early Verification of Computer Systems Temporal Properties.

Paulo Sérgio Muniz Silva

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

Automatic Verification of Safety Rules for a Subway Control Software.

Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva

Proceedings of the Seventh Brazilian Symposium on Formal Methods, 2004

As Características do Desenvolvimento Distribuído de Software.

Fábio Levy Siqueira, Paulo Sérgio Muniz Silva

Proceedings of the 1st Brazilian Symposium on Information Systems, 2004

2003

Early Verification of Software Behavior in a Time Interval Framework.

Paulo Sérgio Muniz Silva

Proceedings of the 17th Brazilian Symposium on Software Engineering, 2003

1998

Extended Message Sequence Charts with Time-Interval Semantics.

Paulo Sérgio Muniz Silva

Proceedings of the 5th Workshop on Temporal Representation and Reasoning, 1998