Sciweavers

3901 search results - page 322 / 781
» software 2008
Sort
View
IADIS
2003
15 years 8 months ago
Concerns vs Components for Web Development
The Web has been growing and evolving in the last couple of decades at a very high speed, causing web applications to be more and more complex. Aspect oriented programming gives u...
Antonia M. Reina Quintero, Jesus Torres Valderrama...
TCS
2008
15 years 6 months ago
Integration of a security type system into a program logic
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
Reiner Hähnle, Jing Pan, Philipp Rümmer,...
ENTCS
2008
114views more  ENTCS 2008»
15 years 6 months ago
Maintaining Coherence Between Models With Distributed Rules: From Theory to Eclipse
Integrated Development Environments supporting software and model evolution have to deal with the problem of maintaining coherence between code and model despite changes which may...
Paolo Bottoni, Francesco Parisi-Presicce, Simone P...
148
Voted
TSE
1998
76views more  TSE 1998»
15 years 6 months ago
Measuring Design-Level Cohesion
—Cohesion was first introduced as a software attribute that, when measured, could be used to predict properties of implementations that would be created from a given design. Unfo...
James M. Bieman, Byung-Kyoo Kang
WCE
2007
15 years 7 months ago
The Jacobi Method in Reconfigurable Hardware
—Linear equations provide useful tools for understanding the behavior of a wide variety of phenomena— from science and engineering to social sciences. A number of techniques ha...
Safaa J. Kasbah, Issam W. Damaj