Keyword: software engineering

• Bastide, R.; Palanque, P.:
  A visual and formal glue between application and interaction. 1999.

• Fernandez, L.; Dolado, J.J.:
  Measurement and prediction of the verification cost of the design in a formalized methodology. 1999.

• Lin, Fuhua; Su, Chuan-Jun; Tseng, Mitchell M.:
  An Agent-Based Approach to Developing Intelligent Virtual Reality-Based Training Systems. 1999.

• Di Marzo Serugendo, G.; Guelfi, N.:
  Formal development of Java based Web parallel applications. 1998.

• Shih, Timothy K.:
  Participator dependent multimedia presentation. 1998.

• Deng, Z.; Bi, Z.; Zhu, Y.:
  An environment and algorithm for FMS controller testing. 1997.

• Bax, M.; Giambiasi, N.:
  Modeling and simulating temporal constraints in OPenRT. 1996.

• Ermel, Claudia; Padberg, Julia; Ehrig, Hartmut:
  Requirements Engineering of a Medical Information System. 1996.

• Birkinshaw, C.I.; Croll, P.R.; Mariott, D.G.; Nixon, P.A.:
  Engineering safety-related parallel systems. 1994.

• Anneberg, L.; Singh, H.:
  Petri Net Approach for Requirement Analysis Phase of Software Engineering. 1990.

• Di Giovanni, Raffaele:
  Petri Nets and Software Engineering: HOOD Nets. 1990.

• Kramer, B.; Luqi,:
  Petri Net-Based Models of Software Engineering Processes. 1990.

• Deiters, W.; Gruhn, V.:
  Managing Software Processes in the Environment MELMAC. 1990.

• Liu, Lung Chun; Horowitz, Ellis:
  A Formal Model for Software Project Management. 1989.

• Bolkart, W.; Reisig, W.:
  Petri-Netze (Systementwurf mit Petri-Netzen). 1986.

Back to the Petri Nets Bibliography