Questions tagged [formalize]
5 questions
2
votes
1 answer
how to formalize Uml
Is there a way to convert(formalize) UML to Z notation?
what I mean is that is there any way to re-write UML requirements to a formal language like z?
sorry for my bad English, my native language is not English.
thank you.
Ileden
- 25
- 1
- 5
1
vote
1 answer
Questions about constant operator in TLA+
I am reading book "Specifying Systems" recently. In Chapter 5, Leslie define constant operator Send(,,,).
I am confused about how to assign value (True/False) to this constant expression? Do we need to assign True/False to every (p, v, m, m') in…
Oliver Young
- 578
- 1
- 4
- 12
1
vote
1 answer
Event-B Proof Obligations
I have a problem in Event-B to discharge proof obligations. In my work,
I want to formalize the specification of memory protection requirements to check the consistency between them. In order to do that, I used Event-B Context to formalize the…
Trình Lê Khánh
- 17
- 7
0
votes
1 answer
formalize.css buttons in ie/chrome
I'm experiencing some problems styling buttons.
I'm using formalize.css from http://formalize.me/ and the Eric Meyer CSS Reset.
This is what happens in IE and Chrome:
The class for the buttons looks like…
mldev
- 1
0
votes
1 answer
Middleman, Compass and Formalize
I have been trying to get middleman, compass and formalize to work together, but so far without too much luck.
I did install the Compass Formalize plugin
sudo gem install compass_formalize
... and I did add the obligatory require to…
Wilfred Springer
- 10,869
- 4
- 55
- 69