SCL: Static Enforcement and Exploration of Developer Intent in Source Code

SCL: Static Enforcement and Exploration of Developer Intent in Source Code

Software developers spend a large fraction of their time dealing with intent, seeking to answer questions like Does this code really do what it is expected to do?Is this module used appropriately?Is this code easy to modify or extend?Can this code be used in a different context? As a result, develop...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Hou, Daqing
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Communication effectiveness
Contracts
Data mining
Java
Logic
Packaging
Prototypes
Scalability
Social and professional topics > Professional topics > Management of computing and information systems > Software management
Software and its engineering > Software creation and management > Designing software > Software implementation planning > Software design techniques
Software and its engineering > Software creation and management > Software development process management
Software engineering
Software testing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Software developers spend a large fraction of their time dealing with intent, seeking to answer questions like Does this code really do what it is expected to do?Is this module used appropriately?Is this code easy to modify or extend?Can this code be used in a different context? As a result, developers make many mutually-dependent design decisions to express intentions about software and try to convert them into code precisely.
DOI:10.1109/ICSECOMPANION.2007.62