From verified model to executable program: the PAT approach Huiquan ZhuJing SunShang-Wei Lin Original Paper 19 December 2015 Pages: 1 - 26
Semantics in space systems architectures Alessandro Gerlinger RomeroKlaus SchneiderMaurÃcio Gonçalves Vieira Ferreira Original Paper 15 December 2015 Pages: 27 - 40
Aspect-oriented modeling framework for security hardening D. MouhebD. AlhadidiM. Pourzandi Original Paper 29 October 2015 Pages: 41 - 67
Sketch theory as a framework for knowledge management Ralph L. Wojtowicz Original Paper 30 October 2015 Pages: 69 - 79