1799 search results - page 337 / 360 » The Logic of Correctness in Software Engineering |
267
click to vote
AOSD
2010
ACM
16 years 25 days ago
2010
ACM
Advice is a mechanism, widely used in aspect-oriented languages, that allows one program component to augment or modify the behavior of other components. When advice and other com...
166
Voted
ISPASS
2009
IEEE
16 years 23 days ago
2009
IEEE
Until very recently, microprocessor designs were computation-centric. On-chip communication was frequently ignored. This was because of fast, single-cycle on-chip communication. T...
172
click to vote
ICSEA
2009
IEEE
16 years 18 days ago
2009
IEEE
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
150
click to vote
ICST
2009
IEEE
16 years 18 days ago
2009
IEEE
Unit testing component-based distributed systems traditionally involved testing functional concerns of the application logic throughout the development lifecycle. In contrast, tes...
179
click to vote
ISSTA
2009
ACM
16 years 14 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...