Jens Madsen

Rss
Personligt feed med nye kommentarer i tråde, du overvåger:
https://www.version2.dk/mit/0/kommentarer?token=HPnHcLYhJ8jCXC_UoTnfzqY2R9xpwMBmKONAZAek0jk

Kommentarer

Re: Det skal tænkes helt om

n af grundene til at man ville indføre nye ejendomsvurderinger, var at man ønskede mere retvisende vurderinger i forhold til markedsprisen. Derfor vil der være stor prisforskel på tilsvarende huse forskellige steder i landet. Er det ikke reelt grundprisen som bør justeres?

Re: Det skal tænkes helt om

En tredje model kunne være at droppe ejendomsværdibeskatningen helt og beskatte ved salg (i stil med aktiebeskatning). Det virker ulogisk, at ejendomsværdien er så svært at vurdere - den burde jo netop ikke afhænge af hvor det er i landet. Det koster stort set det samme at bygge et hus ove...

AVM vurdering

Hvorfor går det offentlige ikke ind på bolighed.dk eller dingeo.dk og henter vurderingen? Hvor mange milliarder, har de mon brugt siden? Mon ikke de kan få lidt kode fra nogen eksisterende sider der laver en vurdering?
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Kurt Gödel

Jeg er enig i, at kode gerne skal skrives kort og præcist. Men - det er nemmere sagt end gjort. Har du lidt erfaring, vil du ofte opleve, at det ikke er den korte og præcise formulation, som du kommer til først. Det kræver at der bruges tid og resourcer på opgaven. Erhvervslivet lukker for længs...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Manglende svar fra Jens Madsen

Fejl kan opstå i hele kæden fra problem analyse, til afvikling af instruktioner i CPU'en. Jeg tvivler på at det nogensinde bliver muligt at lave værktøjer der formelt kan bevise rigtigheden af software, der skal kunne løse opgaver inden for alle domæner. Men det er meget nemmere...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Flertråede programmer

Der står i artiklen: *Og det er som tidligere nævnt også stadig meget svært at teste flertrådede programmer. »Det kan man nærmest ikke. Det er også derfor, at det er et af de områder vi fokuserer på.« Det er et meget fornuftigt område at fokusere på. Men, at det er flertrådet er ikke et proble...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Manglende svar fra Jens Madsen

Og derfor fastholder jeg min egen konklution fra første indlæg, at der ikke er muligt med software at finde og fjerne alle fejl i programmer, og et forsøg på det, kan være farligt, hvis det giver falsk trykhed. Selve artiklen omhandler det at finde alle fejl. Mener du, at de standarder de...

Livsvarig akivering

Da vi fik E-Boks, fik vi at vide, at beskederne vil blive opbevaret livsvarigt. Hvordan ser det ud, hvis det overgår til netcompany? Vil beskederne og dokumenterne så blive liggende? Vil det kunne køre på vores eksisterende ældre computere, som det kører på nu? Eller, skal vi ud og købe sidste ...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Rumfærger - ulykke tæt på -fly by wire

Re: Software - Rumfærger - ulykke tæt på -fly by wire Som eksempel, så har vi i mange år, for at løse den menneskelige faktor i fly, anvendt en CO-Pilot. Den nyere, og mere moderne løsning, er at bruge en Auto-Pilot som overtager, hvis automatikken detekterer fejl i den menneskelige faktor. ...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Værktøjer til safety related software

En klasisk tilfælde af foreseeable misuse, er hvis en maskine er bøvlet at rengøre pga. at sikkerheds systemet forhindre masskien i at køre med en persion inde i maskinen. Og maskien er nemmest at rengøre mens den køre. Der er personer der er kommet alvorligt tilskade pga. de har fundet ud af...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Værktøjer til safety related software

Sådan virker det ikke i de systemer jeg har set... Her er alle replica aktive hele tiden.. Og hvis der er signaler der normalt ikke ændre sig, så indføres der diagnose pulser for at kunne detektere fejl. Jeg tror på dig. Men, skal software være 100% sikkert, så gælder: 1. Det skal vær...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Værktøjer til safety related software

Og man skal så kunne bringe systemet i sikker tilstand via. en redundant kanal. Der er en fejl i den redundante kanal. En spion har lagt fejl ind, så den svarer ikke, når det endeligt går galt. Den fungerer kun ved test, da der så ikke er en fjentlig handling involveret.
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Værktøjer til safety related software

Der er ikke tiladt at anvende 'Fault exclusion' på denne type komponenter https://www.google.com/search?q=Fault+exclusion Dvs. at alle fejl i HW skal detekteres inden at det når at påvirke sikkerheden. (Safe Process Time) Jeg mener fint at det jeg beskriver fungerer...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Du mener noget i stil med det system der var på rumfærgen, hvor tre computere skulle stemme om hvordan færgen skulle styres. Ja, det er eksakt samme system. I nogle sammenhæng er det måske udbygget lidt, men det kan det også have været på rumfærgen, uden det er noget vi har hørt om. Jeg ...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Hmm, der er du måske for optimistisk. Hvad nu hvis verifikationen ikke stiller alle spørgsmål. Din metode ville fejle fælt på en bufferoverrun, med mindre det og de 117 andre bagdørs betoder bliver specificeret. Og så gå det galt på metode nr. 119. Tror ikke, at du forstår metoden. Der...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Rumfærger - ulykke tæt på -fly by wire

Og du pontere hermed, hvorfor at fejlfri programmering aldrig kommer til at virke ;-) Nej, det har jo ikke noget med kodningen at gøre, men specifikationen, og specielt den menneskelige faktor. Vi er her udenfor software domænet. Det betyder ikke, at der ikke eksisterer løsninger. Som eks...
Kommentar til Efter GDPR-overtrædelse: Datatilsynet udsteder forbud til TDC

Re: Almindelig høflighed

Og de må ikke bede om kode, eller gemme noget fra din sesion, hvis du laver en annonym søgning på google. - Ved ikke, om de må gemme dine søge ord, men det må så ikke kobles med andet. Jeg tror nok de gør det - hvis du laver et patent, så skal du passe på med at bruge google, for du risike...
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Software - Rumfærger - ulykke tæt på -fly by wire

https://en.wikipedia.org/wiki/Pilot-induced_oscillation Det er ikke direkte en programfejl, men tættere på en specifikationsfejl, der ikke tager højde for den menneskelige faktor.
Kommentar til Dansk center vil skabe værktøjer til fejlfri programmering

Re: Code review

Jeg ved ikke hvad du mener her. Vi bruger code review, og det virker glimrende. Inden indtjek gennemgås koden sammen med en kollega. Vi ser på hvad kravbeskrivelsen er, hvilke tests der er udformet og gennemført, hvilke dele af koden der er ændringer i og hvorfor, linje for linje, og hvilken do...
Kommentar til Efter GDPR-overtrædelse: Datatilsynet udsteder forbud til TDC

Re: Telefonsamtale optages altid

Telefonsamtale optages altid For ikke længe siden ringede jeg til ferieinfo - og jeg mener, at jeg blev oplyst om, at telefonsamtalen blev optaget. Jeg havde ingen mulighed for at fravælge det, men fik at vide, at jeg var velkommen til at oplyse det til sagsbehandleren, hvis jeg ikke ønskede ...