Questions tagged [se.software-engineering]
The se.software-engineering tag has no usage guidance.
13 questions
5
votes
1
answer
726
views
Concepts that go into converting an Algorithm to a hardware implementation of it
I have joined the hardware industry in the capacity of a formal verification engineer although my background is more of a theoretical logician.
I have this open question for the theoretical computer ...
- 91
58
votes
10
answers
18k
views
Recent advances in computer science since 2010?
Since I left school (early 2010s) a couple of recently developed techniques were widely adopted by the industry. For example,
Asymmetric numeral systems for compression (e.g. Ubuntu ships with ...
-2
votes
1
answer
331
views
Find research partner (profession and beginner)
I've 10 years of industrial work, but in my free time, I do research, write papers to conferences, help to teach to my old friend at the university and I even did a Ph.D. full-time program.
Now, I've ...
anon
0
votes
0
answers
118
views
How much computer science / software experience is needed for a math major to do work in AI?
As a math major who is planning on getting their PhD in mathematics, how much computer science or software engineering experience/education do I need to comfortably do research in AI, i.e., would a ...
-1
votes
1
answer
3k
views
Program optimization - 90/10 law
I found this "law" somewhere on Wikipedia:
In software engineering, it is often a better approximation that 90% of the execution time of a computer program is spent executing 10% of the code (known ...
- 117
2
votes
2
answers
819
views
Help in understanding Symbolic Execution
I am an undergraduate CS student and currently reading on software security, particularly on static analysis of programs. I am particularly interested in understanding Symbolic Execution - an ...
- 121
0
votes
0
answers
153
views
Proofs for Implementation Statements
I've been struggling with understanding of the proofs showing that implementation statements are extensional.
Basically I am referring to material described in Abstraction Classes in Software Design ...
1
vote
1
answer
643
views
Verification: how 'formal' is a tool like Java Modeling Language (JML) compared to certified libraries and model checking?
(note: this is probably a beginner question, and English is not my first language)
Recently, I have read a paper that used the “Java Modeling Language” (JML), see for instance:
http://www.eecs.ucf....
- 443
1
vote
1
answer
238
views
Temporal Logic and Access Control Models
What is the best way to describe the semantics of a new access control model?. I heard the temporal logic is the way to go. Is it true?
23
votes
2
answers
1k
views
To what extent can an algorithm predict the time complexity an arbitrary input program?
The Halting problem states that it is impossible to write a program that can determine if another program halts, for all possible input programs.
I can, however, certainly write a program that can ...
- 365
15
votes
9
answers
2k
views
How to Create Mission Critical Software?
I am self learning formal methods. I heard that formal methods is used (and usually only used) to create mission critical software (such as nuclear reactor controller, aircraft flight controller, ...
- 251
6
votes
0
answers
194
views
Verified Software Repository
Does anyone know if the verified software repository is still alive? Bar that, are there other repositories out there of verified (or just certified) software? The archive of formal proofs is nice, ...
- 1,565
2
votes
0
answers
184
views
Recursion Schemes for Static Analysis (AST)
In the process of creating an AST analysis framework one of the challenges is creating good reusable functions and to avoid too much boiler-plate code. To that end catamorphisms seem like a good fit, ...
- 121