IEE Proceedings - Software Engineering
Latest Publications

TOTAL DOCUMENTS

29
(FIVE YEARS 0)

H-INDEX

11
(FIVE YEARS 0)

Published By Institution Of Electrical Engineers

1364-5080
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

CCS specification of a Linda behavioural model debugger

1997 ◽  
Vol 144 (2) ◽  
pp. 89
Author(s):  
D.A. Sewry ◽  
P.G. Clayton ◽  
E.P. Wentworth
Keyword(s):  
Behavioural Model

scholarly journals Formal methods into practice: case studies in the application of the B method

1997 ◽  
Vol 144 (2) ◽  
pp. 119 ◽  
Author(s):  
J.C. Bicarregui ◽  
D.L. Clutterbuck ◽  
G. Finnie ◽  
H. Haughton ◽  
K. Lano ◽  
...  
Keyword(s):  
Formal Methods ◽  
Case Studies ◽  
B Method

Modelling versions in collaborative work

1997 ◽  
Vol 144 (4) ◽  
pp. 195 ◽  
Author(s):  
A. Dix ◽  
T. Rodden ◽  
I. Sommerville
Keyword(s):  
Collaborative Work
Load More ...
Sign in / Sign up

Export Citation Format

Share Document