Questions tagged [formal-modeling]

Questions that ask for a mathematical/formal model of an intuitive concept or task

3 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
0 votes
0 answers
176 views

Theoretical background of Classes and Objects

I would like to learn about the possible ways of formalizing Classes and Objects (in programing languages like java) using formal languages. Where should I start? This might be related to my previous ...
  • 101
0 votes
0 answers
65 views

Specification language for specifying both Objects and Primitive data types

I am looking for an specification language, which supports both primitive data types and objects. I already know about Object-Z. But I am wondering if there is any other Specification language that I ...
  • 101
-4 votes
1 answer
2k views

Find sentences with similar relative meaning from a list of sentences against an example one

I want to be able to find sentences with the same meaning. I have a query sentence, and a long list of millions of other sentences. Sentences are words, or a special type of word called a symbol which ...
  • 201