Journal's Facebook pageVolume 8, Issue 2 (May 2011)
Advances in Formal Languages, Modeling and Applications
Invited papers
Challenges and Directions in Formalizing the Semantics of Modeling Languages
Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France and Gabor Karsai
[ view | download | cite ]
Bryant, B. R., Gray, J., Mernik, M., Clarke, P. J., France, R. B., Karsai, G.: Challenges and Directions in Formalizing the Semantics of Modeling Languages. Computer Science and Information Systems, Vol. 8, No. 2, 225-253. (2011), https://doi.org/10.2298/CSIS110114012B
Software Agents: languages, tools, platforms
Costin Bădică, Zoran Budimac, Hans-Dieter Burkhard and Mirjana Ivanović
[ view | download | cite ]
Bădică, C., Budimac, Z., Burkhard, H., Ivanović, M.: Software Agents: languages, tools, platforms. Computer Science and Information Systems, Vol. 8, No. 2, 255-296. (2011), https://doi.org/DOI:10.2298/CSIS110214013B
Regular Papers
SPEM Ontology as the Semantic Notation for Method and Process Definition in the Context of SWEBOK
Miroslav Líška and Pavol Navrat
[ view | download | cite ]
Líška, M., Navrat, P.: SPEM Ontology as the Semantic Notation for Method and Process Definition in the Context of SWEBOK. Computer Science and Information Systems, Vol. 8, No. 2, 299-315. (2011), https://doi.org/10.2298/CSIS101230011L
Ontology Driven Development of Domain-Specific Languages
Ines Čeh, Matej Črepinšek, Tomaž Kosar and Marjan Mernik
[ view | download | cite ]
Čeh, I., Črepinšek, M., Kosar, T., Mernik, M.: Ontology Driven Development of Domain-Specific Languages. Computer Science and Information Systems, Vol. 8, No. 2, 317-342. (2011), https://doi.org/10.2298/CSIS101231019C
Domain-Specific Language for Coordination Patterns
Nuno Oliveira, Nuno Rodrigues and Pedro Rangel Henriques
[ view | download | cite ]
Oliveira, N., Rodrigues, N., Henriques, P. R.: Domain-Specific Language for Coordination Patterns. Computer Science and Information Systems, Vol. 8, No. 2, 343-359. (2011), https://doi.org/10.2298/CSIS101228017O
From DCOM interfaces to domain-specific modeling language: A case study on the Sequencer
Tomaž Kos, Tomaž Kosar, Jure Knez and Marjan Mernik
[ view | download | cite ]
Kos, T., Kosar, T., Knez, J., Mernik, M.: From DCOM interfaces to domain-specific modeling language: A case study on the Sequencer. Computer Science and Information Systems, Vol. 8, No. 2, 361-378. (2011), https://doi.org/10.2298/CSIS101231009K
A DSL for PIM Specifications: Design and Attribute Grammar based Implementation
Ivan Luković, Maria João Varanda Pereira, Nuno Oliveira, Daniela da Cruz and Pedro Rangel Henriques
[ view | download | cite ]
Luković, I., Pereira, M. J. V., Oliveira, N., Cruz, D. d., Henriques, P. R.: A DSL for PIM Specifications: Design and Attribute Grammar based Implementation. Computer Science and Information Systems, Vol. 8, No. 2, 379-403. (2011), https://doi.org/10.2298/CSIS101229018L
UML Profile for Specifying User Interfaces of Business Applications
Branko Perišić, Gordana Milosavljević, Igor Dejanović and Branko Milosavljević
[ view | download | cite ]
Perišić, B., Milosavljević, G., Dejanović, I., Milosavljević, B.: UML Profile for Specifying User Interfaces of Business Applications. Computer Science and Information Systems, Vol. 8, No. 2, 405-426. (2011), https://doi.org/10.2298/CSIS110112010P
Formalizing Business Process Specifications
Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller and Marcel Schulz
[ view | download | cite ]
Speck, A., Feja, S., Witt, S., Pulvermüller, E., Schulz, M.: Formalizing Business Process Specifications. Computer Science and Information Systems, Vol. 8, No. 2, 427-446. (2011), https://doi.org/10.2298/CSIS110111015S
An Approach to Assess and Compare Quality of Security Models
Raimundas Matulevičius, Henri Lakk and Marion Lepmets
[ view | download | cite ]
Matulevičius, R., Lakk, H., Lepmets, M.: An Approach to Assess and Compare Quality of Security Models. Computer Science and Information Systems, Vol. 8, No. 2, 447-476. (2011), https://doi.org/10.2298/CSIS101231014M
GammaPolarSlicer
Sergio Areias, Daniela da Cruz, Pedro Rangel Henriques and Jorge Sousa Pinto
[ view | download | cite ]
Areias, S., Cruz, D. d., Henriques, P. R., Pinto, J. S.: GammaPolarSlicer. Computer Science and Information Systems, Vol. 8, No. 2, 477-499. (2011), https://doi.org/10.2298/CSIS110107006A
Animation of Tile-Based Games Automatically Derived from Simulation Specifications
Jan Wolte, Bastian Cramer and Uwe Kastens
[ view | download | cite ]
Wolte, J., Cramer, B., Kastens, U.: Animation of Tile-Based Games Automatically Derived from Simulation Specifications. Computer Science and Information Systems, Vol. 8, No. 2, 501-516. (2011), https://doi.org/10.2298/CSIS101220005W
Solving Difficult LR Parsing Conflicts by Postponing Them
C. Rodriguez-Leon and L. Garcia-Forte
[ view | download | cite ]
Rodriguez-Leon, C., Garcia-Forte, L.: Solving Difficult LR Parsing Conflicts by Postponing Them. Computer Science and Information Systems, Vol. 8, No. 2, 517-531. (2011), https://doi.org/10.2298/CSIS101116008R
Detecting Concurrency Anomalies in Transactional Memory Programs
João Lourenço and Ricardo Dias
[ view | download | cite ]
Lourenço, J., Dias, R.: Detecting Concurrency Anomalies in Transactional Memory Programs. Computer Science and Information Systems, Vol. 8, No. 2, 533-548. (2011), https://doi.org/10.2298/CSIS110110007L
