Software Engineering. IEE Proceedings
Latest Published Articles
-
From logic to manuals again
Aug-06 2002 -
Research and development challenges for agent-based systems
Aug-06 2002 -
Testing from semi-independent communicating finite state machines with a slow environment
Aug-06 2002 -
Agent-based software engineering
Aug-06 2002 -
Improving the engineering of model tracing based intelligent program diagnosis
Aug-06 2002
Popular Articles
-
Application of multi-agent systems in traffic and transportation
Aug-06 2002 -
Agent-based software engineering
Aug-06 2002 -
Cooperative information-gathering: a distributed problem-solving approach
Aug-06 2002 -
Formal methods into practice: case studies in the application of the B method
Bicarregui, J.C. ; Clutterbuck, D.L. ; Finnie, G. ; Haughton, H. ; Lano, K. ; Lesan, H. ; Marsh, D.W.R.M. ; Matthews, B.M. ; Moulding, M.R. ; Newton, A.R. ; Ritchie, B. ; Rushton, T.G.A. ; Scharbach, P.N.Aug-06 2002 -
Views of software quality: a field report
Aug-06 2002
Publish in this Journal
Popular Articles (March 2013)
Includes the top 25 most frequently downloaded documents for this publication according to the most recent monthly usage statistics.-
-
-
-
4. Formal methods into practice: case studies in the application of the B method
Bicarregui, J.C. ; Clutterbuck, D.L. ; Finnie, G. ; Haughton, H. ; Lano, K. ; Lesan, H. ; Marsh, D.W.R.M. ; Matthews, B.M. ; Moulding, M.R. ; Newton, A.R. ; Ritchie, B. ; Rushton, T.G.A. ; Scharbach, P.N.
|
PDF (1756 KB)
-
-
6. Testing from semi-independent communicating finite state machines with a slow environment
|
PDF (476 KB)
-
-
-
-
-
-
-
-
-
15. Bringing the `real world' of software engineering to university undergraduate courses
|
PDF (456 KB)
-
Aims & Scope
Further Links
Persistent Link: http://ieeexplore.ieee.org/servlet/opac?punumber=4433 More »
Frequency: 5
ISSN:
1364-5080
Subjects
- Computing & Processing (Hardware/Software)
- Robotics & Control Systems
Author Resources
Title History
- ( 1998 - 2006 ) Software, IEE Proceedings -
- 1997 - Software Engineering. IEE Proceedings
- ( 1986 - 1996 ) Software Engineering Journal
