ing Spatial Relations Among Goal Locations Michael Brown Villanova University

ing Dependencies between Software Con guration Items Carl A. Gunter University of Pennsylvania http://www.cis.upenn.edu/~gunter Abstract This paper studies an abstract model of dependencies between software con guration items based on a theory of concurrent computation over a class of Petri nets called production nets. A general theory of build optimizations and their correctness is developed b...

Abstract By abstracting over well-known properties of De Bruijn’s representation with nameless dummies, we design a new theory syntax variable binding and capture-avoiding substitution. We propose it as simpler alternative to Fiore, Plotkin, Turi’s approach, which establish strong formal link. also show that our easily incorporates simple types equations between terms.

ING HARDWARE DEVICES TO EMBEDDED JAVA APPLICATIONS Mateus Krepsky Ludwich Laboratory for Software and Hardware Integration – LISHA Federal University of Santa Catarina – UFSC P.O.Box 476, 880400900 Florianópolis SC – Brazil [email protected] Antônio Augusto Fröhlich Laboratory for Software and Hardware Integration – LISHA Federal University of Santa Catarina – UFSC P.O.Box 476, 880400900 Flo...

ing System Requirements Jörg Desel and Agathe Merceron 1 Katholische Universität Eichstätt-Ingolstadt [email protected] 2 Beuth Hochschule für Technik Berlin [email protected] Abstract. This paper is concerned with structuring system requirements on an abstract conceptual level. Channel/Agency Petri nets are taken as a formal model. They allow to represent functional aspec...

ing the interface, Part II Search Advanced Help