677 search results - page 31 / 136 » Rigorous Object-Oriented Analysis |
IWPC
2005
IEEE
14 years 2 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 ...
ENTCS
2008
13 years 8 months 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...
SIS
2004
13 years 9 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 ...
CSREAEEE
2006
13 years 10 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
14 years 21 days 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...