Sciweavers

1326 search results - page 39 / 266
» Semantic Coherence in Software Engineering
Sort
View
POPL
2006
ACM
16 years 6 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
ICSE
2003
IEEE-ACM
16 years 6 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
ICSE
1994
IEEE-ACM
15 years 10 months ago
Formalizing Architectural Connection
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...
Robert J. Allen, David Garlan
CSMR
2004
IEEE
15 years 9 months ago
Architecture-Aware Adaptive Clustering of OO Systems
The recovery of software architecture is a first important step towards re-engineering a software system. Architecture recovery usually involves clustering. The problem with curre...
Markus Bauer, Mircea Trifu
WOWMOM
2006
ACM
128views Multimedia» more  WOWMOM 2006»
15 years 12 months ago
Enabling Engineering Document in Mobile Computing Environment
A multi-level hierarchical content organization and on-demand delivery framework is presented in this paper. This framework enables engineering content representation and exchange...
Xiaoyong Su, Chi-Cheng Peter Chu, B. S. Prabhu, Ra...