In: Poster, 10th WWW Conference, Hong Kong (2001) Springer, Heidelberg (2001)ĭe Alfaro, L., Henziger, T.A., Mang, F.Y.C.: MCWEB: A Model-Checking Tool for Web Site Debugging. Repository of Property Specification Patterns, ĭe Alfaro, L.: Model Checking the World Wide Web. Holzmann, G.J.: The Spin Model Checker, Primer and Reference Manual. Krishnamurthy, Rexford, J.: Web Protocols and Practice: HTTP/1.1, Networking Protocols, Caching, and Traffic Measurement. Prentice Hall PTR, Englewood Cliffs (1998) of the 9th SDL Forum (SDL 1999), Montreal, June 21–25, pp. Mansurov, N., Probert, R.: Dynamic Scenario-Based Approach to Re-Engineering of Legacy Telecommunication Systems. of Computer and Information Sciences, University of Tampere (2000) Systä, T.: Static and Dynamic Reverse Engineering Techniques for Java Software Systems, Ph.D. IEEE Computer Society, Software Reengineering Bibliography, October 28 (2002), of the 24th IEEE Annual International Computer Software and Applications Conference, Taipei, Taiwan (October 2000) Leung, K.R.P.H., Hui, L.C.K., Yui, S.M., Tang, R.W.M.: Modeling Web Navigation by Statechart. of the 9th ACM Conference on Hypertext, United Kingdom (June 1998) Paulo, F.B., Turine, M.A.S., de Olivieira, M.C.F.: XHMBS: a Formal Model to Support Hypermedia Specification. IEEE Transactions on Software Engineering 25(1) (January 1999) Paulo, F.B., Masiero, P.C., de Olivieira, M.C.F.: Hypercharts: Extended Statecharts to Support Hypermedia Specification. ACM Transactions on Information Systems 19(1), 28–52 (2001) of Communications of the ACM, October 1999, vol. 2(10) (1999)ĭe Oliveira, M.C.F., Masiero, P.C.: A Statechart-Based Model for Hypermedia Applications. 332–338 (1991)Ĭonallen, J.: Modeling Web Application Architectures, with UML. of the 10th Annual International Phoenix Conference on Computers and Communications, Scottsdale, AZ, USA, pp. LNCS, vol. 1885, Springer, Heidelberg (2000)īecker, S.A., Hevner, A.R.: A White Box Analysis of Concurrent System Designs. International Conference on Software Engineering (2000)Ĭorbett, J.C., Dwyer, M.B., Hatcliff, J., Robby: A, Language Framework For Expressing Checkable Properties of Dynamic Software. John Wiley & Sons, Inc., Chichester (1996)Ĭorbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby, Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code. Graham, S.: HTML Sourcebook, A Complete Guide to HTML 3.0. Send us an email with pictures if you can.Online Dictionary and Search Engine for Computer and Internet Technology, Ī glossary of World Wide Web Terminology, VISIT – Visitors are welcome by appointment and we also offer an Automata Experience & Workshop Tour at our Forres Premises.ĪDVICE – We are happy to give advice on any automata question. TALKS – We present a range of talks & demonstrations.ĮXHIBITIONS – With a large stock and an important collection of automata we mount interactive exhibitions and loan automata to museums and galleries. HIRE – We hire Automata and Horology to the film industry. Our clients are many and varied and include collectors, auction houses, mu seums and the media ( Automata consultant to Scorsese’s HUGO).īUYING/SELLING – Automata and Mechanical Singing Birds. We have in depth knowledge based on more than 25 years experience restoring and conserving automata both antique and modern. The House of Automata is a specialist automata company run by Michael and Maria Start, award winning Horologist and skilled Sculptor and Painter respectively We run a busy restoration workshop in Forres, Scotland assisted by Fine Arts graduate Hector. “Automata are mechanical objects endowed with life by ingenious means.”
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |