|
3620
|
Design Patterns: Elements of Reusable Object-oriented Software
– Gamma, Helm, et al.
- 1994
|
|
1746
|
Time, clocks, and the ordering of events in a distributed system
– Lamport
- 1978
|
|
1190
|
Object-oriented Software Construction
– Meyer
- 1988
|
|
631
|
The Unified Modeling Language, Reference Manual
– Rumbaugh, Jacobson, et al.
- 1999
|
|
501
|
Virtual time and global states of distributed systems
– Mattern
- 1989
|
|
447
|
Fast pattern matching in strings
– Knuth, Morris, et al.
- 1977
|
|
377
|
A fast string searching algorithm
– Boyer, Moore
- 1977
|
|
343
|
Evolving algebras 1993: Lipari guide
– Gurevich
- 1995
|
|
320
|
Shortest connection networks and some generalizations
– Prim
- 1957
|
|
228
|
On the Shortest spanning subtree of a graph and the travelling salesman problem
– Kruskal
|
|
203
|
Seven Myths of Formal Methods
– Hall
- 1990
|
|
147
|
Logical Time in Distributed Computing Systems
– Fidge
- 1991
|
|
108
|
Problem Frames: Analyzing and Structuring Software Development Problems
– Jackson
- 2001
|
|
70
|
Evolving algebras. A tutorial introduction
– Gurevich
- 1991
|
|
55
|
Black-Box Testing: Techniques for Functional Testing of Software and Systems
– Beizer
- 1999
|
|
32
|
Why Use Evolving Algebras for Hardware and Software Engineering
– Borger
- 1995
|
|
19
|
Software Engineering in the Academy
– Meyer
- 2001
|
|
12
|
Testing with abstract state machines
– Grieskamp, Gurevich, et al.
- 2001
|
|
11
|
A visualization system for multithreaded programming
– BEDY, CARR, et al.
- 2000
|
|
8
|
The need for education in useful formal logic
– Gries
- 1996
|
|
8
|
Sequential ASM thesis
– Gurevich
- 1999
|
|
8
|
Formalizing database recovery
– Gurevich, Soparkar, et al.
- 1997
|
|
7
|
Conformance Checking of Components Against Their Non-Deterministic Specifications
– Barnett, Nachmanson, et al.
- 2001
|
|
7
|
A portable class library for teaching multithreaded programming
– Carr, Shene
- 2000
|
|
6
|
New zero-one law and strong extension axioms
– Blass, Gurevich
- 2000
|
|
6
|
A communication library to support concurrent programming courses
– CARR, FANG, et al.
- 2002
|
|
5
|
Turning the tables: Introducing software engineering concepts in a user interface design course
– Barnes, Leventhal
- 2001
|
|
5
|
Specification, simulation and testing of COM components using Abstract State Machines
– Barnett, Campbell, et al.
- 2001
|
|
5
|
Modelling and analysis of distributed and reactive systems using Evolving Algebras
– Borger, Glasser
- 1995
|
|
5
|
Introducing formal methods through role-playing
– Dean, Hinchey
- 1995
|
|
5
|
A data-parallel programming library for education (DAPPLE
– Kotz
- 1996
|
|
5
|
ªEmpirical Results of a Software Engineering Curriculum Incorporating Formal Methods,º
– Sobel
- 2000
|
|
5
|
Java and the Java Virtual Machine: De Veri Validation
– Stark, Schmid, et al.
- 2001
|
|
4
|
Technology transfer issues for formal methods of software speci
– Abernethy, Kelly, et al.
- 2000
|
|
4
|
Towards more formalism in software engineering education
– Saiedian
- 1993
|
|
3
|
Spying on components: A runtime veri technique
– Barnett, Schulte
- 2001
|
|
3
|
O jistem problemu minimalnim
– Jarnik
- 1930
|
|
2
|
Formal semantics and interpreters in a principles of programming languages course
– Bruce
- 1999
|
|
2
|
ASM 101: An Abstract State Machine primer
– Huggins, Wallace
- 2002
|
|
2
|
Formal Methods" Technology Transfer Will Fail
– Parnas
- 1998
|
|
1
|
Contracts, components, and their runtime veri on the .NET platform
– Barnett, Schulte
- 2002
|
|
1
|
Integrating a formal speci course with a software projects course via an editing tool
– Gamble
- 1995
|
|
