editorial

Free Access

Code and composition

Author:
Luke Ferndez

Weber State University

Weber State University
View Profile

Authors Info & Claims

Ubiquity Volume 2007 Issue MayMay 2007Article No.: 3pp 1https://doi.org/10.1145/1267047.1276157

Published:01 May 2007Publication History

Check for updates on crossmark

Ubiquity

Abstract

No abstract available.

Index Terms

Code and composition
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Project and people management
      2. Software management
2. Software and its engineering
  1. Software creation and management
    1. Software development process management
    2. Software development techniques
      1. Reusability
  2. Software notations and tools
    1. Software configuration management and version control systems
    2. Software libraries and repositories

Recommendations

Towards the Composition of Specifications in Event-B

The development of a system can start with the creation of a specification. Following this viewpoint, we claim that often a specification can be constructed from the combination of specifications which can be seen as composition. Event-B is a formal ...
Read More
A Formal Semantics for P-Code
Verified Software. Theories, Tools and Experiments.
Abstract
Decompilation is currently a widely used tool in reverse engineering and exploit detection in binaries. Ghidra, developed by the National Security Agency, is one of the most popular decompilers. It decompiles binaries to high P-Code, from which ...
Read More
Understanding code snippets in code reviews: a preliminary study of the OpenStack community
ICPC '22: Proceedings of the 30th IEEE/ACM International Conference on Program Comprehension

Code review is a mature practice for software quality assurance in software development with which reviewers check the code that has been committed by developers, and verify the quality of code. During the code review discussions, reviewers and ...
Read More

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

Published in

Ubiquity Volume 2007, Issue May
May 2007
31 pages
EISSN:1530-2180
DOI:10.1145/1267047
Issue’s Table of Contents

Copyright © 2007 Author
Sponsors
In-Cooperation
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
- Published: 1 May 2007
Permissions
Request permissions about this article.
Request Permissions

Check for updates
Qualifiers
- editorial
Conference
Funding Sources
Other Metrics
View Article Metrics

Article Metrics
- 0
  Total Citations
  View Citations
- 6,540
  Total Downloads
- Downloads (Last 12 months)297
- Downloads (Last 6 weeks)100
Other Metrics
View Author Metrics
Cited By
This publication has not been cited yet

HTML Format

View this article in HTML Format .

View HTML Format

View Issue’s Table of Contents