Friman Datakonsult AB - Tekniska system: utveckling, verifiering och specifikation

<BODY> <CENTER><P><B>VÄLKOMMEN TILL FRIMAN DATAKONSULT AB</B> </P></CENTER> <CENTER><P><B><I>Preliminär - denna sida är under uppbyggnad!</I></B> </P></CENTER> <P>Friman Datakonsult AB är c:a<I> </I>10 år gammalt och i huvudsak ett enmansföretag (ägare och innehavare: Bertil Friman). Specialkompetens inom: Utveckling av tekniska system, verifiering av programvara, samt författande av specifikationer. Meriter från Ericsson, ABB, Gambro, SJ/ Banverket m fl. (Se Bertil Frimans Curricilum Vitae). Språk: Pascal, C, Ada, C++ och Assembler. Solid utbildning inom både mjukvara och hårdvara.<BR> </P> <P><B>Konsulttjänster:</B> </P> <UL> <LI>Kravspecifikationer (skrivning eller verifiering) </LI> <LI>Maskinnära program (skrivning eller verifiering) </LI> <LI>Datakommunikationsprogram (skrivning, protokollanalys eller verifiering) </LI> <LI>"Inbäddade" program (skrivning eller verifiering) </LI> <LI>Användargränssnittsprogram (specifikation, skrivning eller verifiering) </LI> <LI>Program för mikrodatorer, t ex 68HCll, 68000-serien, etc </LI> <LI>Säkerhetskritisk programvara: Verifiering av kravspecifikation och program (var och en för sig samt jämförande), programutveckling. </LI> <LI>Meddelandehantering: Specifikation och programutveckling </LI> <LI>Testning av programvara: Utveckling av testbäddar (vanliga eller regressiva), rådgivning </LI> <LI>Utbildning: Korta föredrag (upp till 2 tim) om verifiering av programvara. </LI> <LI>Projektledning: Mindre projekt (2-5 personer). Företrädesvis med tillämpning av den iterativa utvecklingsmodellen (d v s successiv utveckling och testing av de ingående funktionerna tills hela applikationen är färdig). </LI> </UL> <P><FONT SIZE=-1><B>Adress Telefon Bankgiro Postgiro</B> </FONT></P> <P><FONT SIZE=-1>Rörstrandsgatan 37, 113 40 Stockholm 08-30 75 16 188-2224 78 36 26-5</FONT><BR> </P> </BODY>