677 search results - page 31 / 136 » Rigorous Object-Oriented Analysis |
113
click to vote
IWPC
2005
IEEE
15 years 6 months ago
2005
IEEE
The fact that crosscutting concerns (aspects) cannot be well modularized in object oriented software is an impediment to program comprehension: the implementation of a concern is ...
105
Voted
ENTCS
2008
15 years 24 days ago
2008
This paper introduces a new algorithm dedicated to the rigorous reachability analysis of nonlinear dynamical systems. The algorithm is initially presented in the context of discre...
105
Voted
SIS
2004
15 years 2 months ago
2004
In this paper we outline a new process model for security engineering. This process model extends object oriented, use case driven software development by the systematic treatment ...
77
Voted
CSREAEEE
2006
15 years 2 months ago
2006
- Web-based information systems (WBIS) include the website part and the system part, and easy-to-use website is particular critical to the success of WBIS. This paper argues that t...
TOOLS
1998
IEEE
15 years 5 months ago
1998
IEEE
Program information extracted from source codes is valuable for research in many software engineering fields. Many program analysis tools in these fields usually share some common...