Sciweavers

3889 search results - page 274 / 778
» The Use of Program Dependence Graphs in Software Engineering
Sort
View
ICSE
2007
IEEE-ACM
16 years 4 months ago
SCL: Static Enforcement and Exploration of Developer Intent in Source Code
Developers are often unaware of, or fail to respect, the intentions behind a design due to poor communication of design intent. SCL (Structural Constraint Language) helps develope...
Daqing Hou
115
Voted
WCRE
1996
IEEE
15 years 9 months ago
Identifying Enumeration Types Modeled with Symbolic Constants
An important challenge in software reengineering is to encapsulate collections of related data that, due to the absence of appropriate constructs for encapsulation in legacy progr...
John M. Gravley, Arun Lakhotia
APSEC
2008
IEEE
15 years 6 months ago
A Verification Framework for FBD Based Software in Nuclear Power Plants
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...
Junbeom Yoo, Sung Deok Cha, Eunkyoung Jee
IWPC
2005
IEEE
15 years 10 months ago
Theories, Methods and Tools in Program Comprehension: Past, Present and Future
Program comprehension research can be characterized by both the theories that provide rich explanations about how programmers comprehend software, as well as the tools that are us...
Margaret-Anne D. Storey
MIDDLEWARE
2007
Springer
15 years 11 months ago
Life cycle support for sensor network applications
Developing applications for sensor networks is a challenging task. Most programming systems narrowly focus on programming issues while ignoring that programming represents only a ...
Urs Bischoff, Gerd Kortuem