Software - Practice and Experience, Volume 41
Volume 41, Number 1, January 2011
Yunus Emre Selçuk, Nadia Erdogan: Role models - implementation-based approaches to using roles. 1-22- Rodrigo N. Calheiros, Rajiv Ranjan, Anton Beloglazov, César A. F. De Rose, Rajkumar Buyya: CloudSim: a toolkit for modeling and simulation of cloud computing environments and evaluation of resource provisioning algorithms. 23-50
- Jacek Rosik, Andrew Le Gear, Jim Buckley, Muhammad Ali Babar, Dave Connolly: Assessing architectural drift in commercial software development: a case study. 63-86
- Alexandre Sztajnberg, Rodrigo Souza Granja, Jeane Cesário, André Felipe Almeida Monteiro: An integration experience of a software architecture and a monitoring infrastructure to deploy applications with non-functional requirements in computing grids. 103-127
Volume 41, Number 2, February 2011
- Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi: Developing UPPAAL over 15 years. 133-142
- Jan Friso Groote, Jeroen Keiren, Frank P. M. Stappers, Wieger Wesselink, Tim A. C. Willemse: Experiences in developing the mCRL2 toolset. 143-153
- Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra: A model-driven process for engineering a toolset for a formal method. 155-166
- Petra Malik: A retrospective on CZT. 179-188
- Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt: Developing Camille, a text editor for Rodin. 189-198
- Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler: Decomposition tool for event-B. 199-208
Volume 41, Number 3, March 2011
- Antonio Ruiz-Martínez, Daniel Sánchez-Martínez, C. Inmaculada Marín-López, Manuel Gil Pérez, Antonio F. Gómez-Skarmeta: An advanced certificate validation service and architecture based on XKMS. 209-236
- Fabio Bellifemine, Giancarlo Fortino, Roberta Giannantonio, Raffaele Gravina, Antonio Guerrieri, Marco Sgroi: SPINE: a domain-specific framework for rapid prototyping of WBSN applications. 237-265
- Amer Diwan, Matthias Hauswirth, Todd Mytkowicz, Peter F. Sweeney: TraceAnalyzer: a system for processing performance traces. 267-282
- João Porto de Albuquerque, Heiko Krumm, Paulo Lício de Geus, René Jeruschkat: Scalable model-based configuration management of security services in complex enterprise networks. 307-338
Volume 41, Number 4, April 2011
- Anthony Schoofs, Phillip Stanley-Marbell: Portability in MAC protocol and transceiver software implementations for LR-WPAN platforms. 339-361
- David Budgen, Andy J. Burn, O. Pearl Brereton, Barbara A. Kitchenham, Rialette Pretorius: Empirical evidence about the UML: a systematic literature review. 363-392
- Svend E. Knudsen: Using independence to enable parallelism on multicore computers. 393-402
- Ramón Hervás, José Bravo: COIVA: context-aware and ontology-powered information visualization architecture. 403-426
- Daniel Hoffman, David Ly-Gagnon, Paul A. Strooper, Hong-Yi Wang: Grammar-based test generation with YouGen. 427-447
- Abelardo Pardo, Carlos Delgado Kloos: SubCollaboration: large-scale group management in collaborative learning. 449-465
Volume 41, Number 5, April 2011
- Iain Bate, Simon M. Poulding: Editorial for the special issue on search-based software engineering. 467-468
- Hiroshi Wada, Junichi Suzuki, Yuji Yamano, Katsuya Oba: Evolutionary deployment optimization for service-oriented clouds. 469-493
- Massimiliano Di Penta, Mark Harman, Giuliano Antoniol: The use of search-based optimization techniques to schedule and staff software projects: an approach and an empirical study. 495-519
- Sukhee Lee, Gigon Bae, Heung Seok Chae, Doo-Hwan Bae, Yong Rae Kwon: Automated scheduling for clone-based refactoring using a competent GA. 521-550
- Dongwon Kang, Jinhwan Jung, Doo-Hwan Bae: Constraint-based human resource allocation in software projects. 551-577
- Kehan Gao, Taghi M. Khoshgoftaar, Huanjing Wang, Naeem Seliya: Choosing software metrics for defect prediction: an investigation on feature selection techniques. 579-606
Volume 41, Number 6, May 2011
- Roland Ducournau: Coloring, a versatile technique for implementing object-oriented languages. 627-659
- Roland Ducournau, Floréal Morandat: Perfect class hashing and numbering for object-oriented implementation. 661-694
- SeongKi Kim, Ha Yoon Song, Sang-Yong Han: ZipfAllocation: an algorithm for static allocation of movies in a cluster of video servers. 695-716
- Jonghee M. Youn, Jongwon Lee, Yunheung Paek, Jongeun Lee, Hanno Scharwächter, Rainer Leupers: Fast graph-based instruction selection for multi-output instructions. 717-736
Volume 41, Number 7, June 2011
- Yanqin Yang, Haijin Yan, Zili Shao, Minyi Guo: Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems. 737-752
- Andreas Gampe, Jeffery von Ronne, David Niedzielski, Jonathan Vasek, Kleanthis Psarris: Safe, multiphase bounds check elimination in Java. 753-788
- José Barranquero Tolosa, Oscar Sanjuán Martínez, Vicente García-Díaz, B. Cristina Pelayo García-Bustelo, Juan Manuel Cueva Lovelle: Towards the systematic measurement of ATL transformation models. 789-815
- Daniel von Dincklage, Amer Diwan: Integrating program analyses with programmer productivity tools. 817-840
- Pengcheng Zhang, Wenrui Li, Dingsheng Wan, Lars Grunske: Monitoring of Probabilistic Timed Property Sequence Charts. 841-866
Volume 41, Number 8, July 2011
- Jan Bosch, Petra Bosch-Sijtsema: Introducing agile customer-centered development in a legacy software product line. 871-882
- Geir Kjetil Hanssen: Agile software product line engineering: enabling factors. 883-897
- Ivonei Freitas da Silva, Paulo Anselmo da Mota Silveira Neto, Pádraig O'Leary, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira: Agile software product lines: a systematic mapping study. 899-920
- Jessica Díaz, Jennifer Pérez, Pedro Pablo Alarcón, Juan Garbajosa: Agile product line engineering - a systematic literature review. 921-941
Volume 41, Number 9, August 2011
- Kevin Gary, Andinet Enquobahrie, Luis Ibáñez, Patrick Cheng, Ziv Yaniv, Kevin Cleary, Shylaja Kokoori, Benjamin Muffih, John Heidenreich: Agile methods for open source safety-critical software. 945-962
- Jennifer Ferreira, Helen Sharp, Hugh Robinson: User experience design and agile development: managing cooperation through articulation work. 963-974
Volume 41, Number 10, September 2011
- Ji Wang, Wing Kwong Chan, Fei-Ching Kuo: Introduction to the Special Issue for the 10th International Conference on Quality Software (QSIC 2010). 997-998
- Robert M. Hierons, Mercedes G. Merayo, Manuel Núñez: Scenarios-based testing of systems with distributed ports. 999-1026
- Emad Shihab, Zhen Ming Jiang, Bram Adams, Ahmed E. Hassan, Robert Bowerman: Prioritizing the creation of unit tests in legacy software systems. 1027-1048
- Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan: Assuring the model evolution of protocol software specifications by regression testing process improvement. 1073-1103
- Alberto González-Sanchez, Éric Piel, Rui Abreu, Hans-Gerhard Groß, Arjan J. C. van Gemund: Prioritizing tests for software fault diagnosis. 1105-1129
- Huai Liu, Xiaodong Xie, Jing Yang, Yansheng Lu, Tsong Yueh Chen: Adaptive random testing through test profiles. 1131-1154
Volume 41, Number 11, October 2011
- Anthony Savidis: Integrated implementation of dynamic untyped object-based operator overloading. 1155-1184
- Petr Hnetynka, Frantisek Plasil: Using meta-modeling in design and implementation of component-based systems: the SOFA case study. 1185-1201
- Sandor Dembitz, Mirko Randic, Gordan Gledec: Advantages of online spellchecking: a Croatian example. 1203-1231
- Lars Grunske, Kirsten Winter, Nisansala Yatapanage, Saad Zafar, Peter A. Lindsay: Experience with fault injection experiments for FMEA. 1233-1258
- Dennis Jeffrey, Yan Wang, Chen Tian, Rajiv Gupta: Isolating bugs in multithreaded programs using execution suppression. 1259-1288
- Jose M. Such, Juan M. Alberola, Agustín Espinosa, Ana García-Fornes: A group-oriented secure multiagent platform. 1289-1302
- Masakazu Adachi, Yiannis Papadopoulos, Septavera Sharvia, David Parker, Tetsuya Tohdo: An approach to optimization of fault tolerant architectures using HiP-HOPS. 1303-1327
- María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares: A practical use of model checking for synthesis: generating a dam controller for flood management. 1329-1347
- Kostas Saidis, Yannis Smaragdakis, Alex Delis: DOLAR: virtualizing heterogeneous information spaces to support their expansion. 1349-1383
Volume 41, Number 12, November / December 2011
- Roman Obermaisser: Component and service-oriented distributed embedded real-time systems (Extended papers from ISORC 2010). 1385-1386
- Kwang-Hae (Kane) Kim, Jing Qian, Zhen Zhang, Qian Zhou, Kyung-Deok Moon, Jun Hee Park, Kwang-Roh Park, Doo-Hyun Kim: A scheme for reliable real-time messaging with bounded delays. 1387-1407
- Pablo Basanta-Val, Marisol García-Valls, Iria Estévez-Ayres: Non-functional information transmission patterns for distributed real-time Java. 1409-1435
- Paul Lokuciejewski, Sascha Plazar, Heiko Falk, Peter Marwedel, Lothar Thiele: Approximating Pareto optimal compiler optimization sequences - a trade-off between WCET, ACET and code size. 1437-1458
- Joseph P. Loyall, Matthew Gillen, Aaron Paulos, Larry Bunch, Marco M. Carvalho, James R. Edmondson, Douglas C. Schmidt, Andrew Martignoni, Asher Sinclair: Dynamic policy-driven quality of service in service-oriented information management systems. 1459-1489
- Fabian Scheler, Wolfgang Schröder-Preikschat: The Real-Time Systems Compiler: migrating event-triggered systems to time-triggered systems. 1491-1515
- Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan: A component model for hard real-time systems: CCM with ARINC-653. 1517-1550
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T201401 by the dblp team