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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

Download Full-text

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

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

10.1145/3251694 ◽

2015 ◽

Author(s):

Maria Lencastre ◽

Joao Araujo

Keyword(s):

Software Development ◽

Requirements Engineering ◽

Security Requirements ◽

System Software ◽

Development System ◽

Security Requirements Engineering ◽

Software Development System

Download Full-text

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

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

10.1145/3251682 ◽

2015 ◽

Author(s):

Giampaolo Bella ◽

Sergio Maffeis

Keyword(s):

Software Development ◽

Computer Security ◽

System Software ◽

Development System ◽

Software Development System

Download Full-text

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

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

10.1145/3251681 ◽

2015 ◽

Author(s):

Marjan Mernik ◽

Barrett Bryant

Keyword(s):

Software Development ◽

Programming Languages ◽

System Software ◽

Development System ◽

Software Development System

Download Full-text