Portal de Periódicos da CAPES

FME '93: Industrial-Strength Formal Methods

1993; Springer Science+Business Media; Linguagem: Inglês

10.1007/bfb0024633

1611-3349

Gerhard Goos, Universitfit Postfach, Jim Woodcock, Peter Gorm Larsen, Michael Andersen, Derek Andrews, Rob Arthan, Rudolf Berghammer, W. Bouma, Jonathan P. Bowen, Stephen Brien, Manfred Broy, David Carrington, Flemming Datum, Werner Datum, Tony Darlison, Roger Duke, Hans-Dieter Ehrich, Ren Elmstrem, John Fitzgerald, Christopher Fox, Jacob Frost, Martin Fr nzle, Jean Goubault, Christian Gram, Jan Friso, G. W. Groves, Anthony E. Hall, Bo Mølholm Hansen, François Wilhelm, Yon Henke, Mike Hinchey, Ronald Huijsman, Kees Huizin, Dave Jackson, Roger Bishop Jones, J. van Katwijk, Patricia M. Kearney, Trevor King, Hans Kloosterman, P. Kluit, H Kreowski, Bernd Krieg-Briickner, Kevin Lano, Ole Larsen, S O Larsen, Poul Bøgh Lassen, George Leih, Peter Lindsay, Hans Lcvengreen, Wayne Luk, Brendan Mahony, Derek Mannering, Andrew Martin, Swapan Kumar Mitra, Carroll Morgan, Maurice Naftalin, Manfred Nagl, J. A. F. Nicholls, Ernst Olderog, Jens Palsberg, Peter Pepper, Nico Plat, Ben Potter, Kees Pronk, Anders P. Ravn, Joy Reed, Wolfgang Reisig, Hans Risehel, Gordon Rose, J. W. Sanders, Steve Schneider, Danny De Schreye, Karen Seidel, Robin Sharp, Jane Sinclair, J. � ek, Arne Skou, Gregor Snelting, Ruud Sommerhalder, Jan Springintveld, John Staples, I rgen Staunstrup, Werner Stephan, Andrew Stevens, Werner Struckmann, Mario Siidholt, Paul Taylor, Hans Tonino, Mark Utting, Hugo Velthuijsen, Friedrich H. Vogt, Nigel Ward, Jim Welsh, Han Zuidweg,

Manufacturing Process and Optimization

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. I