Software Engineering
JACM seeks papers that aim to establish a scientific basis for the design
and development of large, complex software systems. Papers on all aspects
of software engineering are welcome, including those that address:
- all phases of system development: requirements elicitation,
specification, design, prototyping, analysis, testing, debugging,
verification, maintenance, and reverse engineering;
- languages, techniques, and tools used during these phases; and
- functional and non-functional properties of systems, e.g., correctness,
performance, fault-tolerance, reliability, resource usage, safety-critical,
security, time-critical, and usability.
Authors should use one or more traditional scientific methods, ranging from
proof to experimentation, to demonstrate the soundness of their results.
They should also provide evidence that their ideas scale. Submitted papers
should be of interest to the entire Computer Science community.
Papers that could be submitted to either Programming Languages or Software
Engineering will be handled through close coordination between both area
editors. Authors should submit to only one.