@article{Dhaussy:2009p3352, Abstract = {Abstract. A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embed- ded systems, model checking requires first to model the system to be validated, then to formalize the properties to be satisfied, }, Author = {Philippe Dhaussy and P Pillain and S Creff and Amine Raji and Y Le Traon}, Date-Added = {2009-12-07 15:36:27 +0100}, Date-Modified = {2010-04-01 10:40:14 +0200}, Journal = {ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems}, Local-Url = {file://localhost/Users/amine/Documents/Papers/2009/Evaluating%20Context%20Descriptions%20and%20Property%20Definition%20Patterns%20for%20Software%20Formal%20Validation-1.pdf}, Month = {Jan}, Rating = {0}, Title = {Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation}, Uri = {papers://A51F8313-82CE-4A27-B72F-5E5502BF1679/Paper/p3352}, Url = {http://www.springerlink.com/index/1827263m57u7x255.pdf}, Year = {2009}, Bdsk-File-1 = {YnBsaXN0MDDUAQIDBAUIJidUJHRvcFgkb2JqZWN0c1gkdmVyc2lvblkkYXJjaGl2ZXLRBgdUcm9vdIABqAkKFRYXGyIjVSRudWxs0wsMDQ4RFFpOUy5vYmplY3RzV05TLmtleXNWJGNsYXNzog8QgASABqISE4ACgAOAB1lhbGlhc0RhdGFccmVsYXRpdmVQYXRo0hgNGRpXTlMuZGF0YU8RApAAAAAAApAAAgAAA2xlbwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAMf3jDJIKwAAAAkTtR9FdmFsdWF0aW5nIENvbnRleHQgRGUjOTE0MDkucGRmAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACRQJx0LH6wAAAAAAAAAAAAEABAAACSAAAAAAAAAAAAAAAAAAAAAEMjAwOQAQAAgAAMf3cBIAAAARAAgAAMdCudsAAAABABQACRO1AAkSQwAEBM4ABATBAANXyAACAEVsZW86VXNlcnM6YW1pbmU6RG9jdW1lbnRzOlBhcGVyczoyMDA5OkV2YWx1YXRpbmcgQ29udGV4dCBEZSM5MTQwOS5wZGYAAA4AzABlAEUAdgBhAGwAdQBhAHQAaQBuAGcAIABDAG8AbgB0AGUAeAB0ACAARABlAHMAYwByAGkAcAB0AGkAbwBuAHMAIABhAG4AZAAgAFAAcgBvAHAAZQByAHQAeQAgAEQAZQBmAGkAbgBpAHQAaQBvAG4AIABQAGEAdAB0AGUAcgBuAHMAIABmAG8AcgAgAFMAbwBmAHQAdwBhAHIAZQAgAEYAbwByAG0AYQBsACAAVgBhAGwAaQBkAGEAdABpAG8AbgAtADEALgBwAGQAZgAPAAgAAwBsAGUAbwASAIdVc2Vycy9hbWluZS9Eb2N1bWVudHMvUGFwZXJzLzIwMDkvRXZhbHVhdGluZyBDb250ZXh0IERlc2NyaXB0aW9ucyBhbmQgUHJvcGVydHkgRGVmaW5pdGlvbiBQYXR0ZXJucyBmb3IgU29mdHdhcmUgRm9ybWFsIFZhbGlkYXRpb24tMS5wZGYAABMAAS8AABUAAgAM//8AAIAF0hwdHh9YJGNsYXNzZXNaJGNsYXNzbmFtZaMfICFdTlNNdXRhYmxlRGF0YVZOU0RhdGFYTlNPYmplY3RfEH4uLi9Eb2N1bWVudHMvUGFwZXJzLzIwMDkvRXZhbHVhdGluZyBDb250ZXh0IERlc2NyaXB0aW9ucyBhbmQgUHJvcGVydHkgRGVmaW5pdGlvbiBQYXR0ZXJucyBmb3IgU29mdHdhcmUgRm9ybWFsIFZhbGlkYXRpb24tMS5wZGbSHB0kJaIlIVxOU0RpY3Rpb25hcnkSAAGGoF8QD05TS2V5ZWRBcmNoaXZlcgAIABEAFgAfACgAMgA1ADoAPABFAEsAUgBdAGUAbABvAHEAcwB2AHgAegB8AIYAkwCYAKADNAM2AzsDRANPA1MDYQNoA3ED8gP3A/oEBwQMAAAAAAAAAgEAAAAAAAAAKAAAAAAAAAAAAAAAAAAABB4=}, Bdsk-Url-1 = {http://www.springerlink.com/index/1827263m57u7x255.pdf}}