Sciweavers

1954 search results - page 188 / 391
» Improving Software Development Processes with Multicriteria ...
Sort
View
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
15 years 9 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
UML
2005
Springer
15 years 8 months ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
BCSHCI
2007
15 years 4 months ago
Using formal models to design user interfaces: a case study
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...
Judy Bowen, Steve Reeves
JSS
2010
120views more  JSS 2010»
14 years 9 months ago
A family of languages for architecture constraint specification
During software development, architecture decisions should be documented so that quality attributes guaranteed by these decisions and required in the software specification could ...
Chouki Tibermacine, Régis Fleurquin, Salah ...
ICIP
2000
IEEE
16 years 4 months ago
Motion Estimation with Incomplete Information Using Omni-Directional Vision
We present a new motion estimation framework and apply it to omni-directional imagery. Our method estimates motions incrementally using an Implicit Extended Kalman Filter (IEKF). ...
Jong Weon Lee, Ulrich Neumann