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

Editorial: The role of formality in HCI issues in software engineering

1997 ◽  
Vol 144 (4) ◽  
pp. 193
Author(s):  
J.I. Siddiqi ◽  
C.R. Roast
Keyword(s):  
Software Engineering

Research and development challenges for agent-based systems

1997 ◽  
Vol 144 (1) ◽  
pp. 2 ◽  
Author(s):  
D.T. Ndumu ◽  
H.S. Nwana
Keyword(s):  
Research And Development ◽  
Agent Based

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

Exploiting architectural style to develop a family of applications

1997 ◽  
Vol 144 (5-6) ◽  
pp. 237 ◽  
Author(s):  
N. Medvidovic ◽  
R.N. Taylor
Keyword(s):  
Architectural Style

The agent architecture of the University of Michigan Digital Library

1997 ◽  
Vol 144 (1) ◽  
pp. 61 ◽  
Author(s):  
E.H. Durfee ◽  
D.L. Kiskis ◽  
W.P. Birmingham
Keyword(s):  
Digital Library ◽  
University Of Michigan ◽  
Agent Architecture ◽  
The University
Load More ...
Sign in / Sign up

Export Citation Format

Share Document