Achermann, Franz

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 16.

Journal Article

Achermann, Franz; Nierstrasz, Oscar (2005). A Calculus for Reasoning about Software Components. Theoretical Computer Science, 331(2-3), pp. 367-396. Elsevier 10.1016/j.tcs.2004.09.022

Book Section

Nierstrasz, Oscar; Achermann, Franz (2005). Separating Concerns with First-Class Namespaces. In: Filman, Robert E.; Elrad, Tzilla; Clarke, Siobhán; Aksit, Mehmet (eds.) Aspect-Oriented Software Development (pp. 243-259). Addison-Wesley

Achermann, Franz; Nierstrasz, Oscar (2001). Applications = Components + Scripts - A Tour of Piccola. In: Aksit, Mehmet (ed.) Software Architectures and Component Technology. The Springer International Series in Engineering and Computer Science: Vol. 648 (pp. 261-292). Kluwer

Achermann, Franz; Lumpe, Markus; Schneider, Jean-Guy; Nierstrasz, Oscar (2001). Piccola - a Small Composition Language. In: Bowman, Howard; Derrick, John (eds.) Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches (pp. 403-426). Cambridge University Press

Lumpe, Markus; Achermann, Franz; Nierstrasz, Oscar (2000). A Formal Language for Composition. In: Leavens, Gary; Sitaraman, Murali (eds.) Foundations of Component Based Systems (pp. 69-90). Cambridge University Press


Nierstrasz, Oscar; Achermann, Franz; Kneubühl, Stefan (2003). A Guide to JPiccola Universität Bern, Switzerland: Universität Bern

Conference or Workshop Item

Nierstrasz, Oscar Marius; Achermann, Franz (2003). A Calculus for Modeling Software Components. In: de Boer, Frank S.; Bonsangue, Marcello M.; Graf, Susanne; de Roever, Willem-Paul (eds.) Formal Methods for Components and Objects. FMCO 2002. LNCS: Vol. 2852 (pp. 339-360). Springer-Verlag 10.1007/978-3-540-39656-7_14

Schärli, Nathanael; Achermann, Franz (September 2001). Partial evaluation of inter-language wrappers (Unpublished). In: Workshop on Composition Languages. Wien, Österreich. 11. Sept. 2001.

Nierstrasz, Oscar; Achermann, Franz (November 2000). Supporting Compositional Styles for Software Evolution. In: International Symposium on Principles of Software Evolution (pp. 14-22). IEEE 10.1109/ISPSE.2000.913216

Achermann, Franz; Kneubühl, Stefan; Nierstrasz, Oscar (September 2000). Scripting Coordination Styles. In: Porto, António; Roman, Gruia-Catalin (eds.) International Conference of Coordination Languages and Models. LNCS: Vol. 1906 (pp. 19-35). Springer-Verlag 10.1007/3-540-45263-X_2

Achermann, Franz; Nierstrasz, Oscar (September 2000). Explicit Namespaces. In: Gutknecht, Jürg; Weck, Wolfgang (eds.) Joint Modular Languages Conference. LNCS: Vol. 1897 (pp. 77-89). Springer-Verlag 10.1007/10722581_8

Achermann, Franz (June 2000). Language support for feature mixing. In: Workshop on Multi-Dimensional Separation of Concerns in Software Engineering (ICSE 2000). IEEE

Nierstrasz, Oscar; Schneider, Jean-Guy; Achermann, Franz (2000). Agents Everywhere, All the Time. In: Object-Oriented Technology: ECOOP 2000 Workshop. Cannes, Frankreich. 10.-16. Juni 2000.

Nierstrasz, Oscar; Achermann, Franz (2000). Separation of Concerns through Unification of Concepts. In: Object-Oriented Technology: ECOOP 2000 Workshop. Cannes, Frankreich. 10.-16. Juni 2000.

Lumpe, Markus; Schneider, Jean-Guy; Nierstrasz, Oscar; Achermann, Franz (September 1997). Towards a formal composition language. In: European Software Engineering Conference. Zürich, Schweiz. 22.-25. Sept. 1997.


Achermann, Franz (2002). Forms, Agents and Channels: Defining Composition Abstraction with Style. (Dissertation, University of Bern, Philosophisch-naturwissenschaftliche Fakultät)

This list was generated on Wed Nov 29 18:25:18 2023 CET.
Provide Feedback