AdaControl ay isang libreng (GMGPL) na kasangkapan na Nakikilala ang paggamit ng iba't ibang uri ng constructs sa Ada programs. AdaControls unang layunin ay upang makontrol ang tamang paggamit ng estilo o programming patakaran, ngunit ito rin ay maaaring magamit bilang isang malakas na tool sa paghahanap para sa paggamit (o di-paggamit) ng iba't-ibang anyo ng mga estilo ng programming o pattern na disenyo. Naghanap sa hanay ng mga elemento mula napaka-simple, tulad ng paglitaw ng certaine entidad, pahayag, o pahayag, sa tunay na musmos, tulad ng pagpapatunay na ang ilang mga pattern programming ay sinunod ..
Aling elemento o constructs hinanap ay tinukoy sa pamamagitan ng isang hanay ng mga patakaran; ay nagbibigay ng sumusunod na talahanayan ay isang maikling buod ng mga patakaran na kasalukuyang naka-check sa pamamagitan ng AdaControl. Ang numero sa panaklong pagkatapos ng pangalan rule nagbibigay ng bilang ng subrules, kung mayroon. Isinasaalang-alang ang lahat ng posibleng mga patakaran at subrules, ito ay gumagawa 216 na mga pagsubok na maaaring isagawa sa kasalukuyan sa pamamagitan AdaControl!
- Simulang pahina
- Linux
- AdaControl
Maghanap ayon sa kategorya
- Audio software
- Bahay at pamilya software
- Browser
- Disk na & file software
- Driver
- Graphic na disenyo ng software
- Internet software
- Mga laro
- Mga pagpapahusay sa desktop
- Networking software
- Pagiging produktibo ng software
- Pang-edukasyon at agham software
- Screensaver
- Software na komunikasyon
- Software na video
- Software negosyo at opisina
- Software ng digital na larawan
- Software ng seguridad
- Tool ng developer
- Utilities sistema
- Web development software
Mga sikat na software
-
Slax 20 Feb 15
-
Kali Linux 22 Jun 18
-
DEFT 9 Mar 17
-
Duck Duck Go Toolbar 3 Jun 15
-
pfSense 22 Jun 18
-
Openfiler 12 May 15
-
XPQ4 1 Dec 17
AdaControl
Katulad na software
Mga komento sa AdaControl
Maghanap ayon sa kategorya
- Audio software
- Bahay at pamilya software
- Browser
- Disk na & file software
- Driver
- Graphic na disenyo ng software
- Internet software
- Mga laro
- Mga pagpapahusay sa desktop
- Networking software
- Pagiging produktibo ng software
- Pang-edukasyon at agham software
- Screensaver
- Software na komunikasyon
- Software na video
- Software negosyo at opisina
- Software ng digital na larawan
- Software ng seguridad
- Tool ng developer
- Utilities sistema
- Web development software
Mga sikat na software
-
SecureCRT 11 Apr 16
-
Cub Linux 11 Apr 16
-
CentOS Live CD 22 Jun 18
-
Q4OS 2 Oct 17
-
Porteus Xfce 12 Jan 17
-
Simple Scan 2 Dec 17
-
Antergos 1 Dec 16
Mga Komento hindi natagpuan