Home › Biblio

Biblio

Export 77 results:
Sort by: [ Author (Asc)] Keyword Title Type Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
A B C D E F G H I J [K] L M N O P Q R S T U V W X Y Z   [Show ALL]
K
Küster Filipe, J., On a Distributed Temporal Logic for Modular Object Systems, , no. 98-06: Technical University Braunschweig, 1998. Abstract
Küster Filipe, J., A Categorical Hiding Mechanism for Concurrent Object Systems, , no. 97-06: Technical University Braunschweig, 1997. Abstract
Küster Filipe, J., Foundations of a Module Concept for Distributed Object Systems, : PhD Thesis, Technical University Braunschweig, September, 2000. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, K. Taguchi, H. Yatsu, and A. Wills, "Formal Specification of Catalysis Frameworks", Proceedings of the 7th Asia-Pacific Software Engineering Conference (APSEC 2000), Dec. 5-8, Singapore, 2000. Abstract
Küster Filipe, J., "Using a Modular Distributed Temporal Logic for In-the-large Object Specification", Proc. of the First International Workshop on Component-based Software Development in Computational Logic (COCL'98), Pisa, Italy, September 19, pp. 43-57, 1998. Abstract
Küster Filipe, J., "Modelling Parameterisation in Concurrent Object Systems", Logic Journal of the IGPL, vol. 5, no. 6, pp. 877-879, November, 1997. Abstract
Küster Filipe, J., K. - K. Lau, M. Ornaghi, and H. Yatsu, "On Dynamic Aspects of OOD Frameworks in Component-based Software Development in Computational Logic", Proceedings of the 9th International Workshop on Logic-based Program Synthesis and Transformation (LOPSTR'99), Venice, 22-24 September 1999, Selected papers: Springer-Verlag, LNCS 1817, pp. 43-62, 2000. Abstract