- Pierre-Cyrille Héam, Olga Kouchnarenko
, Jérôme Voinot:
Component simulation-based substitutivity managing QoS and composition issues. Sci. Comput. Program. 75(10): 898-917 (2010) - Jaakko Järvi, John Freeman:
C++ lambda expressions and closures. Sci. Comput. Program. 75(9): 762-772 (2010) - Jaakko Järvi, Mat Marcus, Jacob N. Smith:
Programming with C++ concepts. Sci. Comput. Program. 75(7): 596-614 (2010) - Ying Jin, David Lorge Parnas:
Defining the meaning of tabular mathematical expressions. Sci. Comput. Program. 75(11): 980-1000 (2010) - Adrian Johnstone, Anthony Sloane, John Tang Boyland:
Preface. Sci. Comput. Program. 75(1-2): 1-2 (2010) - Georg Jung, John Hatcliff:
A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures. Sci. Comput. Program. 75(7): 615-637 (2010) - Holger M. Kienle, Hausi A. Müller:
Rigi - An environment for software reverse engineering, exploration, visualization, and redocumentation. Sci. Comput. Program. 75(4): 247-263 (2010) - Sascha Klüppelholz, Christel Baier:
Alternating-time stream logic for multi-agent systems. Sci. Comput. Program. 75(6): 398-425 (2010) - Julia L. Lawall:
Preface to special issue on Generative Programming and Component Engineering (GPCE 2007). Sci. Comput. Program. 75(7): 471-472 (2010) - Doug Lea, Gianluigi Zavattaro:
Guest editors' foreword. Sci. Comput. Program. 75(6): 375 (2010) - Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz:
Robustness testing for software components. Sci. Comput. Program. 75(10): 879-897 (2010) - Francesco Logozzo, Manuel Fähndrich:
Pentagons: A weakly relational abstract domain for the efficient validation of array accesses. Sci. Comput. Program. 75(9): 796-807 (2010) - Chung-Horng Lung, Pragash Rajeswaran, Sathyanarayanan Sivadas, Theleepan Sivabalasingam:
Experience of building an architecture-based generator using GenVoca for distributed systems. Sci. Comput. Program. 75(8): 672-688 (2010) - Mircea Lungu, Michele Lanza, Tudor Gîrba, Romain Robbes:
The Small Project Observatory: Visualizing software ecosystems. Sci. Comput. Program. 75(4): 264-275 (2010) - Ward Douglas Maurer:
Simple section interchange and properties of non-computable functions. Sci. Comput. Program. 75(11): 1142-1164 (2010) - Marcílio Mendonça, Donald D. Cowan:
Decision-making coordination and efficient reasoning techniques for feature-based configuration. Sci. Comput. Program. 75(5): 311-332 (2010) - Marjan Mernik, Barrett R. Bryant, Chang-Hyun Jo:
Special issue on the Programming Languages Track at the 23rd ACM Symposium on Applied Computing. Sci. Comput. Program. 75(11): 919-920 (2010) - Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese:
From Flow Logic to static type systems for coordination languages. Sci. Comput. Program. 75(6): 376-397 (2010) - Manuel Noguera, María Visitación Hurtado, María Luisa Rodríguez, Lawrence Chung, José Luis Garrido:
Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN. Sci. Comput. Program. 75(8): 726-760 (2010) - David P. Pereira, Ana Cristina Vieira de Melo:
Formalization of an architectural model for exception handling coordination based on CA action concepts. Sci. Comput. Program. 75(5): 333-349 (2010) - Peter Pirkelbauer, Sean Parent, Mat Marcus, Bjarne Stroustrup:
Dynamic algorithm selection for runtime concepts. Sci. Comput. Program. 75(9): 773-786 (2010) - Peter Pirkelbauer, Yuriy Solodkyy, Bjarne Stroustrup:
Design and evaluation of C++ open multi-methods. Sci. Comput. Program. 75(7): 638-667 (2010) - Rodrigo Ramos, Augusto Sampaio, Alexandre Mota:
Conformance notions for the coordination of interaction components. Sci. Comput. Program. 75(5): 350-373 (2010) - Christian Rinderknecht, Nic Volanschi:
Theory and practice of unparsed patterns for metacompilation. Sci. Comput. Program. 75(3): 85-105 (2010) - Nuno F. Rodrigues, Luís Soares Barbosa:
Slicing for architectural analysis. Sci. Comput. Program. 75(10): 828-847 (2010) - Juan Manuel Rodriguez, Marco Crasso, Alejandro Zunino, Marcelo Campo:
Improving Web Service descriptions for effective service discovery. Sci. Comput. Program. 75(11): 1001-1021 (2010) - Willem-Paul de Roever:
Remembering Amir Pnueli, a great scientist and a great friend (April 22, 1941-November 2, 2009). Sci. Comput. Program. 75(4): 211-213 (2010) - Giovanni Russello, Changyu Dong, Naranker Dulay, Michel R. V. Chaudron, Maarten van Steen:
Providing data confidentiality against malicious hosts in Shared Data Spaces. Sci. Comput. Program. 75(6): 426-439 (2010) - Hamideh Sabouri, Marjan Sirjani:
Actor-based slicing techniques for efficient reduction of Rebeca models. Sci. Comput. Program. 75(10): 811-827 (2010) - Sylvain Schmitz:
An experimental ambiguity detection tool. Sci. Comput. Program. 75(1-2): 71-84 (2010)
