Nem, nagyon nem. Az implementáció a specifikáció egy előfordulása. Megvannak persze a megfelelőség funkcionális/nem funkcionális kritériumai, de pont az a legtöbbször a baj hogy nem nagyon látni a követelmények és az implementáció közt a kapcsolatot, az utat. Pont a specifikáció, vagy boomeresen fizikai rendszerterv ami ezt meg tudja mutatni, egyben dokumentálja is. Ha képes vagy olyan specifikációt készíteni, amiből akár egy generatív modell akár egy programozó előállítja a szándéknak megfelelő szoftver forráskódját (bytekódot, tárgykódot, gépi kódot mindegy is), akkor te szoftvermérnök vagy, és kár a te idődet a szoftveripari technikus, vagy szakmunkás szintű kódgyártásra pazarolni. Dolgozok már >20 éve, nagyon sok okos, felkészült, követelmények/igények alapján önálló munkára képes programozóval találkoztam. Olyanokkal, akik alapvetően valid, megbízható, robosztus programokat írtak; közülük elég kevés volt már az is aki képes volt megfelelően dokumentálni amit csinált - akkor sem ha utólag csinálta és volt rá ideje is -, és alig akadt aki képes lett volna előidejűleg tervet készíteni arról, amit utána pedig ő maga kivitelezett. Nagy kincs szerintem az, aki követelményből, koncepcióból, architektúrából stb logikai tervből a fizikai tervet képes készíteni adott környezetre (framework, rt környezet, stb akár szabadon választott vagy peremfeltétel). Ahogy a mind szélesebb feladatspektumban helytálló automatákkal egyre inkább elláthatók a szakmánk kékgalléros munkakörei, úgy egyre inkább.