2514 search results - page 34 / 503 » The use of industrial-strength formal methods |
149
click to vote
ZUM
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
146
click to vote
IV
2003
IEEE
15 years 11 months ago
2003
IEEE
In this paper we present a “lightweight” visual formalism that can be used to examine the state space complexity of an interface. The method can form a basis for designing, te...
165
click to vote
CODES
2001
IEEE
15 years 9 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
203
click to vote
ASM
2010
ASM
15 years 6 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
196
click to vote
TKDE
2012
13 years 8 months ago
2012
— Recommender systems are becoming increasingly important to individual users and businesses for providing personalized recommendations. However, while the majority of algorithms...