default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIET Software, Volume 1
Volume 1, Number 1, February 2007
- Gayathri Nadarajan, Yun-Heh Chen-Burger
:
Translating a typical business process modelling language to a web services ontology through lightweight mapping. 1-17 - Rong Su, Michel R. V. Chaudron, Johan J. Lukkien:
Adaptive runtime fault management for service instances in component-based software applications. 18-28 - H. Liu, W. Z. Shao, L. Zhang, Z. Y. Ma:
Detecting overlapping use cases. 29-36
Volume 1, Number 2, April 2007
- Russell J. Haines, Gary Clemo, Alistair D. Munro:
Petri-nets for formal verification of MAC protocols. 39-47 - S. Papadimitriou:
Scientific programming with Java classes supported with a scripting interpreter. 48-56 - Sajjad Mahmood, Richard Lai, Y. S. Kim:
Survey of component-based software development. 57-66
Volume 1, Number 3, June 2007
- Nathalie Moreno, Piero Fraternali, Antonio Vallecillo:
WebML modelling in UML. 67-80 - Andrea Schauerhuber, Manuel Wimmer, Elisabeth Kapsammer, Wieland Schwinger, Werner Retschitzegger:
Bridging WebML to model-driven engineering: from document type definitions to meta object facility. 81-97 - Nora Koch:
Classification of model transformation techniques used in UML-based Web engineering. 98-111
Volume 1, Number 4, August 2007
- Nikos Parlavantzas, Geoffrey Coulson:
Designing and constructing modifiable middleware using component frameworks. 113-126 - Rui Wang, Xiaoyu Song, Ming Gu:
Modelling and verification of program logic controllers using timed automata. 127-131 - Deepti Mishra, Alok Mishra:
Efficient software review process for small and medium enterprises. 132-142 - Rabeb Mizouni, Aziz Salah, Siamak Kolahi, Rachida Dssouli:
Merging partial system behaviours: composition of use-case automata. 143-160
Volume 1, Number 5, October 2007
- Barbara A. Kitchenham, David Budgen, Pearl Brereton, Mark Turner, Stuart M. Charters, Stephen G. Linkman:
Large-scale software engineering questions expert opinion or empirical evidence? 161-171 - C. Watterson, Donal Heffernan:
Runtime verification and monitoring of embedded systems. 172-179 - Lech Madeyski, Lukasz Szala:
Impact of aspect-oriented programming on software development efficiency and design quality: an empirical study. 180-187 - Chia-Lang Hsu, Feng-Jian Wang:
Analysing inaccurate artifact usages in workflow specifications. 188-205 - Rong Su, Johan J. Lukkien, Michel R. V. Chaudron:
Language-based access control approach for component-based software applications. 206-216
Volume 1, Number 6, December 2007
- Alessandro Garcia, Carlos Lucena:
On the interplay of .NET and contemporary software engineering techniques [Editorial]. 217-218 - Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini:
Validation of web service compositions. 219-232 - Bruno Cabral, Pedro D. Sacramento, Paulo Marques:
Hidden truth behind .NETs exception handling today. 233-250 - Fabian Schmied, Alan Cyment:
Aspect-oriented weaving and the .NET common language runtime. 251-262 - Luís Veiga, P. Pereira, Paulo Ferreira:
Complete distributed garbage collection using DGC-consistent cuts and .NET AOP-support. 263-279 - André Wilson Brotto Furtado, André L. M. Santos, Geber L. Ramalho:
Computer games software factory and edutainment platform for microsoft .NET. 280-293 - Alberto Rodrigues da Silva, João Saraiva, David de Almeida Ferreira, R. Silva, Carlos Videira:
Integration of RE and MDE paradigms: the ProjectIT approach and tools. 294-314
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
