Result 61 to 80 of 100 total
User preference of graph layout aesthetics: A UML study (English)
Graph Drawing, 5-18 (2000).
61
Extending the test template framework for specification-based testing of interactive systems. (English)
Edwards, Jenny (ed.), Computer science. ACSC ’99. Proceedings of the 22nd Australasian conference, Auckland, New Zealand, January 18-21, 1999. Singapore: Springer. Aust. Comput. Sci. Commun. 21(1), 372-383 (1999).
62
Specifying interactive systems in Object-Z and CSP. (English)
Araki, Keijiro (ed.) et al., IFM 99. Proceedings of the 1st international conference on Integrated formal methods, York , GB, June 28-29, 1999. London: Springer. 335-352 (1999).
63
Application of $h$-adaptation for environmental fluid flow and species transport. (English)
Int. J. Numer. Methods Fluids 31, No.1, 275-283 (1999).
64
Object-oriented user-interface development (English)
IEE Proceedings - Software 146, No. 5, 221-231 (1999).
65
Visualization of formal specifications (English)
APSEC, 102-109 (1999).
66
Formalizing the UML class diagram using object-Z (English)
UML, 83-98 (1999).
67
Tinman - A test derivation and management tool for specification-based class testing (English)
TOOLS (32), 222-233 (1999).
68
Model-based design of user interfaces using object-Z (English)
CADUI, 43-56 (1999).
69
Specifying interactive systems in object-Z and CSP (English)
IFM, 335-352 (1999).
70
A model of specification-based testing of interactive systems (English)
World Congress on Formal Methods, 1862 (1999).
71
A parallel h-adaptive finite element model for atmospheric transport prediction. (English)
Adv. Eng. Softw. 29, No. 3-6, 359-363 (1998).
72
A program refinement tool. (English)
Formal Asp. Comput. 10, No.2, 97-124 (1998).
73
Specification-based class testing: A case study (English)
ICFEM, 222- (1998).
74
Guiding object-oriented design (English)
TOOLS (28), 88-100 (1998).
75
Formal derivation of finite state machines for class testing (English)
ZUM, 42-59 (1998).
76
Which widgets? deriving implementations from user-interface specifications (English)
DSV-IS, 206-224 (1998).
77
Proceedings of the ACM SIGCSE 3rd australasian conference on computer science education, ACSE 1998, the university of queensland, Brisbane, queensland, Australia, July 8-10, 1998 (English)
ACM International Conference Proceeding Series: ACSE 3 (1998).
78
Supporting data refinement in a program refinement tool. (English)
Groves, Lindsay (ed.) et al., Formal methods Pacific ’97. Proceedings of FMP ’97, July 9‒11, 1997, Wellington, New Zealand. Singapore: Springer. 208-222 (1997).
79
Comparing the MVC and PAC architectures: a formal perspective (English)
IEE Proceedings - Software 144, No. 4, 224-236 (1997).
80
Result 61 to 80 of 100 total
Start
Contact
Print
General Help
