External Links

    Journal: Information \& Software Technology

    Volume 40, Issue 10

    519 -- 540Arthur H. M. ter Hofstede, Henderik Alex Proper. How to formalize it?: Formalization principles for information system development methods
    541 -- 553Z. Chen. Toward a better understanding of idea processors
    555 -- 565Pedro Ramos, José Luiz Fiadeiro. A computational tool that supports formal diagnosis of process design
    runs on