Session details: Volume II: Software development, system software & security: software verification and testing track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255897 ◽

2014 ◽

Author(s):

Jun Pang ◽

Marielle Stoelinga

Keyword(s):

Software Development ◽

Software Verification ◽

Software Security ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System

Session details: Volume II: Software development, system software & security: software architecture: theory, technology, and applications track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255893 ◽

2014 ◽

Author(s):

Antonio Bucchiarone ◽

Raffaela Mirandola ◽

Patrizia Scandurra ◽

Sungwon Kang

Keyword(s):

Software Development ◽

Software Architecture ◽

Software Security ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System ◽

Architecture Theory

Session details: Volume II: Software development, system software & security: software engineering track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255894 ◽

2014 ◽

Author(s):

W. Eric Wong ◽

Chang Oan Sung ◽

John Kim ◽

Zhenyu Chen

Keyword(s):

Software Engineering ◽

Software Development ◽

Software Security ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System

Session details: Volume II: Software development, system software and security: Software verification and testing track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251675 ◽

2015 ◽

Author(s):

Gwen Salaun ◽

Marielle Stoelinga

Keyword(s):

Software Development ◽

Software Verification ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System

Session details: Volume II: Software development, system software & security: software engineering aspects of green computing track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255895 ◽

2014 ◽

Author(s):

Somayeh Malakuti ◽

Wolfgang Lohmann ◽

Mehmet Aksit

Keyword(s):

Software Engineering ◽

Software Development ◽

Software Security ◽

Green Computing ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System

Session details: Volume II: Software development, system software and security: Software engineering track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251673 ◽

2015 ◽

Author(s):

Byungjeong Lee ◽

Eunjee Song

Keyword(s):

Software Engineering ◽

Software Development ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System

Session details: Volume II: Software development, system software & security: programming for separation of concerns track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255906 ◽

2014 ◽

Author(s):

Corrado Santoro ◽

Emiliano Tramontana

Keyword(s):

Software Development ◽

Software Security ◽

System Software ◽

Separation Of Concerns ◽

Development System ◽

Software Development System

Session details: Volume II: Software development, system software & security: service-oriented architecture and programming track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255896 ◽

2014 ◽

Author(s):

Mario Bravetti ◽

Fabrizio Montesi ◽

Manuel Mazzara ◽

Alberto Lluch Lafuente ◽

Ilsun You

Keyword(s):

Software Development ◽

Service Oriented Architecture ◽

Software Security ◽

System Software ◽

Development System ◽

Security Service ◽

Software Development System ◽

Service Oriented

Session details: Volume II: Software development, system software and security: Software architecture: theory, technology, and applications track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251695 ◽

2015 ◽

Author(s):

Antonio Bucchiarone ◽

Raffaela Mirandola ◽

Patrizia Scandurra ◽

Sungwon Kang

Keyword(s):

Software Development ◽

Software Architecture ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System ◽

Architecture Theory

Session details: Volume II: Software development, system software and security: Software platforms track

Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 ◽

10.1145/3251684 ◽

2015 ◽

Author(s):

Jinman Jung ◽

Jun Huang

Keyword(s):

Software Development ◽

System Software ◽

Development System ◽

Security Software ◽

Software Development System ◽

Software Platforms

Session details: Volume II: Software development, system software & security: embedded systems track

Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 ◽

10.1145/3255902 ◽

2014 ◽

Author(s):

Alessio Bechini ◽

Li-Pin Chang

Keyword(s):

Embedded Systems ◽

Software Development ◽

Software Security ◽

System Software ◽

Development System ◽

Software Development System