Cos'è ElectroYou | Login Iscriviti

ElectroYou - la comunità dei professionisti del mondo elettrico

Ricerca personalizzata

Sareste interessati a degli articoli sulla verifica formale?

Notizie scientifiche e non, comunicazioni, auguri, AAA cercasi, vendo, compro, piccoli racconti, curiosità, idee, fantasie ecc. Un fuori tema soft, senza argomenti scottanti

Moderatori: Foto Utenteadmin, Foto UtentePaolino

Articoli sui metodi formali: si o no?

Si, scrivili: mi interessa!
11
58%
Si, scrivili... magari gli do uno sguardo.
5
26%
Non ho un'opinione.
2
11%
No, meglio se non li scrivi: non mi interessa poi così tanto.
1
5%
No, non scrivere nulla: non me ne frega niente.
0
Nessun voto
 
Voti totali : 19

3
voti

[1] Sareste interessati a degli articoli sulla verifica formale?

Messaggioda Foto Utentewruggeri » 1 gen 2018, 14:40

Buongiorno e buon anno a tutti O_/

Da tempo mi sono appassionato ai metodi di verifica formale, e il fatto di averli recentemente visti anche in un corso all'università non ha fatto che rafforzare le mie convinzioni (e non solo mie!!) circa la necessità di conoscerli anche se non fanno parte delle proprie "competenze utili", perché il loro studio apre la mente ad un modo più responsabile di concepire la progettazione.
Tuttavia, ho notato che di metodi formali si parla pochissimo: è difficile reperire articoli e testi introduttivi, sui forum di elettronica e programmazione praticamente si fa come se non esistessero, in effetti moltissimi "addetti ai lavori" non hanno la minima idea di cosa siano... per cui, ho avuto un'idea: quella di scrivere degli articoli introduttivi ai metodi formali, magari fornendo quando opportuno dei semplici esempi di utilizzo.
Giustamente, penserete "bravo, ok, vuoi scrivere l'articolo... ma allora, perché non lo scrivi invece di star qui ad aprire topic?". Il problema è il seguente: la redazione di questi articoli richiede uno sforzo non indifferente anche solo per la ricerca bibliografica, quindi onestamente non mi va di perdere tempo a scrivere qualcosa che magari interessa solo a me. Da qui il sondaggio: se scrivessi degli articoli sulla verifica formale, li leggereste? :D
Si, nei limiti delle mie capacità ti rispondo... ma per favore, impara l'italiano!
Se non conosci un argomento, non parlarne.
Gli unici fatti scientifici sono quelli accertati dagli studi. Il resto è opinione.
Avatar utente
Foto Utentewruggeri
2.830 1 6 13
Expert EY
Expert EY
 
Messaggi: 542
Iscritto il: 25 nov 2016, 17:46

1
voti

[2] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentefairyvilje » 1 gen 2018, 19:31

Ho risposto non ho un'opinione solo perché un articolo introduttivo non sarebbe così utile nel mio caso. Tuttavia trovo che sia un bellissimo topic per scriverci qualcosa ed è tristemente vero, si tratta di un campo molto nascosto e sconosciuto anche agli "addetti ai lavori".
Scrivi, scrivi! :mrgreen:
"640K ought to be enough for anybody" Bill Gates (?) 1981
Qualcosa non ha funzionato...

Lo sapete che l'arroganza in informatica si misura in nanodijkstra? :D
Avatar utente
Foto Utentefairyvilje
9.329 4 9 12
G.Master EY
G.Master EY
 
Messaggi: 2107
Iscritto il: 24 gen 2012, 18:23

1
voti

[3] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewruggeri » 1 gen 2018, 19:40

fairyvilje ha scritto:Ho risposto non ho un'opinione solo perché un articolo introduttivo non sarebbe così utile nel mio caso.


...Allora, se alla fine scriverò gli articoli, cercherò di parlare anche di qualcosa di un po' più "particolare" :ok:
Si, nei limiti delle mie capacità ti rispondo... ma per favore, impara l'italiano!
Se non conosci un argomento, non parlarne.
Gli unici fatti scientifici sono quelli accertati dagli studi. Il resto è opinione.
Avatar utente
Foto Utentewruggeri
2.830 1 6 13
Expert EY
Expert EY
 
