2514 search results - page 48 / 503 » The use of industrial-strength formal methods |
109
click to vote
FM
1999
Springer
15 years 6 months ago
1999
Springer
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
110
click to vote
COMPSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
I n this paper, we propose an approach to reuse-based software development using formal method. I n our approach, each software component is annotated with a set of predicates to ...
117
click to vote
EMNLP
2008
15 years 3 months ago
2008
We present a novel method for discovering and modeling the relationship between informal Chinese expressions (including colloquialisms and instant-messaging slang) and their forma...
159
click to vote
NSPW
1998
ACM
15 years 6 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
122
click to vote
ZUM
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Web-based applications are the most common form of distributed systems that have gained a lot of attention in the past ten years. Today many of us are relying on scores o...