486:
278:
361:
124:
71:
273:
513:
219:
622:
388:
464:
51:
617:
224:
612:
469:
322:
229:
508:
197:
185:
552:
417:
412:
569:
256:
104:
459:
144:
564:
383:
349:
295:
234:
19:
427:
518:
202:
16:
481:
239:
164:
91:
530:
439:
305:
400:
261:
214:
23:
606:
332:
581:
496:
378:
366:
168:
148:
108:
95:
337:
128:
75:
593:
491:
55:
454:
444:
422:
327:
251:
449:
317:
283:
535:
540:
35:
This category has the following 7 subcategories, out of 7 total.
300:
184:
The following 55 pages are in this category, out of 55 total.
487:
Rigorous
Approach to Industrial Software Engineering
279:Construction and Analysis of Distributed Processes
181:Pages in category "Formal specification languages"
8:
362:Language of Temporal Ordering Specification
186:This list may not reflect recent changes
274:Common Algebraic Specification Language
514:Specification and Description Language
220:Algebraic semantics (computer science)
7:
190:
48:
37:
29:
14:
125:Synchronous programming languages
389:Meta-IV (specification language)
465:Property Specification Language
72:Hardware verification languages
225:Alloy (specification language)
1:
470:Prototype Verification System
323:Eiffel (programming language)
230:Assertion definition language
509:SPARK (programming language)
198:Semantics (computer science)
639:
553:Universal Systems Language
418:Object Constraint Language
413:OBJ (programming language)
570:Vienna Development Method
257:Behavior of coupled DEVS
623:Specification languages
460:Predicative programming
565:Vector addition system
384:Message sequence chart
350:Java Modeling Language
296:Denotational semantics
235:Augmented marked graph
52:Denotational semantics
618:Mathematical modeling
428:Operational semantics
613:Formal specification
519:Stochastic Petri net
203:Formal specification
17:Formal specification
482:Refinement calculus
240:Axiomatic semantics
531:Timed event system
440:Perfect Developer
306:Duration calculus
630:
401:Nets within Nets
262:Behavior of DEVS
215:Action semantics
170:
150:
130:
110:
97:
77:
57:
50:
638:
637:
633:
632:
631:
629:
628:
627:
603:
602:
601:
600:
599:
598:
586:
574:
557:
545:
523:
501:
474:
432:
405:
393:
371:
354:
342:
310:
288:
266:
244:
207:
178:
177:
176:
175:
172:
171:
155:
152:
151:
135:
132:
131:
115:
112:
111:
105:Process calculi
99:
98:
82:
79:
78:
62:
59:
58:
47:
28:
12:
11:
5:
636:
634:
626:
625:
620:
615:
605:
604:
597:
596:
590:
587:
585:
584:
578:
575:
573:
572:
567:
561:
558:
556:
555:
549:
546:
544:
543:
538:
533:
527:
524:
522:
521:
516:
511:
505:
502:
500:
499:
494:
489:
484:
478:
475:
473:
472:
467:
462:
457:
452:
447:
442:
436:
433:
431:
430:
425:
420:
415:
409:
406:
404:
403:
397:
394:
392:
391:
386:
381:
375:
372:
370:
369:
364:
358:
355:
353:
352:
346:
343:
341:
340:
335:
330:
325:
320:
314:
311:
309:
308:
303:
298:
292:
289:
287:
286:
281:
276:
270:
267:
265:
264:
259:
254:
248:
245:
243:
242:
237:
232:
227:
222:
217:
211:
208:
206:
205:
200:
194:
192:
191:
182:
179:
174:
173:
163:
162:
159:
156:
154:
153:
145:Temporal logic
143:
142:
139:
136:
134:
133:
123:
122:
119:
116:
114:
113:
103:
102:
100:
90:
89:
86:
83:
81:
80:
70:
69:
66:
63:
61:
60:
46:
45:
42:
39:
38:
33:
30:
24:formal methods
13:
10:
9:
6:
4:
3:
2:
635:
624:
621:
619:
616:
614:
611:
610:
608:
595:
592:
591:
588:
583:
580:
579:
576:
571:
568:
566:
563:
562:
559:
554:
551:
550:
547:
542:
539:
537:
534:
532:
529:
528:
525:
520:
517:
515:
512:
510:
507:
506:
503:
498:
495:
493:
490:
488:
485:
483:
480:
479:
476:
471:
468:
466:
463:
461:
458:
456:
453:
451:
448:
446:
443:
441:
438:
437:
434:
429:
426:
424:
421:
419:
416:
414:
411:
410:
407:
402:
399:
398:
395:
390:
387:
385:
382:
380:
377:
376:
373:
368:
365:
363:
360:
359:
356:
351:
348:
347:
344:
339:
336:
334:
333:Event segment
331:
329:
326:
324:
321:
319:
316:
315:
312:
307:
304:
302:
299:
297:
294:
293:
290:
285:
282:
280:
277:
275:
272:
271:
268:
263:
260:
258:
255:
253:
250:
249:
246:
241:
238:
236:
233:
231:
228:
226:
223:
221:
218:
216:
213:
212:
209:
204:
201:
199:
196:
195:
193:
189:
187:
180:
166:
161:
160:
157:
146:
141:
140:
137:
126:
121:
120:
117:
106:
101:
93:
88:
87:
84:
73:
68:
67:
64:
53:
49:
44:
43:
40:
36:
32:Subcategories
31:
27:
25:
21:
18:
582:Wright (ADL)
497:Rosetta-lang
379:Maude system
367:Larch family
183:
34:
15:
338:Extended ML
22:supporting
607:Categories
594:Z notation
492:Rodin tool
165:Z notation
92:Petri nets
56:(1 C, 7 P)
455:PowerDEVS
445:Petri net
20:languages
423:Object-Z
328:ESC/Java
252:B-Method
450:PlusCal
318:E-LOTOS
284:CoreASM
169:(19 P)
149:(17 P)
109:(20 P)
96:(20 P)
541:TNSDL
129:(9 P)
76:(9 P)
536:TLA+
301:DEVS
609::
188:.
167:
147:
127:
107:
94:
74:
54:
26:.
589:Z
577:W
560:V
548:U
526:T
504:S
477:R
435:P
408:O
396:N
374:M
357:L
345:J
313:E
291:D
269:C
247:B
210:A
158:Z
138:T
118:S
85:P
65:H
41:D
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.