1,721,096 research outputs found
The Role of Formal Methods in Developing High Assurance Systems: Some Old and Some Less Old Thoughts
No full textFormule, numeri e paradossi
No full textVengono dimostrati i limiti del calcolo automatico con particolare riferimento al problema della terminazione del calcolo
Potenza e limiti del calcolo automatico: le radici teoriche dell’informatica
No full textDopo un breve richiamo al concetto di algoritmo
e alla sua essenza indissolubilmente legata all’esecuzione
mediante uno strumento automatico
ne investighiamo non solo la potenza ma anche
i limiti in termini dei problemi che attraverso questo
strumento possono essere affrontati e risolti.
Potenza e limiti del calcolo
automatico hanno un fondamentale impatto
sia in termini pratici sulla nostra attività quotidiana
sia sulla natura stessa del pensiero umano
A Note on Petri Net Languages
No full textIt is shown that there is no effective procedure to construct a labeled Petri Net whose language is the complement of the language generated by a given labeled Petri Net
On the Heroism of really Pursuing Formal Methods
No full textFormal methods have been “preached” as a means
to achieve better reliability and other qualities in software and
systems for half a century. Despite many success stories
confirmed their effectiveness, there is still much reluctance (not
only) in the industrial world to apply them on a large scale. In
this paper I add my modest personal view to the rich and long-
standing debate on the reasons of this apparent failure; I examine
the main challenges to face and the most promising symptoms to
hope into an improved state of the affairs
Equivalenza tra grammatiche, sistemi di equazioni in variabili di linguaggio e serie formali
No full text
Advances in Object Oriented Software Engineering
No full textThe book consists of nine chapters:
Design by contract, by B. Meyer;
The new culture of software development, by B. Meyer;
An object oriented approach to domain analysis, by S. Shlaer and S. Mellor;
Active software objects in a knowledge-based software life cycle support environment, by A. Van Lamsweerde;
On eclectic specification envirnments, by C. Ghezzi and D. Mandrioli;
Distributed software design techniques, by M. Jazayeri;
A tour of Hybrid, by O. Nierstrasz;
An object-oriented architecture for real-time applications, by L. Nigro and F. Tisato;
A development in Eiffel, by C. Gindre and F. Sada
- …
