Results 151 to 160 of about 93,999 (162)
Some of the next articles are maybe not open access.
Formal Specification of User Interfaces: A Comparison and Evaluation of Four Axiomatic Approaches
IEEE Transactions on Software Engineering, 1985exaly
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
IEEE Transactions on Software Engineering, 1987exaly
Applying Formal Specification to Software Development in Industry
IEEE Transactions on Software Engineering, 1985exaly
Mathematical notation in formal specification: too difficult for the masses?
IEEE Transactions on Software Engineering, 1996exaly
Formal interaction specification in public health surveillance systems using -calculus
Computer Methods and Programs in Biomedicine, 2008exaly