Some issues in using formal methods for the development of reactive systems.

Argón, Pablo; Roux, Olivier

Displaying similar documents to “Some issues in using formal methods for the development of reactive systems.”

An Approach to Assess and Compare Quality of Security Models

Raimundas Matulevičius, Henri Lakk, Marion Lepmets (2011)

Computer Science and Information Systems

Similarity:

The Notion of Model in Software Engineering Понятието модел в софтуерните технологии

Sredkov, Miloslav (2011)

Union of Bulgarian Mathematicians

Similarity:

Милослав A. Средков - Понятията модел и моделиране се използват толкова интензивно в много дисциплини, че е трудно да им се придаде конретно значение. Дори в Софтуерните технологии, разбирането на тези понятия силно зависи от контекста. Ние смятаме, че това допринася за неконсистентността между подходите за моделиране там. В тази статия посочваме някои от произтичащите проблеми, както и важността да има подходяща дефиниция, съчетана с подходящи инструменти. Преглеждаме по-общите дефиниции...

Challenges and Directions in Formalizing the Semantics of Modeling Languages

Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai (2011)

Computer Science and Information Systems

Similarity:

A data model architecture for parametrics.

Agbodan, Dago, Marcheix, David, Pierra, Guy (1999)

Journal for Geometry and Graphics

Similarity:

Community-Sourcing in Virtual Societies

Branzov, Todor (2016)

Serdica Journal of Computing

Similarity:

The paper studies the approaches to development of goods with active participation of virtual community members. The concept of community-sourcing is presented as an alternative to the open source model and crowdsourcing. On that foundation a conceptual model of resource management system that use some current good practices of the IT industry is proposed. Results obtained in a virtual community implementing the model are presented as a validation attempt. ACM Computing Classification...