Fernanda S. H. Souza

Learn More
In this paper we present a case study in the industry about the application of a test case generation method based on B machine specifications. First we describe the step-by-step process of the test case generation method and then we present its use in a particular case study for door controlling module from a subway system. Lastly, we discuss the results(More)
The Brazilian symposium on computer networks and distributed systems (SBRC) reached its 30th edition as the paramount scientific event in the area of computer networks and distributed systems in Brazil. Faced with this opportune moment in the event’s history, we here study the collaboration network established among authors who have jointly published in the(More)
In Wireless Sensor Networks (WSNs) there are network functions and applications that need to know the localization of a node such as the association of the sensed data with a given position. In general, it may be impossible or unfeasible to have either a planned deployment or a localization hardware. Thus, an important problem in wireless sensor networks is(More)