Messaggi: 542
Iscritto il: 25 nov 2016, 17:46

3
voti

[4] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtentePiercarlo » 2 gen 2018, 9:01

Questo thread sarebbe meglio estrarlo dal "fuori tema" e collocarlo in un luogo più visibile del forum; dopotutto non mi sembra un argomento suscettibile di scatenare delle risse! ;-)
Avatar utente
Foto UtentePiercarlo
19,6k 5 10 13
G.Master EY
G.Master EY
 
Messaggi: 5338
Iscritto il: 30 mar 2010, 18:23
Località: Milano

1
voti

[5] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtentePiercarlo » 2 gen 2018, 9:11

Spostato nella sezione "magazine, annunci, proposte"
Avatar utente
Foto UtentePiercarlo
19,6k 5 10 13
G.Master EY
G.Master EY
 
Messaggi: 5338
Iscritto il: 30 mar 2010, 18:23
Località: Milano

0
voti

[6] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewruggeri » 2 gen 2018, 10:00

Grazie mille :ok:
Temo che non riuscirò mai a capire davvero l'organizzazione di un forum :mrgreen:
Si, nei limiti delle mie capacità ti rispondo... ma per favore, impara l'italiano!
Se non conosci un argomento, non parlarne.
Gli unici fatti scientifici sono quelli accertati dagli studi. Il resto è opinione.
Avatar utente
Foto Utentewruggeri
2.830 1 6 13
Expert EY
Expert EY
 
Messaggi: 542
Iscritto il: 25 nov 2016, 17:46

1
voti

[7] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto Utentewall87 » 2 gen 2018, 10:09

wruggeri ha scritto:Temo che non riuscirò mai a capire davvero l'organizzazione di un forum :mrgreen:


In continua evoluzione :D

Ho votato si :ok:
Il futuro appartiene a coloro che credono nella bellezza dei propri sogni.

Formule LaTeX

Uso di LaTeX sul forum

ƎlectroYou
Avatar utente
Foto Utentewall87
5.045 3 10 13
Master
Master
 
Messaggi: 1283
Iscritto il: 27 nov 2014, 14:28
Località: Padova

3
voti

[8] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtenteIsidoroKZ » 2 gen 2018, 16:32

E ci siamo giocati anche Foto Utentewruggeri! Avevo provato a portarlo sulla retta via dell'elettronica analogica ma la sua natura informatica e perversa è ritornata prepotente :D

Scrivi, scrivi, per due ragioni almeno. La prima è che mi interessa sempre imparare, approfondire o ripassare qualcosa che non so o non ricordo. La seconda ragione è che serve a te: dover "mettere in bella" un argomento costringe a ripensarlo, organizzarlo... e si scoprono tanti aspetti che non erano stati visti con uno studio solo personale.
Per usare proficuamente un simulatore, bisogna sapere molta più elettronica di lui
Plug it in - it works better!
Il 555 sta all'elettronica come Arduino all'informatica! (entrambi loro malgrado)
Se volete risposte rispondete a tutte le mie domande
Avatar utente
Foto UtenteIsidoroKZ
98,3k 1 3 8
G.Master EY
G.Master EY
 
Messaggi: 17756
Iscritto il: 16 ott 2009, 23:00

1
voti

[9] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtenteGoofy » 2 gen 2018, 16:39

Piercarlo ha scritto:non mi sembra un argomento suscettibile di scatenare delle risse! ;-)


Affermazione da verificare formalmente
Avatar utente
Foto UtenteGoofy
4.502 2 3 6
Expert EY
Expert EY
 
Messaggi: 1457
Iscritto il: 10 dic 2014, 19:16

0
voti

[10] Re: Sareste interessati a degli articoli sulla verifica form

Messaggioda Foto UtentePiercarlo » 2 gen 2018, 17:10

Goofy ha scritto: Affermazione da verificare formalmente


:mrgreen: :mrgreen: ;-)
Avatar utente
Foto UtentePiercarlo
19,6k 5 10 13
G.Master EY
G.Master EY
 
Messaggi: 5338
Iscritto il: 30 mar 2010, 18:23
Località: Milano

Prossimo

Torna a Magazine: notizie, presentazioni, annunci e molto altro

Chi c’è in linea

Visitano il forum: Nessuno e 4 ospiti