Paulo Sérgio Muniz Silva

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