| 225 | -- | 253 | Barrett R. Bryant, Jeffrey G. Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai. Challenges and directions in formalizing the semantics of modeling languages |
| 255 | -- | 298 | Costin Badica, Zoran Budimac, Hans-Dieter Burkhard, Mirjana Ivanovic. Software agents: Languages, tools, platforms |
| 299 | -- | 315 | Miroslav Líska, Pavol Návrat. SPEM ontology as the semantic notation for method and process definition in the context of SWEBOK |
| 317 | -- | 342 | Ines Ceh, Matej Crepinsek, Tomaz Kosar, Marjan Mernik. Ontology driven development of domain-specific languages |
| 343 | -- | 359 | Nuno Oliveira, Nuno Rodrigues, Pedro Rangel Henriques. Domain-specific language for coordination patterns |
| 361 | -- | 378 | Tomaz Kos, Tomaz Kosar, Jure Knez, Marjan Mernik. From DCOM interfaces to domain-specific modeling language: A case study on the sequencer |
| 379 | -- | 403 | Ivan Lukovic, Maria João Varanda Pereira, Nuno Oliveira, Daniela Carneiro da Cruz, Pedro Rangel Henriques. A DSL for PIM specifications: Design and attribute grammar based implementation |
| 405 | -- | 426 | Branko Perisic, Gordana Milosavljevic, Igor Dejanovic, Branko Milosavljevic. UML profile for specifying user interfaces of business applications |
| 427 | -- | 446 | Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller, Marcel Schulz. Formalizing business process specifications |
| 447 | -- | 476 | Raimundas Matulevicius, Henri Lakk, Marion Lepmets. An approach to assess and compare quality of security models |
| 477 | -- | 499 | Sergio Areias, Daniela Carneiro da Cruz, Pedro Rangel Henriques, Jorge Sousa Pinto. GammaPolarSlicer |
| 501 | -- | 516 | Jan Wolter, Bastian Cramer, Uwe Kastens. Animation of tile-based games automatically derived from simulation specifications |
| 517 | -- | 531 | Casiano Rodriguez-Leon, L. Garcia-Forte. Solving difficult LR parsing conflicts by postponing them |
| 534 | -- | 548 | João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias. Detecting concurrency anomalies in transactional memory programs |