Search Results - "Marcondes, F.S."

Systematic and Formal Approach to get a Domain Specific Language by Marcondes, F.S., Fernandes, D.D., Motini, D.A., Tasinaffo, P.M., Vega, I.S., Dias, L.

“…This paper presents a systematic approach applied over state machine (since it is a wide know model and easy to be used to formal specification) to improve the…”
Get full text

Problem on Software Engineering Learning: Domain Engineering by Marcondes, F.S., Brumatto, H.J., Sonoda, E.H., Barboza, L.C., Zannuto, J.

“…During the system information undergraduate course, besides the knowledge on how to build a software system, the students should also know how to analyses…”
Get full text

Using GQM Hypothesis Restriction to Infer Bayesian Network Testing by Montini, D.A., Cardoso, F.R.M., Marcondes, F.S., Tasinaffo, P.M., Dias, L.A.V., da Cunha, A.M.

“…By definition, the scope of a Bayesian Network uses a complementary technique to restrict the modeling reach. In this paper, the used restriction technique was…”
Get full text

Proposing a Formal Method to Reduce RTS Logical Model Complexity by Marcondes, F.S., de Menezes Colonese, E., Dias, L.A.V.

“…Complex real time systems (RTS) often come with many requirements, which have a difficult description with a large number of scenarios. In order to control…”
Get full text