Questions tagged [software-engineering]
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
120 questions
0
votes
0
answers
40
views
what is the onpoint, offpoint, inpoint and outpoint?
consider :
Units>200
(units greater than 200)
Now what is the onpoint, offpoint, inpoint and outpoint? This is related to Domain Analysis Testing using Binders technique in software testing
can ...
- 1
0
votes
3
answers
171
views
Does there exist a decent Python-to-English converter (abstractly, i.e. may not be coded on Earth) that is round-trip?
I was wondering how much Python can be converted in as close as possible a near 1-1 correspondence with English statements?
And how one could go about writing one given that they are able to examine a ...
- 637
3
votes
0
answers
49
views
Is this approach to generating points for the graph of a function that attempts to avoid discontinuities appropriate?
I'm not sure where to ask this question, I'd appreciate being redirected accordingly if need be.
Context
Let's say I have a program that might plot the graph of functions supplied by a user, for ...
- 300
0
votes
0
answers
55
views
can we decide during compile time whether something on heap becomes unreachable in Java?
As I know (I don't know exactly) the main idea of Rust memory safety is based on the fact that it is compiled into a code that as an additional part has a code that detects unreachable objects and ...
- 394
0
votes
1
answer
51
views
Smart Boot: a kernel function to SAVE / LOAD ALL the needed working RAM from the disk
Boot process is wonderful, but quite tedious to wait the kernel reload every needed objects on the RAM again.
One day, I was wondering if it was possible the kernel to "take a snapshot" of ...
- 101
0
votes
2
answers
134
views
How can software developers ensure the security of their softwares, so that consumers don't mess with it?
The question is as it is.
As a software developer, how can you ensure that when consumers/customers/users download your softwares, they cannot edit it to create a different version of it ?
Some ways ...
- 11
0
votes
0
answers
98
views
What is the difference between software development and software engineering?
What is the difference between software development and software engineering?
And What are the foundations of each one of them?
1
vote
0
answers
118
views
An approach to discover parameterised patterns in arbitrary strings
Expanding on Question 79182
I am sure there must be an active area of research for deriving parameterised patterns.
What I am looking for is something like - given the input
...
- 33
5
votes
4
answers
2k
views
What's role of software verification in modern software engineering
There are standard courses in computer science faculties that teach software verification, yet modern software products (Operating Systems especially) require periodic updates and bugs are constantly ...
- 394
2
votes
1
answer
147
views
Applications of ω-automaton in engineering
Finite automaton is a well-known topic which finds applications in software engineering (e.g. pattern matching or regular expressions in general).
ω-automaton are another kind of automaton, defined ...
- 253
1
vote
2
answers
71
views
Name of class of errors where the real state differs from the recorded state?
Is there a name for the class of software errors that arise from the fact that the software believes something wrong about the state of the world?
(Allow me a bit of anthropomorphization of software, ...
- 131
-1
votes
1
answer
114
views
Question Regarding Design Constraints in Software Engineering Exam
I recently had a software engineering exam, and there's a particular question that's causing some confusion between my professor and me. I'd like to get some insights from the community to better ...
0
votes
1
answer
93
views
Could there be a computer or components based on a non-classical logic?
Since circuits and processors are heavily influenced and designed based upon boolean logic, which is itself a subset of propositional logic, could there be different interpretations of hardware or ...
- 103
2
votes
1
answer
141
views
What is the closest theory to "The theory of code refactoring"?
We refactor code lots of times as developers. Metaphorically, our program space is an infinite-dimensional Rubik's cube. Things can be rearranged, preserving the code's action, so a "symmetry ...
- 637
0
votes
1
answer
62
views
Is there an algorithm for mapping two ambiguous and unrelated data sets?
I was curious to see whether or not there was a common algorithm for mapping two unrelated data sets.
So for example let's say I wanted to give you a spirit animal based on your name, birthday, zodiac ...
- 101