Volume 8, Issue 2 (May 2011)

Advances in Formal Languages, Modeling and Applications

 

Editorial

Invited papers


[ 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)


[ 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)

Regular Papers


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)


[ 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)