Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [software-engineering]

Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.

1
vote
0answers
14 views

Why irreducibility is an important concept in Flow Graphs?

Here is a definition of reducible flow graphs : A flow graph is reducible if every retreating edge in any DFST for that flow graph is a back edge. And the reasons why we care about ...
0
votes
0answers
19 views

Computational type theorists: how do you compare terms for equality here?

I am attempting to implement Simple Type Theory in the language D. How do you compare subterms to a term $R$ for the sake of computing the covering abstractors of $R$ in $M$? By reference (class ...
1
vote
0answers
27 views

How much of the x86 instruction set does blender use? [closed]

I'm trying to better understand benchmarks that are commonly used for computer hardware. I've been unable to find an answer to this question. Extra credit if you can provide a breakdown in ...
1
vote
0answers
32 views

Software and hardware communications [closed]

When you install an OS on a piece of hardware such as a Macbook, what is happening logically? In other words, how does the software "talk" to the hardware? Is it the same logical process with every OS ...
0
votes
1answer
39 views

Storing a playlist as plain text file

What are the disadvantages of storing a playlist as plain text in a text file? This is what I thought: The main disadvantage of storing the play list as plain text is its simplicity. The basic ...
1
vote
0answers
63 views

Best way to make the jump from programming to computer science

I have decent enough experience with programming to be able to tackle most things but I want to know how you recommend making the jump from just programming to computer science. I still have a couple ...
0
votes
0answers
15 views

Application-scope, run-time disable-able conditional statements

Background Mainstream programming languages support conditional statements, such as: if( condition ) { operation; } Once coded, changing the condition often ...
0
votes
0answers
20 views

What are aggregate types

I have read the word aggregates many times while reading domain driven design and in some software engineering articles and still, don't know how to use it or understand it properly. Sometimes I call ...
3
votes
1answer
53 views

Single Input Single Output Sequential Circuit Explanation Required

I'm a student of Formal Methods in Software Engineering, I'm trying to study this question for two days but still haven't figured it out, I couldn't even find a similar solution or explanation, so ...
0
votes
0answers
16 views

How do I collect IP addresses from within a website before sending to an Android browser?

We are trying to make an app similar to Adblocker in Android studio, but we need to figure out how to monitor the IP addresses.
2
votes
0answers
41 views

What is cyclomatic complexity and how relevant it is today? [closed]

I have read that cyclomatic complexity is widely used, but critique on it exists claimed that it is based on poor theoretical foundations and an inadequate model of software development. I have read ...
1
vote
1answer
53 views

Which “entity” is working at more deeper level than Characters of a program?

It is commonly told that, while we write a program, we input with our language (A, B, C, D etc), whom computer translates into machine language into machine language made up of Zero (0) or switch off ...
0
votes
2answers
111 views

Revolutions in Computer Science [closed]

TL;DR What revolutions have there been in computer science, which entirely changed our view about the subject, due to 'one way of thinking' being replaced by 'a new (incompatible) way of thinking' (...
0
votes
0answers
57 views

A/B testing for Canary releases

I am a statistician by training, so am not too familiar with the computer science literature. One of the engineers at the firm I work at told me about problems with A/B testing in Canary releases. I ...
3
votes
0answers
94 views

Trends in size of computer programs

Everyone knows code bloat is a real thing, of course. Everyone knows that programs are getting bigger too (this may be nothing to do with 'bloat' of course - they are more sophisticated, safer or ...
0
votes
0answers
25 views

Complete list of IEEE Software “Voice of Evidence” articles?

This month the IEEE Software magazine has published the article Voice of Evidence: A Look Back. This is a kind of impact analysis of the Voice of Evidence (VoE) series of articles. As you know, these ...
1
vote
1answer
29 views

What is the theory behind testing fixes for intermittent bugs?

I ask this question because I deal with alot of intermittent bugs and want to be able to answer the question "Can I be at least 95% sure that my changes to the code fix the bug?". I've got some ideas ...
1
vote
0answers
42 views

is-child-of, is-instance-of as intensional and extensional inheritance relation - is object-oriented modelling an great oversimplification?

I am trying to build knowledge base in OpenCog cognitive architecture (http://wiki.opencog.org/w/The_Open_Cognition_Project) and I see that OpenCog lacks usual means to express notions of object-...
-1
votes
1answer
47 views

How to solve this problem of architecture and scalability?

I know this question may seem weird, mainly, why the context (OS, kind of system, etc) isn't explicit. I am studying for an exam, and, according to the studies guide, one of the questions types can be:...
3
votes
1answer
95 views

How many telescoping constructors will I have?

The Builder Pattern solves the problem of Telescoping Constructors; that is, having a single constructor for every possible parameter combination (including those combinations for which a parameter is ...
1
vote
1answer
36 views

Software to hardware [closed]

I am a layman in computer science. How do the command we input in a computer, which is a software component, changes into a hardware component. For example, if I want to play a song, I will just ...
1
vote
1answer
408 views

Interrupts and polling

Are Interrupts really just an abstracted form of polling? I saw a system-file-watcher library that stated it used polling, as opposed to listening for events. Is the .NET framework SystemFileWatcher ...
1
vote
2answers
300 views

How to generate (Java) source code in academically acceptable way - using abstract syntax tree?

I am trying to do automated programming research: business software generation from the knowledge base that is implemented as Scheme (Lisp dialect) code (in the framework of http://opencog.org/ ...
-1
votes
1answer
129 views

Regretting Computer Science? [closed]

A message I sent to a CS professor: So I have a question about computer science in general. I would like to build "stuff" in the future, not just program my whole life. I'm not sure if I did right ...
0
votes
1answer
112 views

How to represent software code for code generation / automatic programming? How to integrate procedural and declarative knowledge?

I am learning about deontic logics and there I can make the following inferences: If A then there is **duty to create an entity of class C**, ...
5
votes
1answer
131 views

What we lack to do automatic programming?

From time to time I am trying to implement automatic programming system. We already have the formalization of norms (laws/legislation, business policies and rules) as some kind of deontic logic (there ...
1
vote
0answers
52 views

Knowledge driven software development - is it possible?

Model driven software development is driven by UML models and OCL expressions, ontology driven software development is driven by ontologies but is it possible (are there research trends) to introduce ...
4
votes
2answers
425 views

Suitability of high-level languages for embedded systems

Low-level languages have for a long time dominated the field of embedded systems due to their rapidity and flexibility. As high level languages are becoming faster and faster, might the situation get ...
2
votes
0answers
56 views

How to build a reliable bank transfer? [closed]

I recently came across a problem where I was charged $50 by a merchant with my bank card but there was a communication error, so the money was taken from my account but never arrived in the merchants ...
1
vote
0answers
88 views

Are Interfaces counted as Functional Dependency?

I'm doing some homework where I have to count the number of functional dependencies (direct and indirect). But then I'm faced with an unexpected situation, where a class has a relation with an ...
2
votes
1answer
44 views

Where in the toolchain does formal specification come in?

Where is the formal spec located? Like this? Are tests made from formal or informal spec? I saw a project where they where generated from a the formal spec and that never made sense to me. Is the ...
-1
votes
1answer
540 views

Stereotype in UML

What is a Stereotype in Unified modelling language?And What are the primary class stereotypes?.I need clear explanation using diagrams or real world scenario.
1
vote
1answer
331 views

Side effect and recursion

My algorithm professor said a recursive function should not have side-effects since it's a methodological error because recursion is "pure". Anyway I don't understand why, even because I find side-...
1
vote
0answers
184 views

I need help understanding how to prove partial correctness

Please help me understand how I would prove the partial correctness of the below pseudocode with respect to the following predicates: Pre: {n>=0} Post: ...
3
votes
3answers
423 views

Design patterns for simple text based scripting language?

In my current application I am trying to determine the best way to implement a simple scripting language. This language would allow a user to create a script that controls a machine with various ...
1
vote
1answer
87 views

programs compatible with different processors

Ok, I've been told for years that during the old days, a program written on a certain machine would run only on that machine but now, programs run on multiple types of computers. What does this ...
0
votes
1answer
54 views

Terminology for Digitally Interpretting Environment

I am looking into coding a program that can Analyse an image and identify objects in that environment (incl their depth and contours/shape). What is the term for this? Is there a term or area of ...
0
votes
1answer
76 views

Is program analysis part of programming language theory?

If I am correct, programming language theory studies syntax and semantics of programming languages, and design and implementation of programming languages (e.g. compiler, ...) Does programming in ...
6
votes
1answer
751 views

Is there a way of objectively measuring the efficiency or quality of software or code design?

I've been thinking about ways of measuring code, and, quite frankly, I can't think of truly objective, semi-universal ways of evaluating the quality or "strength" of code to say, "Yes, this is better ...
1
vote
1answer
36 views

Have block edit distances been computed on large code bases?

There is an enormous mass of source code in this world, and I think it's safe to say that most of this source code was once copied from elsewhere, then modified. There is a decent chance of the (small,...
-1
votes
3answers
91 views

Book reference: Programming Languages are for humans

Currently I'm writing my thesis and I made the assumption that all programming languages are made for humans and humans alone. There's no reason to make compromises to fit the machine needs. ...
2
votes
0answers
130 views

What is MVC architecture? [closed]

I have a programming assignment that says we should use the MVC architecture but we never really learned what that is. I looked up MVC architecture on google but nothing was helpful. So can someone ...
5
votes
2answers
574 views

Application of set theory subjects as ordinals, forcing, generic filters in software engineering

I am going to teach a course in set theory for software engineering students. I am going to talk in this course about: ordinal numbers, partial orders, well ordering, generic filters and maybe some ...
1
vote
1answer
1k views

Combine abstract factory with decorator pattern [closed]

I'm working on a simple project of software engineering that should combine two patterns. I choose Abstract Factory and Decorator patterns to modify (dynamically) objects created with the concrete ...
3
votes
2answers
113 views

What's the difference between studying “Software Development”, “Software Engineering”, “Computer Science” and “Information Technology”?

I really cannot understand the key-differences between those fields of study. Can please someone explain it in detail? If one graduates from a Master program of Computer Science, how does he differ ...
3
votes
2answers
169 views

Overlap between theory and systems fields in CS

I have finally had some serious graduate-level exposure to CS Theory and loved it. I really enjoyed complexity theory (time and space complexity, the different classes, reductions to prove NP-...
0
votes
2answers
267 views

How to learn computer science the right way [closed]

I looked through the sites and this seems to be the best place to ask this question. I am sure it has been asked 10000 times but I am looking for a tailored answer to me and my situation. I currently ...
2
votes
1answer
381 views

As a wannabe computer “scientist” I have problems differentiating theory and practice [closed]

Specifically I'm studying towards a research degree in HCI (human computer interaction). I have problems however differentiating theory and practice, or science and engineering. I know science is ...
4
votes
1answer
349 views

Is There a Programming Language That Embraces Globals?

All programming languages have globally defined symbols. While best practices invariably abjure their use as mutable entities the philosophy of what is mutable and what is not mutable is highly ...
2
votes
0answers
267 views

Software Engineering - Waterfall model efficiency [closed]

I study computer science and we have subject named Software Engineering, we learn that each software should pass through a long process starting from requirement engineering and ending with Evoluation ...