Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil (1999)
- Authors:
- Autor USP: MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- Assunto: CIÊNCIA DA COMPUTAÇÃO (EVENTOS)
- Language: Inglês
- Imprenta:
- Publisher: [s.n.]
- Publisher place: Florianópolis
- Date published: 1999
- Conference titles: Workshop on Formal Methods - WFM
-
ABNT
Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. . Florianópolis: [s.n.]. . Acesso em: 10 jan. 2026. , 1999 -
APA
Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. (1999). Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. Florianópolis: [s.n.]. -
NLM
Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. 1999 ;[citado 2026 jan. 10 ] -
Vancouver
Proceedings of the II Workshop on Formal Methods, october 12-13, 1999, Florianópolis - SC - Brazil. 1999 ;[citado 2026 jan. 10 ] - Business rules: from SBVR to information systems
- Exercising Java exceptions using Java Pathfinder and program instrumentation
- Testing Java exceptions: an instrumentation technique
- Can you certify your software to MC/DC?: a static analysis approach to account for the number test cases
- A formal environment model for multi-agent systems
- Testing the adherence of enterprise web applications to transactional patterns
- From active names to π-calculus rewriting rules
- On the composition of Java frameworks control-flows
- Formalization of an architectural model for exception handling coordination based on CA action concepts
- A strategy for the formal composition of frameworks
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas