1481 search results - page 15 / 297 » Enriching the Software Development Process by Formal Methods |
133
Voted
UML
2005
Springer
15 years 8 months ago
2005
Springer
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...
111
Voted
BCSHCI
2007
15 years 4 months ago
2007
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...
108
Voted
ACL
1998
15 years 4 months ago
1998
In this paper we present the results of the combination of stochastic and rule-based disambiguation methods applied to Basque languagel. The methods we have used in disambiguation...
PDP
2007
IEEE
15 years 9 months ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
108
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...