Formal Methods Application: An Empirical Tale of Software Development.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 308, doi. 10.1109/32.991322
- By:
- Publication type:
- Article
Works matching IS 00985589 AND DT 2002 AND VI 28 AND IP 3
Results: 6
1
2
Models of Parallel Applications with Large Computation and I/O Requirements.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 286, doi. 10.1109/32.991321
- By:
- Publication type:
- Article
3
An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 256, doi. 10.1109/32.991320
- By:
- Publication type:
- Article
4
Knowledge-Based Automation of a Design Method for Concurrent Systems.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 228, doi. 10.1109/32.991319
- By:
- Publication type:
- Article
5
A Classification of Noncircular Attribute Grammars Based on the Look-Ahead Behavior.
- Published in:
- IEEE Transactions on Software Engineering, 2002, v. 28, n. 3, p. 210, doi. 10.1109/32.991318
- By:
- Publication type:
- Article
6
New AE Introduction.
- Published in:
- 2002
- By:
- Publication type:
- Editorial