BG Development


  Reply to this topicStart new topicStart Poll

> Formal methods application, Софтуерно инженерство и математика
Demigod
Публикувано на: 30-05-2015, 00:32
Quote Post



Име:
Група: Потребител
Ранг: Почетен член

Мнения: 4321
Регистриран на: 26.04.09



QUOTE
Abstract  - The development of an elevator scheduling system by undergraduate students is presented. The development was performed by 20 teams of undergraduate students, divided into two groups. One group produced specifications by employing a formal method that involves only first-order logic. The other group used no formal analysis. The solutions of the groups are compared using the metrics of code correctness, conciseness, and complexity. Particular attention is paid to a subset of the formal methods group which provided a full verification of their implementation. Their results are compared to other published formal solutions. The formal methods group's solutions are found to be far more correct than the nonformal solutions.


Formal methods application: An empirical tale of Software Development (pdf)

Авторите на статията са гъби. Експериментите им са адекватни, но заключенията което правят на базата на резултатите са грешни. Представям ви тази публикация, защото истинското, правилното заключение е интересно, а именно че софтуерните инженери с по - силен математически background постигат значително по - добри резултати в разработката на софтуер.

Ако ви е интересно прочетете статията и продължете надолу:

По принцип когато се сравняват две техники на разработка на софтуер, по случаен начин се разпределят хора с еднакъв background в две групи - едната експериментална, другата контролна. В тази статия не е така - хората не са с еднакъв background, което е хлъзгав склон.

Съсредоточете се върху тази част:
user posted image
Всъщност са взели едни и същи CS предмети. Проблемът идва от това, че formal methods обикновено е предмед, който изисква математически prerequisites. Това са предмети, които студента трябва да вземе, че да му се позволи да се запише в конкретният курс. В случаят на formal methods те са математики и логика.

Разликата между двете групи не е formal methods, ами е МИНИМУМ множеството от предмети, които трябва да вземат, за да им се позволи да вземат formal methods, плюс formal methods. Единственият извод, който може да направят е "хората, които са взели това множество от предмети, които са математика и логика ( включае formal methods ), се справят по - добре отколкото хората, които не са". Това е минималното твърдение което може да се направи и не изключва студентите в експерименталната група да имат значително по - силен математически background от пререквизитите за formal methods.

Това мнение е било редактирано от Demigod на 30-05-2015, 00:42


--------------------
being insane is so .... liberating ....
PMEmail Poster
Top
nikolayzahariev
Публикувано на: 30-05-2015, 07:38
Quote Post



Име:
Група: Потребител
Ранг: Редовен член

Мнения: 325
Регистриран на: 11.03.14



QUOTE (Demigod @ 30-05-2015, 01:32)
софтуерните инженери с по - силен математически background постигат значително по - добри резултати в разработката на софтуер

Аз мисля, че човек с математически умения ще се справя по-добре при решаването на всякакви задачи. Например, при оптималното подреждане на мебелите в апартамента така, че да остане възможно най-много свободно място.
PM
Top
wqw
Публикувано на: 30-05-2015, 13:11
Quote Post


Group Icon
Име: Владимир Висулчев
Група: VIP
Ранг: Почетен член

Мнения: 5917
Регистриран на: 10.06.04



QUOTE (nikolayzahariev @ 30-05-2015, 08:38)
Аз мисля, че човек с математически умения ще се справя по-добре при решаването на всякакви задачи.

Да не генерализираме. Математическите умения рядко помагат при свирене на пиано например, т.е. при задача да се изсвири детска песничка на Моцарт, математикът по-скоро не превъзхожда художника априори.

cheers,
</wqw>


--------------------
PMEmail PosterUsers Website
Top
nikolayzahariev
Публикувано на: 30-05-2015, 13:33
Quote Post



Име:
Група: Потребител
Ранг: Редовен член

Мнения: 325
Регистриран на: 11.03.14



Изкуството не го смятам за решаване на задача.
PM
Top
wqw
Публикувано на: 30-05-2015, 13:56
Quote Post


Group Icon
Име: Владимир Висулчев
Група: VIP
Ранг: Почетен член

Мнения: 5917
Регистриран на: 10.06.04



QUOTE (nikolayzahariev @ 30-05-2015, 14:33)
Изкуството не го смятам за решаване на задача.

Задачата все пак не е да се композира детска песничка, а по-скоро е въпрос на умения.

cheers,
</wqw>


--------------------
PMEmail PosterUsers Website
Top
Delegate
Публикувано на: 04-06-2015, 13:30
Quote Post



Име:
Група: Потребител
Ранг: Почетен член

Мнения: 1566
Регистриран на: 30.05.09



Понякога креативни индивиди могат да измислят оригинално и интересно решение даже без да имат тежък математически бакграунд или дори бих казал - точно защото нямат такъв.
PMEmail Poster
Top
Demigod
Публикувано на: 04-06-2015, 21:10
Quote Post



Име:
Група: Потребител
Ранг: Почетен член

Мнения: 4321
Регистриран на: 26.04.09



Това е аргумент за науки като физиката, където имаш понятието "теория", което обяснява някакви естествени наблюдения. Тоест в редки случаи зманието за определено обяснение би ти претъпило интуицията за нещо друго свързано.

В математиката това не виждам как може да стане. Интересно ми е ако може да предложиш пример, който не съобразявам в момента.


--------------------
being insane is so .... liberating ....
PMEmail Poster
Top
Delegate
Публикувано на: 05-06-2015, 07:41
Quote Post



Име:
Група: Потребител
Ранг: Почетен член

Мнения: 1566
Регистриран на: 30.05.09



Не знам дали говорим за едно и също. Ето пример за решение, което изисква Lateral thinking и примера The "nine dots"
PMEmail Poster
Top
Demigod
Публикувано на: 05-06-2015, 18:29
Quote Post



Име:
Група: Потребител
Ранг: Почетен член

Мнения: 4321
Регистриран на: 26.04.09



въпросът е дали решението на тази задача щеше да е по - интуитивно за теб, ако нямаше математически познания.


--------------------
being insane is so .... liberating ....
PMEmail Poster
Top
0 потребители преглеждат тази тема в момента (0 гости, 0 анонимни потребители)
Потребители, преглеждащи темата в момента:

Topic Options Reply to this topicStart new topicStart Poll

 


Copyright © 2003-2018 | BG Development | All Rights Reserved
RSS 2.0