Software terminology - which means "inconsistency" and "incompleteness"

Regarding software development, what does “Inconsistency” and “Incompleteness” really mean?

eg. - Create specifications

Using formal software development methods is considered less "inconsistent" and "incomplete" than other less formal methods, such as Object Orientated Design, when creating specifications.

+5
source share
7 answers

Inconsistency and incompleteness are like the original terms from formal logic, where they are used to describe logical systems.

, - " X, X, ! X" - " X, X, ! X".

, , "" " , ", "" "underspecified" , ".

+3

. . .

, . :

:

  • , , , ,
  • - ,
  • - , .

  • - , , (.. , , )
  • - ENTER, , OK
  • - ; - -v, - -v =
  • - , Visual Studio BSD, .NET Framework GPL: -)
+4

- , . , .

, , , , .

P C , P C, C P . , NP-complete NP , .

( ) ( ). .

... , ?

, " Goedels", ;)

+1

( ) . , , . , . , , "" - .

+1

, :

:

  • , , /
  • /

:

  • ,
  • /

...

0

, Formal Methods . , ( ) ( ).

0

, , , , , , , . , , , , , , .

This is the same as building a house. Yes, you can just run out and start collecting carnations together, and you can create something that you can live in, but if you study architecture, building materials and technologies, define a workflow, etc., you are ultimately the best house. However, even better, you will be able to build the same house or similar, with a much higher probability of success.

0
source

All Articles