Paulo Sérgio Muniz Silva

Publication Activity (10 Years)

Years Active: 2003-2017
Publications (10 Years): 1

Top Topics

Business Process

Multiagent Systems

Top Venues

J. Syst. Softw.

Publications

Fábio Levy Siqueira, Thiago C. de Sousa, Paulo Sérgio Muniz Silva
Using BDD and SBVR to Refine Business Goals into an Event-B Model: A Research Idea. FormaliSE@ICSE (2017)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Transforming an enterprise model into a use case model in business process systems. J. Syst. Softw. 96 (2014)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Transformação de um Modelo de Empresa em Requisitos de Software. ER@BR (2013)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Analyzing the Use of an Enterprise Model as a Stakeholder Requirements Model: An Experiment. WER (2013)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Analyzing the Use of an Enterprise Model as a Stakeholder Requirements Model: An Experiment. CIbSE (2013)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Applying MTBE Manually: a Method and an Example. MDEBE@MoDELS (2013)
Thiago C. de Sousa, Paulo Sérgio Muniz Silva, Colin F. Snook
A Practical Event-B Refinement Method Based on a UML-Driven Development Process. ABZ (2012)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
An Essential Textual Use Case Meta-model Based on an Analysis of Existing Proposals. CIbSE (2011)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Transforming an enterprise model into a use case model using existing heuristics. MoDRE (2011)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
An Essential Textual Use Case Meta-model Based on an Analysis of Existing Proposals. WER (2011)
Thiago C. de Sousa, Colin F. Snook, Paulo Sérgio Muniz Silva
A proposal for extending UML-B to support a conceptual model. Innov. Syst. Softw. Eng. 7 (4) (2011)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Mapping the WRSPM Model to Model-Driven Architecture Models. ITNG (2011)
Leonardo Chwif, Paulo Sérgio Muniz Silva, Lúcio Mitio Shimada
A prescriptive technique for V&V of simulation models when no real-life data are available: results from a real-life project. J. Simulation 2 (2) (2008)
Giuliano Luz Pigatti Caliari, Paulo Sérgio Muniz Silva
A case study on modeling persistence with MDA tools. JISBD (2007)
Leonardo Chwif, Paulo Sérgio Muniz Silva, Lúcio Mitio Shimada
A prescriptive technique for V&V of simulation models when no real-life data are available. WSC (2006)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Recomendações para a Gerência de Projetos no Desenvolvimento Distribuído de Software. SBQS (2006)
Nelson Guimarães Ferreira, Paulo Sérgio Muniz Silva
Automatic Verification of Safety Rules for a Subway Control Software. Electron. Notes Theor. Comput. Sci. 130 (2005)
Paulo Sérgio Muniz Silva
Early Verification of Computer Systems Temporal Properties. Electron. Notes Theor. Comput. Sci. 130 (2005)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
Mapeamento da NBR ISO/IEC 12207 em Papéis da Gerência de Projetos de Software. SBQS (2005)
Paulo Sérgio Muniz Silva, Leonardo Chwif
Functional and Non-Functional Application Software Requirements: Early Conflict Detection. ICEIS (3) (2005)
Fábio Levy Siqueira, Paulo Sérgio Muniz Silva
As Características do Desenvolvimento Distribuído de Software. SBSI (2004)
Paulo Sérgio Muniz Silva
Early Verification of Software Behavior in a Time Interval Framework. SBES (2003)