Web Images Videos Maps News Shopping Gmail more »
Recently Visited Groups | Help | Sign in
Google Groups Home
This is a Usenet group - learn more
Find or start a Google Group about specification.
Group info
Language: English
Group categories:
Computers
More group info »
Related Groups
Object-oriented programming and languages.
Medium activity, Usenet
Discussion about functional languages.
Medium activity, Usenet
Theoretical Computer Science.
Low activity, Usenet
Discussions
View:  Topic list, Topic summary Topics 1 - 10 of 5184  Older »
Description: Discussion about the formal specification notation Z.
 

Reminder: last week to submit to CAL'2010 
  Call for papers CAL'2010: 4th Conference on Software Architectures, Pau, March 9-11, 2010 [link] After Nantes in 2006, Montreal in 2008 and Nancy 2009, the fourth edition of the Conference on Software Architectures will be held in Pau in March 2010. CAL 2010 proposes to again bring together the... more »
By Khalil Drira  - Oct 30 - 1 new of 1 message    

*** BCS-FACS/LMS Evening Seminar by Prof Mike Gordon, 1 December, London, UK 
  (Apologies if you receive multiple copies of this announcement) BCS-FACS Evening Seminar Series Joint event with the London Mathematical Society Forward with Hoare Professor Mike Gordon, FRS (Cambridge University)... more »
By Paul.Boca@googlemail.com  - Oct 29 - 1 new of 1 message    

CFP CAL'2010 Pau, France, 9-11 march 2010 
  Call for papers CAL'2010: 4th Conference on Software Architectures, Pau, March 9-11, 2010 [link] After Nantes in 2006, Montreal in 2008 and Nancy 2009, the fourth edition of the Conference on Software Architectures will be held in Pau in March 2010. CAL 2010 proposes to again bring together the... more »
By Khalil Drira  - Oct 22 - 1 new of 1 message    

Workshop on Model Based Engineering for Embedded Systems Design - Call for Contributions - Deadline November 18, 2009 
    *  *Call for Contributions *    The 1st Workshop on Model Based Engineering for Embedded Systems Design *  *March 12, 2010 *Dresden , Germany *  More information:*   [link] Submissions:          easychair web site *     The application of model-based engineering (MBE) methods for software and systems development in industry is increasing. Moreover, the integration of component-based approaches with MBE has further accelerated its adoption along with providing it with a sound theoretical foundation.... more »
By i...@ecsi.org  - Oct 19 - 1 new of 1 message    

SOSE 2010 CFP 
  ============================== ============================== ============================== ====== We apologize if you receive multiple copies of this announcement. Please disseminate this CFP in any lists you subscribed and among your colleagues/students. We also take this chance to invite you (or anyone from... more »
By SOSE2010  - Oct 14 - 1 new of 1 message    

**** FACS/BCSWomen Evening Seminar on Software verification for ubiquitous computing, 19 Oct, 6pm, London 
  (Apologis if you receive multiple copies of this message) BCS-FACS/BCS Women Evening Seminar Software verification for ubiquitous computing Prof. Marta Kwiatkowska University of Oxford 19 Oct 2009 6pm BCS London Offices... more »
By Paul.Boca@googlemail.com  - Oct 13 - 1 new of 1 message    

CAV 2010 Call for Papers 
  We apologize if you receive multiple copies of this email. See below on how to unsubscribe. .............................. .............................. ............ 22nd International Conference on Computer Aided Verification (CAV) CAV 2010 [link]... more »
By Tayssir Touili  - Oct 13 - 2 new of 2 messages    

First CfP: PETRI NETS 2010, 31st International Conference on Application 
  *** Apologies for multiple copies due to cross-posting *** *** Please forward to colleagues who might be interested *** FIRST CALL FOR PAPERS PETRI NETS 2010 31st International Conference on Application and Theory of Petri Nets and other Models of Concurrency June 21-25, 2010 Braga, Portugal Web: [link]... more »
By Joao Paulo Barros  - Oct 13 - 1 new of 1 message    

Call for Papers/Workshop Proposals (GPC-10, UIC-10, MTPP-10, ICA3PP-10, FC-10, SMPE-10, FutureTech-10, BodyNets-10) 
  ============================== ============================== ======== ** Apologies if you receive multiple copies of this announcement. ** Please disseminate this message in your networks / subscribed lists. We also take this chance to invite you contribute a paper / proposal to these events. Thanks in advance.... more »
By C. Hsu"  - Oct 12 - 1 new of 1 message    

CFP: MBT 2010, Sixth Workshop on Model-Based Testing at ETAPS 2010 
  MBT 2010 Sixth Workshop on Model-Based Testing March 21, 2010, Pathos, Cyprus [link] Satellite workshop of ETAPS 2010 CALL FOR PAPERS The workshop is devoted to model-based testing of both software and hardware. Model-based testing is closely related to model-based specification. Models are used to describe the behavior of the system... more »
By Bernd Finkbeiner  - Oct 11 - 1 new of 1 message    

1 - 10 of 5184   « Newer | Older »

XML      
Google Groups - Google Home - Terms of Service - Privacy Policy
©2009 Google