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

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252768 ◽

2016 ◽

Author(s):

Mercedes G. Merayo ◽

Gwen Salaün

Keyword(s):

Software Design ◽

Software Verification ◽

System Software ◽

Design And Development ◽

Security Software

Download Full-text

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252777 ◽

2016 ◽

Author(s):

Jinman Jung ◽

Jun Huang

Keyword(s):

Software Design ◽

System Software ◽

Design And Development ◽

Security Software ◽

Software Platforms

Download Full-text

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252783 ◽

2016 ◽

Author(s):

Diego Perez-Palacin ◽

Patrizia Scandurra

Keyword(s):

Software Architecture ◽

Software Design ◽

System Software ◽

Design And Development ◽

Security Software ◽

Architecture Theory

Download Full-text

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252784 ◽

2016 ◽

Author(s):

Eunjee Song ◽

Byungjeong Lee

Keyword(s):

Software Engineering ◽

Software Design ◽

System Software ◽

Design And Development ◽

Security Software

Download Full-text

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

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252773 ◽

2016 ◽

Author(s):

Marjan Mernik ◽

Barrett Bryant

Keyword(s):

Programming Languages ◽

Software Design ◽

System Software ◽

Design And Development

Download Full-text

Session details: Volume II: Software design and development, and system software and security: Object oriented programming languages and systems track

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252770 ◽

2016 ◽

Author(s):

Davide Ancona

Keyword(s):

Programming Languages ◽

Software Design ◽

Object Oriented ◽

Object Oriented Programming ◽

System Software ◽

Design And Development

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 design and development, and system software and security: Service-oriented architecture and programming track

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252785 ◽

2016 ◽

Author(s):

Maurice ter Beek ◽

Hernán Melgratti ◽

Hugo Torres Vieira

Keyword(s):

Software Design ◽

Service Oriented Architecture ◽

System Software ◽

Design And Development ◽

Security Service ◽

Service Oriented

Download Full-text

Session details: Software design and development: SVT - software verification and testing track

Proceedings of the 33rd Annual ACM Symposium on Applied Computing - SAC '18 ◽

10.1145/3167132.3258649 ◽

2018 ◽

Keyword(s):

Software Design ◽

Software Verification ◽

Design And Development

Download Full-text

Session details: Volume II: Software design and development, and system software and security: Multicore software engineering, performance, applications and tools track

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252781 ◽

2016 ◽

Author(s):

Tomas Vojnar

Keyword(s):

Software Engineering ◽

Software Design ◽

System Software ◽

Design And Development

Download Full-text

Session details: Volume II: Software design and development, and system software and security: Smart grid and smart technologies track

Proceedings of the 31st Annual ACM Symposium on Applied Computing - SAC '16 ◽

10.1145/3252776 ◽

2016 ◽

Author(s):

Gail-Joon Ahn ◽

Seong-Je Cho ◽

Dongwan Shin

Keyword(s):

Smart Grid ◽

Software Design ◽

System Software ◽

Design And Development ◽

Smart Technologies

Download Full-text