Výsledky vyhledávání - "Software and its engineering Software notations and tools System description languages"

Using Relax Operators into an MDE Security Requirement Elicitation Process for Systems of Systems

Autoři: Belloir, Nicolas Chiprianov, Vanea Ahmad, Manzoor a další

Přispěvatelé: Belloir, Nicolas Chiprianov, Vanea Ahmad, Manzoor a další

Zdroj: ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014) ; https://hal.science/hal-01082400 ; ECSA 2nd International Workshop on Software Engineering for Systems-of-Systems (SESoS'2014), Aug 2014, Vienna, Austria. pp.32

Témata: systems of systems, D21 [Software Engineering]: System modeling languages- Software development methods, Requirements anal- ysis, Software and its engineering [Software notations and tools]: System description languages-System mod- eling languages, Security and privacy [Software and ap- plication security]: [Software security engineering] Keywords Systems of Systems, Requirement Engineering, Security, MDE, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Geografické téma: Vienna, Austria

Dostupnost: https://hal.science/hal-01082400
https://hal.science/hal-01082400v1/document
https://hal.science/hal-01082400v1/file/SeSos2014-VFinal.pdf

Developing Agent-Oriented Video Surveillance System through Agent-Oriented Methodology (AOM).

Autoři: Cheah Wai Shiang Bong Tien Onn Fu Swee Tee a další

Zdroj: Journal of Computing & Information Technology; Dec2016, Vol. 24 Issue 4, p349-367, 19p

Témata: VIDEO surveillance, SOFTWARE engineering, RAPID prototyping, SECURITY systems, COMPUTER simulation

A SORTED SEMANTIC FRAMEWORK FOR APPLIED PROCESS CALCULI.

Autoři: BORGSTRÖM, JOHANNES GUTKOVAS, RAMŪNAS PARROW, JOACHIM a další

Zdroj: Logical Methods in Computer Science (LMCS); 2016, Vol. 12 Issue 1, p1-49, 49p

Témata: CALCULUS, SEMANTICS, PATTERN matching, DATA encryption, ISOMORPHISM (Mathematics), BISIMULATION