Search results for: Jeannette M. Wing
Lecture Notes in Computer Science > Formal Techniques in Real-Time and Fault-Tolerant Systems > 193-208
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 520-534
Lecture Notes in Computer Science > Advances in Computing Science ASIAN 98 > Keynote Address > 224-224
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Education Day > 2-7
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 731-758
Lecture Notes in Computer Science > ECOOP’ 93 — Object-Oriented Programming > Types & Subtypes > 118-141
Lecture Notes in Computer Science > TAPSOFT '89 > 61-80
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Secure System Development > 91-100
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Invited Papers > 17-25