Search Results - "Molderez, J. F."

Early verification and validation of mission critical systems by Ponsard, C., Massonet, P., Molderez, J. F., Rifaut, A., Lamsweerde, A. van, Van, H. Tran

“…Complex software and systems are pervasive in today's world. In a growing number of fields they come to play a critical role. In order to provide a high…”
Get full text

An analysis of the chinese wall pattern for guaranteeing confidentiality in grid-based virtual organisations by Dallons, G., Massonet, P., Molderez, J.-F., Ponsard, C., Arenas, A.

“…Virtual organisations (VO) allow independent organisations to share resources and collaborate to achieve common goals. When a VO is defined in a business…”
Get full text

FAUST: formal analysis using specification tools by Rifaut, A., Massonet, P., Molderez, J.-F., Ponsard, C., Stadnik, P., van Lamsweerde, A., Van Hung, T.

“…Developing high quality requirements specifications is a necessity for a number of critical industrial systems. An integrated toolset, called FAUST, is…”
Get full text

Early Verification and Validation of Mission Critical Systems by Ponsard, C., Massonet, P., Rifaut, A., Molderez, J.F., van Lamsweerde, A., Tran Van, H.

“…Our world is increasingly relying on complex software and systems. In a growing number of fields such as transportation, finance, telecommunications, medical…”
Get full text