1799 search results - page 293 / 360 » The Logic of Correctness in Software Engineering |
248
click to vote
IAW
2003
IEEE
15 years 11 months ago
2003
IEEE
— Vulnerabilities in software stem from poorly written code. Inadvertent errors may creep in due to programmers not being aware of the security implications of their code. Writin...
175
click to vote
INFSOF
2008
15 years 6 months ago
2008
Domain-specific modeling (DSM) assists subject matter experts in describing the essential characteristics of a problem in their domain. Various software artifacts can be generated...
174
click to vote
JCS
2002
15 years 5 months ago
2002
We describe the use of a domain-specific language (DSL) for expressing critical design values and constraints in an intrusion detection application. Through the use of this specia...
227
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
170
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Software refactoring is the process of reorganizing the internal structure of code while preserving the external behavior. Aspect-Oriented Programming (AOP) provides new modulariz...