User contributions for Xlapak
Appearance
Results for Xlapak talk block log uploads logs global block log global account filter log
A user with 8 edits. Account created on 19 September 2009.
10 August 2010
- 08:2708:27, 10 August 2010 diff hist +365 List of computer science conferences →Software engineering
- 08:2408:24, 10 August 2010 diff hist −30 List of computer science conferences →Formal methods
- 08:2308:23, 10 August 2010 diff hist +30 List of computer science conferences →Formal methods Tag: shouting
19 September 2009
- 00:4900:49, 19 September 2009 diff hist −166 Model-based specification No edit summary
- 00:4000:40, 19 September 2009 diff hist +108 Model-based specification No edit summary
- 00:3800:38, 19 September 2009 diff hist +774 N Model-based specification ←Created page with 'Model-based specification is an approach to formal specification where the system specification is expressed as a system state model.This state model is constructed...'
- 00:3500:35, 19 September 2009 diff hist −15 Specification language No edit summary
- 00:3300:33, 19 September 2009 diff hist +40 Specification language add link to the word "model-based specification"